01
DeepSeek与北大合作的最新论文，掀开了Harness版鲸鱼的面纱。
名叫《A Programming Paradigm for Spatiotemporal Composability》，中文译为《一套处理时空可组合性的编程范式》。
听上去有点绕，你只需要记住一句话就好——
全文围绕Cordis展开，这是黑鲸的核心，一个可以随意插拔的「乐高底板」。
在这里，万物皆插件，万物可重组。
这也解释了为什么「黑鲸」的开放程度如此之高，官方也如此鼓励大家搓插件、魔改Harness。
信息量爆炸的一篇论文，也是DeepSeek Harness团队蓄力这么久的集大成之作吧，最终以大黑鲸的形式打了一场漂亮仗。
值得注意的是，这是DeepSeek今年的第七篇论文，也是第N次和北大合作。
总共八十多页，我抱着论文从头到尾啃了一遍，大概整理出了几点Takeaway——
1、Cordis提供一套通用的动态组合语义。经过Context管理的组件可以动态加载、卸载，并自动回收其受管理的副作用。
2、数学根基来自类型论里两个经典概念，效应和余效应。
3、并非实验室玩具。这套设计已经在Koishi聊天机器人框架上跑了四年，超过4000个社区插件在生产环境里验证过。
0
评论 (0)