2026年8月3日 Karpathy 宣布 Pelican 基准「毕业」、Lean 内核 soundness bug 被 LLM 证伪 Collatz 猜想牵出、NetBSD 11.0 发布 KarpathyPelicanAI 基准Lean
2026年7月18日 AWS 天价账单惊魂 · 开源 AI 围剿闭源 · Linus 推销 LLM 翻车 · Rust→Zig 编译 100 倍提速 AWSbillingopen source AILinus Torvalds
