#sizeof

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