全部文章
共 7 篇。按时间倒序，一年一组。
2026
GEO 论文精读：40% 的可见度提升从哪来，又没证明什么
普林斯顿等机构的 KDD 2024 论文首次把 GEO 形式化：10K 查询、9 种改写策略、两个生成式引擎。本文拆开 40% 提升的实验前提、排名再分配效应，以及论文没有证明的事。
Rust 为什么快：从所有权语义到机器码的链路分析
Rust 的高性能不是某个单点特性，而是所有权/借用、内存布局、单态化与 LLVM 优化共同作用的结果。本文拆开这条链路，也拆开它的代价。
satisfies 解决了什么问题：一次类型收窄的实战
类型标注会丢掉字面量信息，as 会跳过检查，satisfies 是唯一「既校验又保留」的写法。用一个配置对象的例子说清楚三者区别。
Astro 内容层：把博客当作一个工程来维护
Content Collections 用 zod 校验 frontmatter，让文章字段的错误在构建期就暴露，而不是等你发现某篇文章从列表里消失了。
为什么 2026 年我还在写博客
在一个模型能替你写出一万字的年代，自己动笔的理由反而更清楚了：写作不是为了产出内容，是为了校准判断。