#rss

2 件 · すべてのタグ

📰 Digests

August 3, 2026

KarpathyがPelicanベンチマークの卒業を宣言、LeanカーネルのsoundnessバグがLLMによるCollatz予想の反証で発覚、NetBSD 11.0リリース

KarpathyPelicanAIベンチマークLean

📡 Events

August 2, 2026

13年前にGoogleが終了させたサービスが変えた情報フローの未来

rssopen-webgoogleplatform