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
July 1, 2026 Claude Steganography Ignites Trust Crisis as Anthropic Dominates HN Front Page with a Triple Launch Claude CodesteganographyAnthropicClaude Sonnet 5
