2. Linux.do
  3. DeepSeek Harness核心论文发布：Cordis软件动态组合的编程范式

DeepSeek Harness核心论文发布：Cordis软件动态组合的编程范式

HCPTangHY 2026-08-14 00:23 1

北京大学与DeepSeek-AI的Harness团队发表了一篇88页的论文，为软件的动态组合问题建立了形式化基础，并提出了一个名为Cordis的元框架作为实现。



Cordis框架用TypeScript实现了上述理论模型，分为核心库与组件加载器两层，支持效应追踪、余效应解析、声明式配置协调与热模块替换。开源聊天机器人框架Koishi被用作案例验证，该框架基于Cordis构建，经过四年发展已积累超过4000个社区贡献的插件。论文同时将自演化智能体运行框架列为该范式的未来验证方向，认为在智能体持续生成和替换自身组件的场景下，时空可组合性所提供的恢复与协调保证尤为关键。





Koishi作者入职DS的最新力作，把cordis套给DSH ^-^


最新回复 (4)
  • HCPTangHY 楼主 08-14 00:23
    1楼

  • aikooor 08-14 08:11
    2楼

    配合v4pro效果如何呢，b站上评论好多都在说超过fable5了 ^-^

  • cainiao3hao 08-14 08:14
    3楼

    有点意思，今天研究研究


    不过昨天本体用下来可能是我过于愚笨，感觉跟pi差不多，没感受出来有什么新的 ^-^

  • 丰川祥子 08-14 08:15
    4楼

    koishi的作者居然去deepseek了^-^

* 帖子来源Linux.do
附近帖子
返回
飞读
随机推荐