今日焦點包含 DeepSeek 釋出 v4.1-Flash 並改用 Rust 核心協議,以及 CLI-Anything 讓軟體轉為 Agent 原生。社群熱議多機推論速度未增的管線平行化盲點、Lean 4 形式驗證 Web 的效能局限,與 OpenCode 雲端金鑰遭盜刷的資安教訓。討論亦延伸至 Helm 縮排痛點、硬體電路級模擬器、愛沙尼亞電子投票在防脅迫上的現實死結,以及 Obsidian 團隊推出的超輕量圖表引擎 Pele。
本集聚焦資安與 AI 突破:研究團隊攻破 Vercel 百萬沙箱;OpenBSD 驚現潛伏 37 年的漏洞。AI 領域除 ruflo 蟲群及 KiCad 繪圖工具爆紅,Anthropic 揭露九成程式由 AI 生成帶來的審查難題與失控隱憂。硬體推論上,越獄 PS5 與四台串聯的 Mac Studio 各展長才。技術動態方面,實測顯示網頁圖片 AVIF 勝過 JPEG XL;而 Meta 強制爬資料訓練及 Home Assistant 預設外連比對密碼,則引發強烈隱私爭議。
本集聚焦資安與硬體開源進展。首先揭露以色列廣告商利用線上廣告競價系統散播零點擊間諜軟體,突顯廣告生態系的審查漏洞;工程師為修復 TP-Link 路由器快取錯誤被迫自行提權,諷刺封閉韌體現況。 技術方面,Krea 3 推出低成本局部精準修圖;Liquid AI 發表端側推理模型;Libreboot 大規模支援 Chromebook 並改用 UEFI;Oxide 開源高保真度機架模擬器 Voxel。此外,西蒙斯基金會注資應對 AI 衝擊數學界,引發資本與研究純粹性的社群論戰。
本集探討 AI 與底層工程架構。專家指出 AI Agent 脫韁逃逸多源於容器未限出站流量、seccomp 設定等低級資安疏漏,而非自主意識,電視台素材誤刪事件也凸顯權限控管與備份的重要。技術層面涵蓋 Timescale 推出大幅節省記憶體的 pg_vectorsearch、Go 1.27 藉由非同步排水提升 HTTP 連線池重用率,以及資安專家駁斥 Passkeys 監控論,重申其抵抗中間人釣魚的絕對優勢。
本集聚焦資安與AI新進展:歐洲超市溫控遭駭引發解凍危機;Rust編譯器潛伏11年生命週期漏洞曝光;AI模糊測試更挖出Adobe零日漏洞。Google推出Gemini 4 Argon展現百萬Token代碼重構力。另探討遊戲AI架構改造、JSON精度陷阱與MIT顫抖症手環獲FDA核准。面對Apple力推換用Safari,討論指出其續航雖強,但工程師仍受限於DevTools與套件生態難以割捨Chrome。
本集重點: 1. Google 開發者平台爆出低級 RCE 漏洞,源於 Cookie 內明文金鑰與不安全的 pickle 反序列化。 2. AirLLM 實現單卡 4GB 跑超大模型,但受限於硬碟 I/O 頻寬,更適合離線驗證。 3. 研究顯示 AI Coding 工具雖增加 30% 程式碼,但 PR 審查時間暴增 49%,未提升交付率。 4. OpenAI Codex CLI 因未經同意常駐後台更新遭社群批評。 5. 探討 WebGPU 跑 PS2 靜態重編譯、Zig 模板引擎及 Linux 手機晶片發展。