#rss

2 articles · Tous les tags

📰 Digests

August 3, 2026

Karpathy diplôme le benchmark Pelican, une fausse réfutation de Collatz expose un bug de soundness du noyau Lean, NetBSD 11.0 est sorti

KarpathyPelicanBenchmark IALean

📡 Events

August 2, 2026

Comment la fermeture de Google Reader il y a 13 ans a façonné vos flux d'information

rssopen-webgoogleplateforme