August 3, 2026 KarpathyがPelicanベンチマークの卒業を宣言、LeanカーネルのsoundnessバグがLLMによるCollatz予想の反証で発覚、NetBSD 11.0リリース KarpathyPelicanAIベンチマークLean
July 1, 2026 Claude Codeのステガノグラフィーが引き起こした信頼危機、Anthropicが三連投でHNトップを席巻 Claude CodeステガノグラフィーsteganographyAnthropic
