这里记录技术、阅读和日常思考。
最近文章
Token 很便宜，判断很贵
当知识、代码和文字都可以由 LLM 快速生成，技术写作真正值得保留的是问题、证据、取舍与观点变化的过程。
AI 时代，自由软件意味着什么
当模型、数据和自动化工作流成为新的依赖，自由不再只是拥有源代码，也意味着能够理解、迁移、撤销和退出。
约束为什么能带来自由
从类型系统、RAII、产品边界到 AI Agent，好的约束把重复判断提前变成可检查的规则，让行动更可靠，也让注意力回到真正重要的选择。
从 Zettelk 到 mdout：把数字花园重新做成博客
从 Quartz v4.5.1、Zettelk-Lite 到 mdout，一次不断删除功能、重新理解写作的过程。