全部文章

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

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

egui eframe 的布局 ，几乎都能对应到 flex、grid 和固定定位。从前端的角度讲解 eframe = "0.36" 的布局 API。

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

拆分不是目的，边界才是。记录一次真实项目中服务拆分的决策过程与复盘。

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

Islands 架构如何做到默认零 JS？从构建原理到部署优化的完整实践。

B+ 树、最左前缀与覆盖索引：从慢查询日志里总结出的设计准则。

可读性优先于技巧。一份在团队里跑了两年的评审清单。

限界上下文不是组织架构图。聊聊 DDD 落地时最常见的三个认知偏差。

技术选型的本质不是选最好的，而是选"输得起"的。一张可以直接抄的决策清单。

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

发号器、302 跳转、缓存与防刷：一个经典系统设计题的完整推演。

好代码是删出来的。五年里我删掉的四样东西，比写下的任何东西都值钱。