[2026-10-18] DeepSeek突襲釋出763B開源模型破除模板、CLI-Anything掀起軟體代理化革命

詳細網頁版與參考連結：https://podcast.david888.com/post/2026-10-18 今日焦點包含 DeepSeek 釋出 v4.1-Flash 並改用 Rust 核心協議，以及 CLI-Anything 讓軟體轉為 Agent 原生。社群熱議多機推論速度未增的管線平行化盲點、Lean 4 形式驗證 Web 的效能局限，與 OpenCode 雲端金鑰遭盜刷的資安教訓。討論亦延伸至 Helm 縮排痛點、硬體電路級模擬器、愛沙尼亞電子投票在防脅迫上的現實死結，以及 Obsidian 團隊推出的超輕量圖表引擎 Pele。 相關連結： DeepSeek-v4.1-Flash-1017 HKUDS / CLI-Anything (54,054 ⭐) Local AI on four Macs: MLX capacity, speed and trust boundaries by Nikoloz Turazashvili (@axrisi) I built the RealWorld app in Lean 4 Show HN: Llmspeed – feel how fast a local LLM runs before you buy the hardware Show HN: Esp32sim – Run ESP32 firmware in the browser OpenCode Hacked: User credentials leaked A skeptic's first contact with Kubernetes (2024) A story of WiFi secrets, UART lockdowns and a damaged flash memory chip The Commodore 64 hardware simulator: break chips and pins, see the results Source code of the Estonian online voting system Pele – Mermaid diagrams as themeable SVG