2026.06.27 —— 今日 10 則
TODAY'S THREAD 今天的主線是「組合起來不一定更好」——多個 LLM 併用有共同失誤的天花板、開源權重與閉源的差距其實沒在縮，而工具這頭則各自把邊界釘清楚：C 直譯器幾乎全自動翻成 safe Rust、Lambda 用 microVM 補上隔離與啟動之間的縫、Zig 把 @bitCast 的語義講明白。
多模型併用的共同失誤天花板
一篇橫跨 67 個前沿模型的研究指出，把多個 LLM 用 routing、voting 或 mixture-of-agents 併起來，準確率上限被一個叫 beta 的量卡死——也就是所有模型同時答錯同一題的比率。實測數學任務 beta 約 0.052，但傳統用 pairwise 相關係數 rho 估出來只有 0.023，低估了約 2.5 倍。結論很硬：沒有夠強的 query 級路由訊號，組合模型幾乎贏不過單一最強模型。
開源權重落後閉源幾個月
doubleword 用 Artificial Analysis Intelligence Index 等 18 個 benchmark，量開源權重模型到底落後閉源幾個月。單看一個榜外推，會得出「年底就追上」的樂觀結論；多榜一起看，差距其實穩定在約 5 個月、甚至在拉大。提醒一件事：拿單一 benchmark 講趨勢，很容易騙到自己。
Reboot：把 C 直譯器翻成 safe Rust
一篇論文提出 Reboot，把 C 寫的直譯器幾乎全自動翻成 safe Rust。手法是 feature reduction——把翻譯拆成一連串各自可測試的里程碑，再用多 agent 編排與自動驗證迴圈推進；六個直譯器（6k 到 23k 行 C）只要 1 到 11 次人工介入就全數通過測試。mujs 的案例直接消掉了 heap buffer overflow 與 use-after-free 這類記憶體漏洞。
Zig 釘清 @bitCast 語義
Zig 的 6 月 25 日 devlog 重新定義了 @bitCast 的語義：過去在某些位元重排情境下行為含糊，這次把它釘清楚。同一條目也記了 LLVM 後端的數項改進。對追 Zig 編譯器演進、或常靠 @bitCast 在型別間搬位元的人，這是個值得確認自己沒踩到舊行為的更新。
AWS Lambda 推出 microVM
AWS Lambda 推出 microVM——一個基於 Firecracker 的新運算原語，提供 VM 級隔離，又能從快照近乎即啟、閒置時自動 suspend／resume 並保留記憶體與磁碟狀態。它補的是傳統 VM 啟動慢、容器對不可信程式碼隔離又太弱之間的縫，鎖定 AI agent 沙箱、互動式程式碼執行這類場景。上限 16 vCPU、32GB 記憶體、單次最長 8 小時。
Moebius：執行期切換 MoE 平行策略
一篇 arXiv 論文提出 Moebius，在服務 mixture-of-expert 模型時，依負載於執行期無縫切換 runtime 平行策略，不必重新啟動服務。MoE 的痛點是不同 batch 大小、不同負載下，最佳的 tensor 與 expert 平行切法不一樣，固定一種就會在另一種負載下吃虧。Moebius 把切換成本壓到能線上做，讓服務端跟著流量調整並行方式。
一份務實的 font-family 建議
chrismorgan 寫了一份務實的 font-family 設定建議：從 system font stack、fallback 鏈，到 CJK 與等寬字面該怎麼鋪，給出可直接抄進 CSS 的設定。重點不是追時髦字型，而是在沒有自訂 webfont 時，怎麼讓各平台都拿到合理的預設。對要收斂專案字型設定的前端，是一份能省掉反覆試誤的清單。
LaTeX.wasm：瀏覽器裡的 LaTeX 引擎
SwiftLaTeX 把完整的 LaTeX 排版引擎用 WebAssembly 搬進瀏覽器，純前端就能編譯出 PDF，不必架後端 TeX 服務。對線上編輯器、教育平台這類想即時預覽 LaTeX 的場景，這拿掉了一整層伺服器往返。也是 WASM 把重量級原生工具鏈搬上瀏覽器的又一個實例。
一次失敗攻擊的解剖
grack 拆解了一次疑似國家級、而且是失敗的攻擊：逐步還原攻擊鏈在哪些環節露餡、防守端又是怎麼接住的。比起成功入侵的事後檢討，這種「差點得手」的解剖更能看出攻擊者的假設與踩雷點。對做 threat modeling 或想理解真實攻擊節奏的人，是難得的第一手材料。
你需要的其實只有 PostgreSQL
ebellani 用一套完整的雙分錄記帳系統論證：很多人一遇到稽核、高寫入、複雜約束、分析查詢就急著加專用元件，但 PostgreSQL 18 內建的功能其實接得住。手法包括 temporal table 做稽核、constraint trigger 上業務規則、HOT update 調寫入，並把工作集塞進 shared_buffers 直接省掉外部快取層。對動不動就想多引一個系統的團隊，是一份「先看 Postgres 夠不夠」的硬證據。