技術新聞
我們每天早上整理 GitHub Resources 的工程文章，以及 Hacker News 上開發者正在討論的專案，用中文寫成摘要。每一則都附原文連結，想看細節就點進去讀原文。
-
· Hacker News
Georgia Tech 推出 Transformer 視覺化工具
Georgia Tech 打造網頁工具 Transformer Explainer，輸入文字即可即時看到 GPT-2 內部運作。
看摘要 -
· Hacker News
開源工具 Drop 讓 Linux 沙箱免 root 也能跑
開源專案 Drop 提供免 root 的 Linux 沙箱，讓 AI 代理與不受信任的程式碼隔離執行，避免波及主機系統。
看摘要 -
· Hacker News
Claude Opus 5.5 上線，成本降四成速度更快
Anthropic 發布 Claude Opus 5.5，宣稱效能媲美前代旗艦、價格降二成，程式碼審計與安全防護有進步。
看摘要 -
· Hacker News
開發者釋出 Kev，可本地訓練的小型決策模型
開發者 Jared Palmer 開源 Kev，一套可在本機訓練與執行的小型決策模型，基於 Qwen3.5 打造。
看摘要 -
· Hacker News
xAI 發表 Grok 4.7，主打程式撰寫與速度大幅提升
xAI 推出新一代模型 Grok 4.7，強調程式撰寫與知識工作能力更強、速度加倍、價格砍半，在多項基準測試中超越前代。
看摘要 -
· Hacker News
Google 開源 AX 代理執行運行時，可調度海量任務
Google 開源代理執行運行時 AX，提供任務、工作區、閘道與模型四種原語，協助開發者大規模安全執行 AI 代理任務。
看摘要 -
· Hacker News
工程師打造虛擬機，讓經典 4X 遊戲 Stars! 現代重生
開發者 Chris Wellons 寫出虛擬機 Stars!VM，讓 16 位元 Stars! 能在 Windows 執行。
看摘要 -
· Hacker News
工程師推出 Sigabrt，用 SSH 介面監控排程任務
新服務 Sigabrt 讓開發者用一行 curl 指令回報任務狀態，逾時沒回報就寄信通知，還能用 SSH 終端介面查看。
看摘要 -
· Hacker News
Pirate Face 用種子技術讓開源 AI 模型不再消失
開發者推出 Pirate Face，把開源 AI 模型轉成附驗證的 BitTorrent 種子，防止模型下架後就此消失。
看摘要 -
· Hacker News
PlanetScale 推出 Postgres 全文檢索套件 Tin
PlanetScale 推出全文檢索套件 Tin，靠 Postgres 的 ctid 技術讓查詢速度比對手快上數十倍。
看摘要 -
· Hacker News
SDCC：專為微控制器打造的開源 C 語言編譯器
SDCC 是鎖定 8051、Z80、STM8 等微控制器晶片的開源 C 編譯器，支援多種 C 語言標準，由社群長期維護。
看摘要 -
· Hacker News
Cloudflare 推出免帳號一鍵公開本機伺服器工具
Cloudflare 的 Quick Tunnels 讓開發者輸入一行指令，就能把本機伺服器變成外界可存取的加密網址，不必註冊帳號也不用設定路由器。
看摘要 -
· Hacker News
獨立開發者推出瀏覽器內跑語言模型的決策實驗工具
SemIf（前身 OpenJev）讓語言模型完全在瀏覽器裡跑，比較兩種讀取模型判斷結果的方式哪個比較快、比較準。
看摘要 -
· Hacker News
記憶體分配庫 jemalloc 釋出 5.4.0，清償大量技術債
廣泛被系統與應用程式使用的記憶體分配庫 jemalloc 推出新版，包含超過 160 次提交的重構、修錯與可攜性改進。
看摘要 -
· Hacker News
開源 x86 模擬器 FEX 團隊剖析 ARM 上模擬記憶體順序的難題
開源專案 FEX-Emu 團隊發文說明，在 ARM 處理器上模擬 x86 程式時，記憶體讀寫順序不一致會造成效能與正確性挑戰。
看摘要 -
· Hacker News
開發者推出可自架的個人隱私搜尋引擎 Hister
Hister 是一套開源專案，讓使用者自己架設搜尋引擎，把瀏覽過的網頁和檔案建成私有索引，不必依賴外部搜尋服務。
看摘要 -
· Hacker News
新創 PrismML 把 27B 大模型壓縮到近乎無損還能跑在筆電上
PrismML 發布開源模型 Bonsai 2 27B,用三元權重把模型壓小九倍，效能只掉一點點，還能在一般裝置上跑。
看摘要 -
· Hacker News
新程式語言 Bend 想用數學證明擋下 AI 寫錯的程式碼
Bend 是一門新程式語言，開發者可以先寫下規則，之後 AI 產生的程式碼都得通過數學證明才能過關，藉此防止 AI 改壞程式。
看摘要