第 27 週 · 6/29–7/5 weekly

第 28 週 —— 看起來沒事，量了才知道

這週一大半的文章在做同一件事：對著一個看起來運轉良好的系統多問一句，再把那個沒人想看到的失敗量出來——TLA+ 逼出 SQLite 藏了十六年的 checkpoint 競態、換掉一個 kernel 預設就腰斬的 Postgres tps、拆散到多個 PR 就把躲過率衝到 93% 的 agent 攻擊、上線三個月被八成工程師默默棄用的內部平台；domain 盤子幾乎不動（systems −3.8 pp、backend +2.3 pp，ai 與 infra 並列 22.1%），真正的換血在 tag 層——formal-verification 從 0 冒到 2、llm 從 4 掉到 0。

read the weekly →