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
#pelican
1 articles · Tous les tags
📰 Digests
1 articles · Tous les tags