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
August 2, 2026 Cursor Hides Cost Data as Harness Token Use Varies 29x, NetBSD 11.0 Ships, RipGrep's AI Analysis Called Out, Ruby Central Controversy Deepens CursorAI coding costsNetBSD 11.0RipGrep
