【第746期】Cordis：时空可组合性编程范式研究
今天的这篇的主题是： A Programming Paradigm for Spatiotemporal Composability
Seventy3 是一档借助 NotebookLM 解读前沿论文的播客——不是念摘要，也不是泛泛而谈，而是让 AI 帮你把论文掰开揉碎，说人话。我们蹲在人工智能、大模型、机器人算法、crypto 这几个领域，每期挑一篇值得关注的工作，用对话的方式聊给你听。你可以在通勤路上听，做实验的时候听，也可以当背景音放着，让新知识自然地长进脑子里。
如果你正在做有意思的研究，想让更多人看到——不管你是博士生、独立研究者还是实验室的博士后——把论文发给我们，我们帮你用 AI 做一期深度解读，让你的工作被更多同路人发现。
联系小助手微信：eccstartup（加群/投稿论文）
Summary
现代软件——从插件系统到自演化的智能体运行框架——越来越需要动态组合能力，但其形式化基础仍不够完善。我们识别出这一问题的两个正交维度：时间可组合性，即在移除组件时能够完全撤销其副作用的能力；以及空间可组合性，即声明并响应式管理组件间依赖关系的能力。我们通过将经典的效应（effect）和协效应（coeffect）概念提升为运行时机制，来解决这两个维度的问题。
具体而言，我们形式化定义了可撤销效应（revertible…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.