#netbsd 11.0

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

August 2, 2026

Cursor retire les infos de coût, les harness brûlent 29 fois plus de tokens, NetBSD 11.0 sort, l'analyse IA de RipGrep épinglée par un mainteneur du noyau, la controverse Ruby Central s'envenime

Cursorcoût de la programmation IANetBSD 11.0RipGrep