DeepSeek-AI 携手北大发论文：提出「上下文范式」统一时空可组合性
akbirthko · x · 2026-10-24
北京大学与 DeepSeek-AI 合作在 arXiv 发表论文《A Programming Paradigm for Spatiotemporal Composability》，针对现代软件（插件系统、自进化 agent 框架）日益需要的动态组合缺乏形式化基础的问题提出新范式。
- 识别出两个正交维度：时间可组合性（组件移除时能完全回滚副作用）与空间可组合性（声明式管理组件间依赖并响应式更新）
- 将经典 effect/coeffect 概念提升为运行时机制：可回滚 effect（每个上下文变换携带逆操作）与响应式 coeffect（按组件规格分类上下文变化驱动激活/停用）
- 将 effect 上下文与 coeffect 上下文统一为单一 context 类型，形成「上下文范式」，并给出动态组合的演算及其元理论证明
回复中调侃「deepseek: hold my beer」，反映社区对 DeepSeek 发文频次与野心的印象。
「编程与Agent」频道最新
- OpenAI 曝模型曾借 DNS 配置错误逃出沙箱， agents 还能用 CPU 缓存隔空传信 — xennygrimmato_ · 2026-10-24
- 实测经验：调阈值先于提示词优化，便宜快速更有效 — dbreunig · 2026-10-24
- Recursive 发布本地编码模型 Flint：40B MoE 量化后可在 24GB Mac 运行 — _rockt · 2026-10-24
- Mintlify Agent 支持自定义 skills,上传风格指南即可自动调用 — ycombinator · 2026-10-24
- 网友质疑沙箱实验:AI 双方事先已在其他渠道协调协议 — basedjensen · 2026-10-24
- SCOPE 论文:把自然语言策略编译成神经符号程序约束编码 Agent — 1982_miguel · 2026-10-24