关于本站
paper.arch.tools-ai.org 是一个非官方社区学习站,中文解读论文《A Programming Paradigm for Spatiotemporal Composability》(cordiverse/paper),并说明它与 Cordis、Koishi、DeepSeek Harness 的关系。
站点定位
本站面向有前端和 Agent 开发背景的工程师,讲解论文如何把经典 effect/coeffect 概念提升为运行时机制:
- Revertible Effects(可撤销副作用)——temporal composability
- Reactive Coeffects(响应式依赖)——spatial composability
- 组件生命周期状态机与 Provider/Consumer 卸载顺序
- 六条形式化定理的工程含义(含 Confluence)
- 与 DeepSeek Harness、自演化 Agent Runtime 的关系
每条关键结论都标注论文章节号(§)与定理号(Thm),论文版本钉在 commit 948a07b(2026-08-13)。
内容来源
本站内容基于 cordiverse/paper 论文编写,并交叉核实 cordiverse/cordis 仓库与 DeepSeek Harness 官方介绍。论文作者:Yifan Shi、Wei Zhang(北京大学)与 Tianyi Cui(DeepSeek-AI,即 Koishi 框架作者 Shigma)。
本站是社区驱动的学习资源,与论文作者、DeepSeek 及 cordiverse 组织无关联、未获赞助。不替代原论文,深度内容请以原论文为准。
联系我们
本站通过 GitHub 维护,你可以:
- 在 arch-sites-zh 仓库提交 Issue 反馈错误或建议
- 通过 Pull Request 参与内容改进