August 3, 2026 Karpathy Graduates the Pelican Benchmark, an LLM's Collatz Disproof Exposes Lean's Kernel Soundness Bug, NetBSD 11.0 Ships KarpathyPelicanAI benchmarkLean
