去年12月，一个名叫Computer Things的技术通讯突然宣布暂停更新。"I'm taking a break"，作者轻描淡写地写道，"Computer Things will return in January!"

但停更前的几个月，这位作者其实相当活跃。他在9月发布了《Logic for Programmers》的v0.13版本，宣称"now with 20% more content"。这本书的定价策略也很有意思——他用了一个叫"feedchicago"的优惠券码，半价销售，所有版税捐给芝加哥食物银行。

打开网易新闻 查看精彩图片

翻看他的文章列表，会发现一个鲜明的个人印记：对形式化方法和编程语言的执念。他写Z3定理证明器的脚本，写Prolog的槽点，写Liskov替换原则"不只是SOLID里的那个L"。他甚至专门讨论过"非法状态vs不想要的可表示状态"这种让普通开发者打哈欠的话题。

最有趣的一篇是《Points are a weird and inconsistent unit of measure》，讲Web技术和LaTeX在"点"这个单位上的分歧。这种细节层面的较真，贯穿了他的整个写作。

但2024年初，画风突变。1月他宣布"I'm joining Antithesis!"——一家做确定性测试的公司。随后通讯改名"New Logic for Programmers"，定位也从个人随笔转向更系统的技术写作。4月1日他还玩了把黑色幽默，发了一篇《New York vs Chicago Pizza》，假装要认真比较两种披萨。

现在回看那个"January"的承诺，停更像是一个转折点。从自由撰稿人到加入公司，从随意吐槽到产品化内容——这个转变本身，或许比他的任何一篇技术文章都更值得玩味。