写作，也做些东西
Atelier
写下还在生长的想法，也收好认真做出的作品。
想法在 Blog 里慢慢成形；整理好的作品，连同说明与文件，收在 Articrafts。
- 写下来
- 问题、论证和沿途笔记，先在这里慢慢写下来。
- 做出来
- 论文、代码、报告与实验，整理好后收进 Articrafts，也可以继续修订。
- 反复回到的线索
- 一些方法与主题，会在不同文章和作品之间再次出现。
近来
最近的写作与作品
Blog 与 Articrafts 的最近更新。
写作
最近写作
-
Code Review 之死：转向Agent-legible Systems
Coding Agent 正在重塑软件工程的成本模型：代码生成日益廉价，而人的注意力成为新的串行瓶颈。软件可信性不应依赖作者或 reviewer 的权威，而应来自可验证、可反驳的系统机制。本文提出 Agent-legible Systems：从设计之初就让运行状态、关键不变量与因果证据可被 Agent 查询、实验和验证，以类型系统、测试、CI、profiling、tracing 等形成自动化验证闭环。人的判断力则从逐行审阅实现，上移到领域模型、系统契约与不可逆架构决策。
-
封闭条件下的局部最优解
数组型红黑树、高考压轴题、PhD找不到工作，本质上是同一件事：封闭系统能筛选出局部最优解，但这个“最优”的定义本身是被封闭条件扭曲的。信息环境决定智力的产出效率，而你又没有办法给你认知以外的东西定价。
-
AI 作为新的知识传播设施
人类平均能力的抬升，并不主要来自个体学习时间的增加，而来自知识扩散、压缩与调用机制的持续升级。
作品