第 21 週 —— 契約的顯化

這週的主軸

隱性契約的顯化，是這週反覆出現的主線。五月二十二日的兩篇文章是最清晰的座標：C# .NET 11 把 unsafe 升格為 caller-facing 簽名，讓 LLM 生成的程式碼在型別系統層第一次有東西可以被拒絕；同一天 LinkedIn 的 FishDB 在 58.7M 條目的 hashbrown resize 時觸發 mmap_lock 寫鎖，把整個 process 凍住三小時——那個鎖從來沒有出現在任何公開的 API 契約裡。

前一天，Microsoft Fides 走了同一條邏輯：把 prompt injection 從 LLM 對話層移回 information-flow gate，用 integrity / confidentiality 標籤讓信任假設從隱性變成 deterministic check。五月二十三日的 Cloudflare Rust Workers panic recovery 是 runtime 層的版本：Wasm exception handling proposal 讓 panic 從「毀掉整個 isolate」變成可救回的 PanicError——語意從隱式的死亡搬成顯式的例外。

Discord 3/25 語音崩盤覆盤與 Meta data ingestion 遷移是系統層的對照組：Discord 的案例裡，pod 終結設定的改動觸發了 gateway OOM → syncer mailbox 膨脹 → etcd hash-ring ejection 的連鎖——那條依賴鏈沒有被顯式化；Meta 的案例裡，shadow / reverse-shadow / cleanup 三段對帳把「遷移中 downstream 看到什麼」完整寫成可驗證的流程。一個是隱性契約斷裂的記錄，另一個是主動把它攤開的範本。

個別亮點

Modal GPU 冷啟動不屬於契約主題，但是本週工程密度最高的一篇。LP / FUSE / C/R / CUDA-checkpoint 四層各自解決一段 fixed overhead，任一層可以獨立量測——移掉任一層，那段開銷就回來。合起來把 ~2,000 秒壓到 ~50 秒（40×），Q1 2026 production：CPU snapshot 還原 35M 次、CPU+GPU 還原 15M 次。

Weirdgloop AI scraper 覆盤是本週最具現場感的文章。cookmeplox 記錄了 Minecraft / OSRS wiki 一年的防線演進（Cloudflare challenge → JA4 fingerprint + MediaWiki 行為 ML），並點出最反直覺的核心：真正消耗資源的不是頻寬，是 cache miss 造成的 50–100× CPU 負載——95% 的 server issue 從這裡來。

Spotify LLM eval funnel 提出了值得記住的框架：eval 是 A/B 的 upstream filter，不是替代品；calibration 把兩層對齊。即使如此，仍有 42% 的實驗在 A/B 階段被 rollback——eval 永遠看不到 user-level outcome。

Segmented iterators 重訪是本週最學術性的一篇：把 std::deque 的分段結構暴露給標準演算法，幾何平均加速 5.9×，fill corner case 最高 17.16×。跨編譯器行為差異極大——MSVC 最積極，Clang 加 unroll hint 反而退步。Stepanov zero-overhead 命題的一次真實體檢。

Turso Quint SQLite：用 TLA+-風格 model checker 在 SQLite 找出超過十個 bug，驗證了 lightweight formal methods 對實務系統的可行性。與 Fides 一起讀，構成了「形式化方法從學術走向工程實踐」的短線索。

本週動向

web 從 0% 漲到 16.0%（+16 pp）、backend 從 0% 漲到 12.8%（+12.8 pp）——兩個 domain 上週完全缺席，這週一起回來。web 端貢獻來自 AI scraper 戰役、phased rollout RFC、XSS + passkeys 分析；backend 端來自 Stripe billing 實時分析、Turso Quint 形式化驗證。上週的 other 話題（Notion vector search、.de DNSSEC 等 storage / industry 類）從 35.9% 退到 6.4%——那批 storage 類文章的集中出現是一次性現象，已被 web 與 backend 替代。

新出現的標籤：csharp（兩篇，unsafe 契約與 union types）、cpp（兩篇，低延遲全鏈路與 segmented iterators）、agent-security（兩篇，Fides 與 supply chain CI backdoor）。上週的 C++、kernel、Linux、performance 等標籤這週靜了下來——raw system tuning 話題讓位給更語言層、設計層的討論。

一週的形狀

六天、六篇 roundup、十八篇 deep story——每天剛好三篇，從未偏廢。Archetype 分布：technical-deep-dive 6 篇（C# unsafe、Fides、Rust Workers、Modal GPU、C# unions、低延遲 C++）、narrative 5 篇（Discord 崩盤、Meta ingestion、.de DNSSEC、AI scrapers、Notion vector search）、comparison 3 篇（Rust existentials、phased rollout、segmented iterators）、explainer 2 篇（Spotify eval、Turso Quint）、investigation 1 篇（LinkedIn HashMap）、freeform 1 篇（Meta Reel Friends）。連日出現的 narrative 側面反映了這週「把發生過的事講清楚」的整體敘事姿態。

18 篇 deep story × 6 天（05/19–24），每天三篇

05/19

• technical Modal 把 GPU 冷啟動壓到 50 秒——LP、FUSE、C/R、CUDA-checkpointai
• narrative .de TLD DNSSEC rollover 翻車——stale-serve 與 NTA 撐三小時infra
• narrative Notion 向量搜尋的兩年——pod、Turbopuffer、Ray Serveother

05/20

• narrative Discord 3/25 語音崩盤覆盤——一行誤設掀翻 voice control planeinfra
• freeform Reel Friends 的多層 retrieval——Meta 怎麼把 social graph + embedding 拼成十億級 candidate setai
• explainer Quint，從零講起——TLA+ 風格 formal model 怎麼幫 Turso 找出 SQLite 十個 bugbackend

05/21

• narrative Meta 換掉 data ingestion 控制面——PB/day 流量底下的 zero-downtime 換引擎infra
• technical Fides——把 prompt injection 從 model 防線移回 information-flow gateai
• comparison Erasing Existentials——Rust 裡四種抹掉 existential 的辦法systems

05/22

• technical C# 的 unsafe 重新對焦——.NET 11 把記憶體安全從語法搬到契約systems
• investigation LinkedIn 的 HashMap resize 凍結——調查一場記憶體預算失算backend
• comparison Cooldown 還是 phased rollout——兩種對抗供應鏈攻擊的提案web

05/23

• technical Rust Worker 終於能從 panic 站起來——wasm-bindgen 接上 WebAssembly Exception Handlingsystems
• explainer 把 LLM eval 擺在 A/B 前面——funnel vs fork、calibration、與那 42% 還是被 rollback 的實驗ai
• narrative AI scraper 怎麼壓垮一個 wiki——cookmeplox 從 10× 流量、residential proxy、到 JA4 偵測的覆盤web

05/24

• technical C# 終於有 union types——.NET 11 把 discriminated union 收進型別系統systems
• technical 低延遲交易系統的五根支柱——從 NIC kernel bypass 到 p99，把 wire-to-wire 拆到微秒級infra
• comparison Segmented iterators 重訪——讓編譯器看見 deque 的分段結構，把通用演算法的 SIMD 加速找回來systems

本週落幕工程師在設計系統時，一直依賴著大量沒有寫進 spec 的假設——OS 怎麼管記憶體、runtime 在 panic 時做什麼、LLM 對信任邊界是怎麼理解的。這週的文章都在問同一個問題：這些假設，你敢不敢把它寫出來？