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 How Google Killed RSS: 13 Years Later, the Algorithmic Feed Dominates rssopen-webgoogleplatform
