DeepSeek Harness & Cordis: 活着的Nix与AgentOS雏形

昨天DeepSeek Harness刚发布的时候我没有太在意，听说他是基于Pi开发的改进版，而且还是WebUI，我就一点兴致没有，没有过多去关注。但是刚刚我去看了一下DeepSeek harness的结构，它把一切都作为插件，Everything is a plugin，很合理而激进的Unix组合哲学选择，也没有什么，毕竟Pi也是类似的…

直到我注意到它的内核/元框架——Cordis。这玩意不是好像是Koishi的作者Shigma写给Koishi用的插件框架吗? 嗯? 怎么还真是，我操他怎么入职DeepSeek了。我印象里的Cordis是给Koishi只是用作插件框架的v3，很好的插件框架，我看看现在的v4…

我操这他妈啥? Spatiotemporal Composability，时空可组合性? 所有副作用可逆? 活着的nix??? 还有论文和公式证明? 运行时无副作用动态修改自身能力? 不是这也太变态了。比Pi的运行时反射和动态修改能力强太多了这。如果说传统类型的系统是在空间维度上收敛的话，那么Cordis就是把effect和coeffect统一成同一纯粹范式，在runtime的时间空间双重维度上实现了状态的收敛…Algebraically Safe Runtime for Self-Evolving AI Systems…我都难以想象他的能力边界(不考虑模型能力)，这简直太优雅了。

这DSH根本不是一个Coding Agent啊，这他妈是一个真正的AgentOS雏形啊！Linux Kernel for the AI age!!!..而不论Pi的运行时反射和动态修改能力，他也只是个专注于提供极简原语供你自由驱动组合的Coding Agent，和DSH完全不是一个赛道。他tm假装自己是个Coding Agent装糖骗你们一手，本质核心Runtime Infra。虽然他现在是公测阶段，但是他的方向真的太正确了。噢我的上帝，这根本…可能是下半个时代啊，我瘫坐在椅子上，宛如核弹爆炸。我需要立刻去读DeepSeek和我们Shigma先生的论文了。哦…算了睡觉先啦。