2026.07.13 —— 今日 10 則
TODAY'S THREAD 今天的主線是「別假設底層那層永遠不變」——Cloudflare 拋掉固定 leader 重寫全球共識、Chrome 把 Math.tanh 換成平台 libm 結果洩漏了作業系統、後量子簽章逼你現在就得換掉手上的 RSA。
把 production AI agent 遷到 GPT-5.6：快 2.2 倍、省 27%
一個把 production AI agent 遷移到 GPT-5.6 的案例，作者報告延遲快了 2.2 倍、成本降了 27%。文章拆解遷移過程要調整的 prompt 與工具呼叫方式，對正在評估要不要換底層模型的團隊是具體的參考點。
Claude Code 開口前先送 33k token，OpenCode 只送 7k
有人實測 Claude Code 在真正讀你的 prompt 之前，會先送出約 33k token 的固定開銷，而 OpenCode 只送約 7k。對按 token 計費、又高頻呼叫 coding agent 的人來說，這個開銷會直接反映在帳單與延遲上。文章比較兩者在開口前送出的內容差在哪。
Terry Tao：用現代 coding agent 重寫新舊小工具
數學家 Terry Tao 記錄了他用現代 coding agent 重寫幾個新舊小工具的經驗，從一個重度使用者、而非 AI 從業者的視角，談 agent 在實際開發流程裡幫得上與幫不上的地方。對想知道這些工具在真實工作中到底表現如何的人，是難得的第一手觀察。
Dropbox 用 DSPy 把 AI 評測結果變成更好的回覆
Dropbox 分享他們怎麼用 DSPy，把 AI 評測的結果回饋進 Dash chat，讓回覆品質變好。談的是一個常被略過的環節：有了評測分數之後，怎麼把它變成實際改善模型輸出的迴路，而不只是儀表板上的數字。
我的 segfault 跑哪去了？bash 的 exec 優化吃掉了錯誤訊息
一個 C 程式明明會 segfault，透過某些方式執行時卻看不到那行錯誤訊息。追下去發現是 bash 的 exec 優化：當某個指令是最後一步時，bash 會用 execve 直接取代自己而不 fork，於是少了那個負責回報子行程致命訊號的父行程。用 (./hello) 或補一個 true 逼 bash 保留父行程，訊息就回來了。
Cloudflare Meerkat：拋掉固定 leader，用 QuePaxa 做全球共識
Cloudflare Research 打造了 Meerkat——一個管理跨 330 個資料中心控制平面狀態的全球共識服務，底層用的是拋掉固定 leader 的 QuePaxa 演算法。QuePaxa 讓任何 replica 都能推進共識，在遭受針對性連線攻擊的惡劣網路下，吞吐量比 Raft 與 Multi-Paxos 高約 10 倍。目前仍是實驗性、僅供內部使用，適合寫入不頻繁但必須強一致的控制平面資料。
別再等更好的後量子簽章：ML-DSA 現在就得上
NIST 選定的第一個後量子簽章 ML-DSA 在傳輸上又大又慢——公鑰 1,312 bytes、簽章 2,420 bytes，是 Ed25519 的幾十倍，很多 RSA/ECC 的老把戲也玩不了。但 Cloudflare 認為不能再等：更好的候選像 FN-DSA 要到 2033、MAYO/SNOVA 要到 2034 才可能上線，而法規要求的遷移期是 2030 到 2035。結論很務實——你得帶著手上有的演算法上戰場，而不是等你希望有的那個。
Chromium 148 起 Math.tanh 可被指紋化，洩漏底層 OS
Chrome 148 把 V8 的 Math.tanh 從內建 fdlibm 換成呼叫平台 libm 的 std::tanh，結果同一句 Math.tanh(0.8) 在 Linux、macOS、Windows 上回傳的最後幾個 bit 各不相同，一次呼叫就能分辨底層作業系統。IEEE 754 規範怎麼存浮點數，卻沒規定 tanh 這類函式要正確捨入，於是各家 libm 的多項式係數差異就洩漏了出來。對做 bot 偵測或反指紋的人來說，這是一個幾乎隱形卻很強的訊號。
TypeScript 7 發布：編譯器用 Go 重寫，速度大幅提升
TypeScript 7 正式發布，編譯器改用 Go 重寫，編譯速度比 6.x 大幅提升，記憶體用量整體也略有下降。對大型 TS 專案而言，type-check 與 build 的等待時間是每天都在付的成本，這次重寫直接衝著它來。
AWS 自己搞出來的 ExtendDB：DynamoDB 相容的開發用適配器
AWS 開源了 ExtendDB，一個與 DynamoDB 相容的適配器，定位在開發與測試而非上線環境。對本機開發時想避開真的連上 DynamoDB 的團隊，這多了一個相容選項。