用自然语言写代码的时代，
经验值得被认真记录。

昨晚我把 warp agent 跑起来之后，盯着它打出来的 pty 树看了十分钟。不是看它生成了什么，是看它到底怎么管终端。后来调出会话结构，我改口了：这玩意儿跟 Claude Code、Codex、Aider 不是一个物种。

先把这个结论撂这：acceptmarkdown 这个项目，技术账挺干净，生意账经不起算。它教你的就一件事——同一个 URL，人来了给 HTML，AI 来了给 Markdown，省得机器去啃你那堆导航、脚本、模态框。听起来是你占了便宜，省了带宽，还显得自己站在 AI 时代的前沿。

一个3.16M参数的Transformer，在250美元的FPGA板上跑到59,965.5 tok/s。模型权重1.5MB。这个数字放在2026年，够让所有在高端GPU上跑推理的人先看一眼，然后退一步想：怎么回事？ 它赢了显卡。同一模型在作者笔记本的RTX 3050 Ti上是719 tok/s。

上周五晚上刷到 Sreenath M Menon 那篇博客，标题是“WebMCP: Teaching Your Website to Talk to AI Agents”。本来只是睡前随便划一划，结果读完前两段我就坐起来了。

周五下午，review 队列里躺着十一个 PR。九个是 agent 写的，commit message 整整齐齐，CI 全绿。 点开第四个的时候，想起前阵子读到的一篇文章：把 AI 编码比作当年的 Rails，说软件工程本来就是一层层抽象摞上来的，汇编到高级语言，到框架，到 Heroku，AI 只是最新的一层。

Rayfish 这个项目最诚实的地方，不是它那套“无信任点对点 VPN”的叙事，是作者自己在 HN 讨论里说的一句话——这是“不是产品的产品”，不关心商业化。这句话比 README 里任何一个技术卖点都更接近这个项目的真实定位。一个不打算卖钱的东西，为什么值得拿出来拆？

例行检查 SSL 续期这个动作，你多久做一次？我大概每两个礼拜上 CyberPanel 看一眼，绿灯亮着，心里默念“没事了”，关掉。就这个动作，平均每次花掉我五分钟——五分钟全是心理安慰，啥也没验证。 上个月那一眼差点把我坑了。 绿灯是真的亮。面板上清清楚楚写着续期成功，日期都给你更新好了。

先把这个结论撂这：C 写 agent，是不是任性？我一开始也这么想。后来我把小机器的账一算，改口了。这工具不是圈地自萌，是把 agent 从服务退回工具的本分。说句扫兴的，这工具小得不像 2026 年该出现的东西，但恰恰是这种“轻”，把账给反着算了。 先算笔账。一个 coding agent 用 C 写，图什么？

凌晨四点半被手机震醒，一看，跑批挂了。调度平台连发三条告警，像催命似的。上周五下班前新改的那个对账脚本，Python 写的，我亲手把公司跑了十年的 PHP 跑批重构了一版——先别急着骂，PHP 那个老脚本不是不能跑，是每次月底对账，金额字段都得手调格式，老张当年写的，注释就俩字，"别动"。

你大概也撞见过：一个声学工程师盯着振动数据看了两天，最后说“不是平均振幅的事，是那三个峰值之间的间隔”；做反欺诈的把用户点击流喂进 XGBoost，AUC 挺高，上线后模型把“每三秒点一次模拟器”认成了真人。还有个做设备预测性维护的，平均能耗几天没异常，机器偏在某个周五半夜连环跳闸。

这篇不搭 agent，也不搭 workflow，搭一个更底层的东西：一份用来验收 AI 生成代码的检查流程。跑完你手里会多一个五步清单，下次再拿到一段测试全绿、CI 通、lint 干净、AI 自己解释得头头是道的代码，你不会被这整套全绿信号带着走。

Nwaneri 那篇帖子真正该看的不是“又一个开发者被 AI 改写了工作流”，而是他说的一句话：他现在让 AI agent 找 bug、改代码、提交、开 PR，自己做的是“读 git log 搞清楚发生了什么”。话到这里，问题已经不在代码生成那一侧了。

这周本来没什么动静，直到一篇 arXiv 预印本把我拽住了。8 月 13 日挂出来的，讲 LLM 写形式化规格到底行不行。 规格是什么级别的概念，不展开。写代码的人都知道，代码能跑和代码是对的，是两回事。形式化验证管的是后一件事。验证的前提，是你先把“什么算对”写成机器能检查的精确描述。那个东西就叫规格。

先交代下背景。我一直嘴硬说不拿 AI 搜报错。为什么？应为我觉得，报错这东西是程序在跟你说话，你听不懂就该自己查，自己试，试到懂为止。竞赛那会儿教练就这路子，卡常卡到死也不许看题解，看题解等于认输。这个习惯我一直留着，就算现在写代码全靠 AI 给我搭架子，出 bug 我还是自己啃。我妈说我倔，我不觉得这是倔，这是尊严。

Racket 9.3 出了，8 月 13 号的公告。我猜大部分人扫 release notes 会先看性能那条——racket/base 减少了内部模块的加载和实例化数量。那条确实值得看，启动路径上的东西，砍一个模块是一个模块。 但我来回读了三遍的，是这一行： 就一个命令行 flag。

前几天刷到陶哲轩 8 月 18 日的博客，说 Palomar 登记处正式开始接受 Lean 验证数学成果的提交了。这个东西由 Lean FRO 和 ICARM 孵化，定位类似一个面向 Lean 证明的预印本服务器，登记的是外部 GitHub 仓库的特定提交快照，不替你保管代码。

速评：一个叫VITA的临床RAG系统，在HealthBench上把GPT5.4、o4mini、Gemini 3.1 Pro、Claude Sonnet 4.6全干翻了，51.9%对46.1%，领先最接近的对手快六个点。 先说清楚这玩意儿是干嘛的。

真正要盯的是“无需训练”这四个字。我第一次看到，也差点松一口气——没有优化器、没有梯度更新，听起来就像把两截水管拧上就能通水。但既然它叫 StateBridge，不叫 CopyState。

速评：这不是一篇论文，是在掀桌子。 8月13号挂在arXiv上，投的是软件工程那边还算能打的EMSE，26页，六张图六张表。作者那栏里有一个眼熟的名字，Prateek Kumar Rajput，做代码模型方向的应该不陌生。论文归在SE类目下，同时也接着AI——这个跨类本身就很说明问题：它想动的是两个领域交界处的底盘。

凌晨两点，刚压掉一波告警，机器那点嗡嗡声听着都顺耳。想起前两天的事，记一笔。 下午，不对，下午一点多，我刚醒没多会，手机就响。是小段，白班管值班室的，问我有没有空，说他有个Excel要处理，几百行，领导让按月份拆成好几个文件，他手工复制粘贴了大半天，刚粘完一个，还有五个。我说你这不找罪受嘛，让AI写个脚本，几秒的事。