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
#llm
9 articles · Tous les tags
📰 Digests
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
July 25, 2026
Claude Opus 5, token GitHub dans une caméra, qualité logicielle, régulation IA
Claude Opus 5open-weightLLMcaméra de sécurité
July 17, 2026
Kimi K3 en tête de HN · OnePlus quitte les USA et l'Europe · Linus vend son LLM et se fait recaler
Kimi K3MoonshotOnePlusLM Studio
July 4, 2026
« Half-Baked Product » envahit HN, Valve open-source son panneau e-ink, l'astuce absurde de Fable pour réduire ses coûts de moitié
Half-Baked ProductValvee-inkFable
June 28, 2026
DeepSeek dévoile DSpark, un compte anonyme divulgue des 0-day en série, OpenRA ravive la flamme des RTS classiques
DeepSeekDSpark0-dayOpenRA
📡 Events
July 18, 2026
Linus Torvalds vend l'IA à la communauté Linux… et se fait recaler par les siens
LinuxLinus TorvaldsLLMOpen Source
July 17, 2026
Le créateur de Linux veut imposer l'IA pour écrire du code, et se fait recaler par l'un de ses lieutenants
LinuxLinus TorvaldsLLMOpen Source
July 13, 2026
George Hotz : la valorisation mirobolante des entreprises d'IA serait une illusion
IAValorisationModèle économiqueLLM