August 3, 2026 Karpathy가 Pelican 벤치마크 졸업 선언, LLM의 Collatz 반증으로 드러난 Lean 커널 soundness 버그, NetBSD 11.0 출시 KarpathyPelicanAI 벤치마크Lean
