第 24 週 · 6/8–6/14 weekly

第 25 週 —— 熱路徑的集體搬家

這週四、五篇文章在做同一個動作：把跑在熱路徑、用 C 或弱型別寫了十幾年的程式整段搬去能被型別或證明守住的地盤——TrueType 直譯器搬進 Swift、OCaml runtime 翻成 Rust、Stripe 370 萬行從 Flow 跳到 TypeScript；domain 比例穩得反常，真正的位移在 tag 層（rust 從 3 衝到 7、memory-safety 首次出現三次、llm-inference 掉到零）。

read the weekly →

這週發過的

06.14

2026.06.14 —— 今日 10 則 · 一個 AI agent 替主人刷出天價帳單——自動掃 DN42 的失控之夜 · 普查局想拿掉差異隱私的雜訊——為什麼統計學家急著反對 · FFmpeg 一口氣被挖出 21 個零日——媒體解碼的攻擊面有多深

06.13

2026.06.13 —— 今日 10 則 · 把安全掃描吞吐量拉高十倍——Cloudflare 一場不加機器的瓶頸獵巡 · 把 TrueType hinting 直譯器從 C 搬進 Swift——熱路徑上的記憶體安全賭注 · WASI 0.3 把原生 async 帶進 component model——元件並行不再靠 hack

06.12

2026.06.12 —— 今日 10 則 · AMD 不肯修的那個更新器 RCE——一場 124 天的揭露 · 把虛擬機隔離證明成數學定理——EC2 的形式化驗證引擎 · invisible dependency，從零講起——你的模型到底建在誰之上

06.11

2026.06.11 —— 今日 10 則 · DiffusionGemma——把文字生成從自迴歸換成擴散去噪 · 逐行把 OCaml runtime 從 C 翻成 Rust——一場不重寫的遷移 · 一個 PR 遷走 370 萬行——Stripe 怎麼從 Flow 跳到 TypeScript

06.10

2026.06.10 —— 今日 10 則 · CSS 改不掉的那些壞掉部分——從 box-sizing 到 margin collapse 的歷史包袱 · Postgres 終於要做 query hint——pg_plan_advice 怎麼回應十五年的六條反對 · 用隨機圖蓋資料中心網路——Amazon 的 RNG 怎麼把 fat-tree 換下來

06.09

2026.06.09 —— 今日 10 則 · 愚弄 Go 的 X.509 驗證——一場由 ASN.1 字串編碼差異引發的 fail-closed 追查 · MiMo 把 1T 模型推到每秒千 token——FP4、DFlash 與常駐 kernel 的三層 co-design · 120k 行 Rust 後端的一趟導覽——把多租戶、同步引擎與外掛安全都交給型別系統

06.08

2026.06.08 —— 今日 10 則 · Linux 想退役 fork()+exec()——四條取代路線攤在桌上 · How is Linear so fast——把資料庫搬進瀏覽器後，每一層都得跟著改 · 加 queue 救不了過載——為什麼緩衝只是把崩潰往後延，以及該做什麼