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

Yan233_ 2026-08-14 03:09 1

昨天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先生的论文了。哦…算了睡觉先啦。

最新回复 (6)
  • 蛋炒饭 08-14 03:18
    1

    原来这个 dsh 这么有讲究吗?我太孤陋寡闻了,只是单纯觉得和 codex 那些差不多的工具^-^

  • FaelanDon 08-14 03:22
    2

    豆包豆包,帮我打电话给梁子问问怎么个事

  • Yan233_ 楼主 08-14 03:23
    3

    我觉得非常之厉害啊,虽然厉害的不是DeepSeek-Harness本身而是他的内核Cordis

  • 蛋炒饭 08-14 03:26
    4

    这个框架确实很厉害,我现在已经用创造模式在造插件了,缺什么功能直接自己造,不用等官方更新^-^

  • CDB111 08-14 03:29
    5

    每次运行都可追踪真的是需要的东西吗,这功能对开发者可能有点用 ^-^

    个人暴论:升级版PI

  • mi tu 08-14 03:31
    6

    刚才看到论文去拜读了一下发现看不懂 ^-^,实际体验现在就是pi plus感觉对模型没啥增益的感觉,难道又是战未来 ^-^

* 帖子来源Linux.do
返回