Collection
Agent Harness
DeepSeek 近百页论文在证什么：不是万能安全，是更清楚的边界
Cordis 论文的形式化结果在工程上买到的不是万能安全，而是几类边界更清楚的运行时能力：HMR 可以复用组件生命周期边界，依赖可以声明式收窄，开放插件生态可以少写一类清理和通知胶水。
DeepSeek 近百页论文在答什么：卸载和依赖是同一件事卸载清理和依赖通知看起来是两套机制。Cordis 论文把它们放进同一个 Context：修改环境是 effect，依赖环境是 coeffect，而服务注册本身就是一种可逆 effect。本文解释为什么同一个上下文对象能同时承担清理、依赖和通知。
DeepSeek 近百页论文在问什么：拔掉插件以后凭什么不崩DeepSeek Pro 模型和 DeepSeek Harness 把模型能力与 Agent 运行框架同时推到行业讨论中心，但真正值得细读的是随 Harness 一起出现的近百页论文。它不是模型报告，而是在回答一个运行时工程问题：当软件具备持续演化能力后，系统应建立在什么样的架构之上。