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

ZeroRelay 这个项目我一开始没当回事，一个开源 P2P 文件分享工具，满大街都是。直到评论区 Sam 那句“这怎么敢叫直接浏览器到浏览器”被顶起来，我才又回去把仓库里的 ARCHITECTURE.md 翻了一遍。翻完发现它把圈内反复出现的那个原型问题摆得很直白：隐私由架构保证，和隐私由政策保证，到底差在哪。

Offrun 那个工作区示例里躺着 12 个代理：8 个在跑，3 个在等用户，2 条未读回复。列表长得像值班表——Claude 在 billingsvc 上跑 Retry backoff，状态 Working；Codex 卡在同一项目的 Fix flaky upload test，Needs you；

半夜四个报警，两个数据库争用、一个读副本失败、一批 metrics 神秘空白。我先翻部署日志和 diff，翻了几遍啥也没解释。哎。prodapi 和 prodweb 在同一分钟从 3.6K 涨到 1718K。这哪是部署，这是外部流量变了。 这头牛，我今天非钻穿不可。到底什么流量。

8 月有篇论文，arXiv:2608.00658，《SelectAndExtract》，Chenming Tang 和 Jiawei Han。预印本，一百七十来 KB，薄。但它给了个切口，让我把自己调 RAG 那点破经验重新排了一遍。 先说结论——RAG 效果上不去，大概就两种死法。

先说个冷知识：商业责任险的保单里，有一句话几乎张张都印着—— 被保险人应确保相关设备在受过培训的操作人员控制下运行。 条款这种东西写出来本来就不打算让人读，所以平时没人在意它。你做的是自主移动机器人、无人机、或者任何自己会动的东西，这句话的性质就变了：它从一句例行条款变成一个前提条件，而事故一发生，这个前提恰好不成立。

这篇论文（arXiv 2206.12304，提交于 2026 年 8 月 12 日）我读了两遍，先给结论：框架本身有值得拆的工程价值，尤其它坚持保留功能依赖关系和显式逻辑门，这个克制比大多数“让 LLM 直接生成知识图谱”的路线靠谱得多；

「证据盲视」听着像心理学词，其实特别朴素：文档已经在你手上了，你没打开。 先交代我第一版的错。我一看到这四个字，条件反射是「召回不行」——搜歪了，没搜到，rerank 排错了。于是我把注意力全压到召回率、embedding 模型那一堆东西上，觉得把检索质量做上去就好了。 后来发现，方向从头就偏了。

旧稿： 二十个字，客气，像模像样。可它是这条链路上唯一一句证词——这一点我第一眼完全没看出来。 真模型从 provider 那一层切掉，UI 真跑，路由真跑，消息真落库，五个练习整套走完不花一分钱。这个决定我举双手赞成，钱和覆盖率两个死结一次解开。问题不在切，在切完之后：原来由模型即兴吐出来的那句话，现在得我手写。

本周只收一条。 Framework 那台小机器的配置页上，多出了 192GB 这一档。页面标题指向 AMD 的 Ryzen AI Max+ PRO 495，整机 4.5 升。 简单说，这是一台放桌上的工作站。官方给它的一句话定位是：大模型跑在你自己买的硬件上。 为什么要单独拎出来讲？

盯着 Sora 和世界模型这条线的人，这篇《Code World Model: Coding Agent as World Brain》（arXiv 2608.25927）值得花一个晚上。不是因为结果炸，而是它把一件大家隐约觉得别扭、但没人挑明的事讲透了：视频世界模型从像素里挤动态规律，这路子从根上就有问题。

网络形式化验证这词，念出来就贵。扒掉壳其实没那么玄：一堆逻辑公式扔进 SMT 求解器，求解器把路由输入、故障场景穷举一遍，告诉你这网络会不会出事。 好看。但里面有一格，几乎没人愿意正眼瞧——那堆公式，是人手写的。 先画开看看。一个符号验证器，结构就三格： 下面两格是死的。求解器早就够用，穷举也不是瓶颈，买得起。

先说结论：现在市面上大多数 CI 的绿色勾，是销售话术，不是产品结论。它只代表"流程跑完了"，不代表"代码能用了"。这中间隔的差价，就是团队在交信心税。 Debashish Ghosal 那篇《1558 Tests Green and No Auth》我看了，标题狠。1558 个测试全绿，认证守卫压根没执行过。为什么？

5 个 MCP server，55 个工具，约 16,500 tokens。 这个数是 Ryan Palo 在七月三号那篇《Choosing the Right Tooling Layer for Your Agent》里顺手摆出来的。

一个潜艇游戏，不让你自由开船，只让你在一张海图上画线。这算什么。 简单说，Silent Shark 是一款二战太平洋潜艇模拟，核心是战术海图和几何解算，已经正式发售了。 这期只收这一条。不是没别的可讲，是别的我讲不清楚。 先说它砍掉了什么。 它不给你自由漫游式的 3D 潜艇。

凌晨三点，告警刚消停，写点上个月的事。 九月，记不清哪天，反正是个周三，不对，周四凌晨，一点多，一台从库的 inode 报警了。df i 一看基本满了，这种一般是有目录在攒小文件，得先登上去找是哪个目录。手上那批机器三十来台，一台台登太慢，就想起我自己那个 checkinode.sh。

那篇2024年死亡证明研究，最近又被翻出来讲。我看下来最值得记的不是出租车司机阿尔茨海默病风险垫底，是它把公交司机和飞行员一起放进了数据。这两个固定路线驾驶岗没有保护作用，一下把“持续实时导航”这个变量逼出来了。 信源说明：原始数据不在我手里，这篇主要靠公开论文和那篇网络文章交叉。

先把结论撂这：网上都在骂AI，骂错方向了。真正的问题不是“AI怎么可以改学生种族和身材”，而是这个改完的东西在斯坦福R&DE的流程里居然没一个人说一句“等等，这活别这么干”。拿真实学生的照片改种族、改性别、顺手把人瘦一圈，然后当广告横幅挂出去——这事要是人干的，你骂人坏一点毛病都没有；

Miroslav Thompson 在 dev.to 上发的那篇“AI is not replacing developers anytime soon”，底下七条顶层评论，没几条真在聊“取不取代”。一条说讨论框架可能错了，关键不是 AI 会不会取代开发者，是 AI 会怎么改变一个项目需要多少开发者。

9 月 18 日发在 dev.to 上那篇讲验证瓶颈的稿子，我拖到这两天才翻完。开头照例铺了一屏背景，结论比开头诚实——整篇四个 gate 铺了一整屏，最值钱的却是中间埋的一句短话：确定性护栏会悄悄不响，而且它不响的时候，指标反而更好看。 不值钱的部分先干掉。

Hacker Atlas 那张话题地图的图例里有一行小字：百分比指的是所有主题归属，不是唯一故事数。多数人扫一眼就过去了。我盯着这行看了很久。 整张图的可信度就压在这句话上。 先贴数据结构。 就两列。没有 weight。没有唯一约束保证一条故事只出现一次。这就是全部。