第 30 週 · 7/20–7/26

2026.07.24 —— 今日 10 則 · RocksDB 的 MVCC 與交易是怎麼運作的 · 第一個已知的失控 AI agent——還是行銷噱頭？ · tinyrenderer：500 行純 C++ 從零做算繪

2026.07.23 —— 今日 10 則 · GigaToken 的 1000 倍：一次對 tokenizer benchmark 的追問 · Hologram：讓 Elixir 直接跑在瀏覽器 · 每個工程師都該懂一點 SIMD

2026.07.22 —— 今日 10 則 · LLM 找到 Jacobian 猜想的反例，人類數學家負責驗證 · KV cache 保溫的帳：keepalive 的成本經濟學 · 亂序核心先斬後奏、事後撤回——一次 unbounded 的弱記憶體形式驗證

2026.07.21 —— 今日 10 則 · 32% 的 arXiv 論文疑似 AI 代筆——但這個數字自己也會壞掉 · 用 Claude 加 Rocq 形式驗證 nftables，揪出藏了三年的防火牆漏洞 · 單核 Zen 3 榨到 85.3 GFLOPS：一場 FP32 GEMM 的極限逼近

2026.07.20 —— 今日 10 則 · 審查 AI 生成的程式碼，撐不起 AI coding 的效率神話 · 選錯 metric，讓 3 倍加速憑空消失 · Shipyard：Slack 用不可變映像重建 EC2 平台