2026.06.28 —— 今日 10 則
TODAY'S THREAD 今天的主線是「把邊界量出來」——Reddit 反垃圾的層層防線被逆向拆開、OpenZL 用一份格式描述把壓縮比推到 2.06×、六種 Go 快取設計實測下 256 路鎖分片勝出，而 ARIA、pg_plan_advice 到 GPT-5.6 則各自把該守的界線重新講清楚。
OpenAI 預覽旗艦 GPT-5.6 Sol
OpenAI 預覽新旗艦 GPT-5.6，並一次推出 Sol、Terra、Luna 三個分級，定位直接對打 Anthropic 的同級模型。目前只開放給部分合作夥伴，更廣的可用時程尚未公布。對正在評估前沿模型的團隊，這又是一輪要重跑自家 eval 的訊號。
AI 學會 RFIC 設計這門「黑魔法」
Princeton 的 Sengupta 團隊把 AI 帶進過去靠資深工程師手調、動輒數年的 RFIC 設計：先用強化學習（類似 AlphaGo Zero 自我對弈）找架構與拓樸，再用 CNN 當電磁模擬的代理模型，把 scattering parameter 預測從數小時壓到毫秒。團隊用它做出一顆 30 到 100 GHz 的毫米波功率放大器，宣稱效率創紀錄。作者也提醒 AI 會「幻想」出不能用的設計，仍需人工把關。
替你的鎖分片：六種 Go 快取的對決
strebkov 拿六種 Go 並行快取設計實測：單一 mutex、RWMutex、sync.Map、256 路分片與 copy-on-write。結論很乾脆——256 路鎖分片在所有讀寫比例下幾乎都最快，8 核時對單鎖有近 8 倍吞吐，程式碼卻只多約 15 行。反直覺的是單鎖會負成長，RWMutex 的寫入甚至比普通 mutex 還慢。
Welterweight Go：泛型與結構子型的形式化
一篇 arXiv 論文提出 Welterweight Go，把 Go 的結構子型、泛型，與「有些值是裸 struct、有些是帶 RTTI 的 interface」這種不一致的執行期表示一次形式化。作者給了 WG 與 LWG 兩套演算，並用型別導向的編譯說明：不靠 monomorphization，而用執行期型別轉換與 adaptor method 撐住兩者的互動。對想替這類語言加泛型、又得守住分離編譯的實作者，是難得的形式基礎。
讓 devenv 啟動變快——順手加速 nixpkgs
devenv 把每次 shell 啟動的 70ms 砍到 16ms，順手讓整個 nixpkgs 啟動更快。痛點是 Nix 把每個套件丟進各自的 /nix/store 路徑，動態連結器得四處 stat 找 .so，光 devenv 自己就有約 486 次找不到函式庫的失敗開檔、ImageMagick 更達 1225 次。解法是復活 per-DSO 的 ELF note 快取：patchelf 0.19 加旗標寫入相依位置，改過的 glibc loader 直接讀，省掉 glibc-hwcaps 的探測。
OpenZL：Meta 的格式感知壓縮器
Meta 開源了 OpenZL，一個「格式感知」的壓縮框架：你給它一份資料格式描述（用 SDDL），它就生出一個針對該格式最佳化的專用壓縮器，而所有格式共用同一個通用解壓器。在 SAO 資料集上壓縮比達 2.06×，勝過 zstd 的 1.31× 與 xz 的 1.64×，壓縮速度 203 MB/s 還比 zstd 快。這把「高壓縮比」與「高吞吐」這對通常要取捨的目標同時拿下。
用 Web MIDI 不弄壞一台 1983 年的合成器
怎麼用瀏覽器的 Web MIDI 不弄壞一台 1983 年的 Yamaha DX7？問題在於老合成器只有 2 MHz CPU、256 byte RAM，又沒有硬體流量控制，現代 USB-MIDI 一口氣灌資料就會緩衝區溢位、當機或記憶體損毀。作者的解法是把 SysEx 切成 256 byte 區塊、每塊間隔約 60ms，給 8-bit CPU 時間寫進 SRAM。
ARIA 反模式與你
dbushell 主張大家其實誤讀了 ARIA Authoring Practices Guide：它是給瀏覽器與輔助技術開發者看的規格示範，不是給網頁工程師抄的最佳實踐。最該避開的反模式，就是明明有原生 HTML（例如直接用 button 元素）卻硬用 div 搭一個 role 屬性假裝成按鈕。他也警告別把 LLM 指向 APG 生程式碼，因為研究顯示 ARIA 用得越多、無障礙錯誤反而越多。
扒開 Reddit 反垃圾系統的內臟
一位作者靠 2021 年一次 moderator 短暫看到未過濾移除原因的意外，再比對封存的 Reddit 原始碼與移除紀錄，重建了反垃圾系統的內部結構。從 Spammit 的百分比評分、接 Google Perspective API，到 Spamurai 用 ISP、email 網域、TLS 指紋等資料點做行為剖繪，層層疊起。有意思的是 Perspective 那層「極易繞過」——文字稍微改一下分數就大降。
pg_plan_advice：讓 Postgres 19 的計畫聽你的
PostgreSQL 19 新增 pg_plan_advice 模組，讓你用一套迷你語言「建議」查詢計畫該怎麼走：join 順序、掃描方式、join 演算法、要不要平行。它不是硬塞計畫，而是遮掉某些選項、逼 planner 從剩下的合法計畫裡挑，所以你拿到的永遠是 planner 自己也認可的計畫。官方提醒：資料分布一變，鎖死的計畫可能反而拖累效能。