全部文章

滑铁卢大学助理教授 Yizhou Zhang 在 SPLASH 2020 上提出的双向代数效应（bidirectional algebraic effects）：一种能涵盖现有控制流模式、支持双向控制转移，并能静态保证"所有已声明效应都被处理、且不会被错误处理"的类型化抽象。

Jules Jacobs 的一篇小笔记，讲清楚如何把 ML 风格的模式匹配编译成不做冗余测试的决策树——子问题分解、变量测试下沉，以及用启发式避免代码爆炸。

prompt cache 是前缀匹配，压缩请求一旦换了 tools 或 system，就等于把十几万 token 按原价重读一遍。翻完九个 agent 的源码后，这里是一份能直接照做的清单。

从内存模型出发理解 ownership 与 lifetime，让编译器从对手变成队友。

两条朴素的编码经验法则：把条件判断推向调用方，把批处理留在被调用方——前者收敛控制流，后者摊薄成本。