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
