DC娱乐网

DS 北大新作:Harness 时空可组合框架

昨天傍晚,DeepSeek 发布并开源了 DeepSeek Harness。它是一个以“万物皆插件”为核心的 Agent Harness,底层由 Cordis 驱动。

有多爆火,发布不到俩小时,破了github 史上增长最快的开源项目记录。

除了 Harness 值得关注外,还想给大家推荐读一读这篇论文,来自 DeepSeek 联合北京大学的《A Programming Paradigm for Spatiotemporal Composability》。

它要解决的并不只是“热更新一个模块”,而是一个更基础的问题:当 Agent 会不断新增、替换甚至生成自己的工具、记忆、权限、调度器时,系统如何不靠重启,就安全地完成变化?

论文将动态组合拆成两个正交维度。

- 时间维度(可逆效应 Revertible Effects)
每个副作用执行时都提供对应的撤销操作,运行时负责追踪和组合;组件卸载时自动回收其注册的资源、事件、子组件等。

- 空间维度(响应式副效应 Reactive Coeffects)
组件声明“需要什么、提供什么”;依赖出现时自动启动,依赖消失或提供者替换时,消费者先安全退出,再撤销提供者。

还有统一上下文(Unified Context)
论文将“我对环境做了什么”和“我需要环境提供什么”统一到一个 context 中。依赖、资源注册、事件监听、子组件等都通过这个上下文被追踪和协调。

论文还有一个很有启发性的结论,在特定条件下,系统经历一连串动态变更后,最终稳定状态可以等价于“根据最终配置重新组装一次”。中间那些加载、卸载、替换的历史,不应成为系统遗留的包袱。

研究团队不仅给出了严格的小步操作语义与数学元理论证明(保证系统不死锁、并发演化汇合),还在 TypeScript 中落地了 Cordis 框架。并以拥有 4000+ 社区插件的 Koishi 为案例,支持零重启插件启停、配置协调和热更新。

无论是为 IDE 插件系统提供无缝升级,还是为自我演化(Self-Evolving)的 AI Agent 提供安全的运行时动态调配基座,这项研究都奠定了极其坚实的理论与工程基础!