2026年8月3日 Karpathy 宣布 Pelican 基准「毕业」、Lean 内核 soundness bug 被 LLM 证伪 Collatz 猜想牵出、NetBSD 11.0 发布 KarpathyPelicanAI 基准Lean
2026年8月2日 Cursor 移除成本信息撞上 harness 耗 token 差 29 倍、NetBSD 11.0 发布、RipGrep musl segfault 的 AI 分析被内核开发者点名、Ruby Central 争议继续发酵 CursorAI 编程成本NetBSD 11.0RipGrep
2026年7月18日 AWS $17 亿账单闹剧 · Kaggle AGI 评审造假 · Linus 推销 LLM 翻车 · Rust→Zig 编译 100 倍提速 AWSbillingKaggleAGI
2026年7月18日 AWS 天价账单惊魂 · 开源 AI 围剿闭源 · Linus 推销 LLM 翻车 · Rust→Zig 编译 100 倍提速 AWSbillingopen source AILinus Torvalds