Cordis

DeepSeek Harness 背后论文：万物皆插件，万物可重组

2026年8月14日 · 7:49

本集解读 DeepSeek 与北京大学合作的 80 多页论文《一套处理时空可组合性的编程范式》，指出它正是 8 月 13 日发布的 DeepSeek Harness（DSH）平台的设计蓝图，主张“万物皆插件，万物可重组”。论文先以 VSCode 揭示现有插件系统的缺陷：安装量前 100 的插件中 87 个带可执行代码，激活后想单独卸载必须重启整个宿主进程，而官方依赖声明只有 7 个插件在用。论文把难题拆成两半——“时间可组合性”要求组件卸载时其所有修改能完整撤销，由“可逆效应”通过逐层倒序执行的撤销链解决；“空间可组合性”要求组件正式声明依赖、由系统自动协调激活与停用，由“反应式余效应”解决。两套机制已落地为实现框架 Cordis，其验证载体是开源聊天机器人框架 Koishi——4 年间积累 4000 多个出自不同作者的社区插件，在生产环境持续运行；第一作者史一凡正是 Koishi 的作者，现已加入 DeepSeek。论文承认验证仅在 Koishi 生态与 TypeScript 一种语言上进行、未做严格对比实验，更像一个存在性证明；其最终野心是为自进化 AI 智能体打地基——让 AI 一边服务一边替换自己的组件，DSH 即是跑在聊天机器人上 4 年的 Cordis 底座向智能体场景的升级。