DeepSeek Harness Cordis:为动态 Agent 而生的组件模型
最近在看 DeepSeek Harness 的时候,我顺着它的底层框架 Cordis 找到了一篇论文:《A Programming Paradigm for Spatiotemporal Composability》。 这个标题第一次看有点劝退。"时空可组合性"听起来很像编程语言理论里的东西,论文也确实花了不少篇幅做形式化定义和演算。 但如果先把这些公式放一边,它研究的问题其实很工程: 一个正在运行的软件系统,怎么安全地安装、卸载和替换组件? 这件事在传统插件系统里已经做了很多年。但到了 Agent 系统,问题突然严重起来。 一个 Agent 运行时里可能同时存在 LLM Provider、