Game Developers Conference – Royalty Free Sound Effects
Résumé indisponible pour cet article.
Lire vite.
Garder l'essentiel.
Les meilleurs longs formats de Hacker News, relus plus calmement.
People Who Will Thrive in the AI Age
Des études montrent que l'adoption de l'IA a rendu la vie professionnelle plus intense, augmentant fortement le temps passé aux courriels, aux messageries et aux logiciels métiers tout en réduisant le travail concentré. L'usage fréquent d'outils comme ChatGPT est associé à une baisse de l'effort cognitif, à une diminution de certaines mesures de connectivité cérébrale et à un affaiblissement des capacités de pensée critique, avec un risque de dépendance qui dégrade les compétences quand l'outil disparaît. Les personnes réagissent différemment selon leur « besoin de cognition » : les profils à faible besoin ont tendance à penser moins et à s'appauvrir cognitivement, les profils moyens risquent d'être séduits par une logique d'optimisation qui diminue curiosité et résistance, et les profils élevés cherchent à résister et à utiliser l'IA pour accroître leur autonomie intellectuelle. L'article propose des pratiques pour limiter l'érosion cognitive, comme demander des indices plutôt que des réponses, commencer sur une page blanche, alterner tâches assistées et non assistées, concevoir des IA tutorales et réserver le travail créatif aux humains. Il préconise enfin de réorienter l'éducation et les organisations vers la formation de la volonté et du désir d'effort, en cultivant autonomie, compétence et relations pour éviter une polarisation cognitive et préserver la dignité humaine.
A Contract-Grade Verifier for LLM-Generated GPU Kernels
Les systèmes qui génèrent des kernels GPU avec des modèles de langage évaluent souvent la correction par un seul test lâche consistant à exécuter le kernel sur quelques entrées aléatoires à une forme fixe et à accepter les sorties proches d'une référence. Ce test laisse passer des kernels incorrects qui peuvent produire des NaN ou des infinis, être non déterministes, échouer sur d'autres formes ou accumuler en fp16 quand la référence utilise du fp32. Les auteurs construisent un vérificateur de contrat de qualité industrielle composé de douze portes adversariales — propriétés qu'un kernel correct doit satisfaire, plusieurs sans tolérance — et l'appliquent à 2 638 kernels générés automatiquement déjà acceptés par le harnais public. Le vérificateur trouve 39,5 % de kernels défectueux au-delà de toute argumentation de tolérance et 62,1 % présentant au moins une violation, tandis que le test standard en accepte 1 487 que le vérificateur rejette contre seulement 14 dans l'autre sens, résultats défendus par quatre contrôles indépendants. Les auteurs valident aussi en interne un kernel natif pour l'entraînement Blackwell tcgen05 en sens inverse pour la famille GDN contre un oracle double précision, entraînent cinq membres de la famille et concluent que le signal de correction rapporté est bien plus faible que ne le suggèrent les chiffres publiés et que des contrats sans tolérance réduiraient largement cet écart.
AI Model Atlas – visualizing populations of ML models as interconnected 3D graph
Résumé indisponible pour cet article.
Every exterior shot in The Taking of Pelham 123
L'article recense l'emplacement de chacune des prises de vue extérieures à Manhattan dans le film de 1974 The Taking of Pelham 123. Il précise qu'il existe environ quarante plans extérieurs tandis que la majeure partie de l'intrigue se déroule sous terre, et que les lieux choisis correspondent généralement à l'action filmée. Les horodatages proviennent d'une vidéo YouTube consultable en juillet 2026 et l'auteur souligne que presque toutes les prises restent facilement identifiables aujourd'hui. Un passage mis en avant montre un convoi policier transportant la rançon depuis la Federal Reserve jusqu'au quartier général de la 28th Street, en traversant le Financial District, le Civic Center, SoHo et l'East Village. La liste détaillée énumère des emplacements précis — Lexington et 59th, Gracie Mansion, segments de la FDR Drive, Park et 28th, ainsi que de nombreuses intersections du Lower Manhattan et d'Union Square — en signalant quelques ruptures de continuité et des lieux incertains.
Moving integer division to floating-point is trivial
Les opérations matérielles d'entier pour division et reste sont lentes et ont un faible débit comparées à la division en virgule flottante qui est souvent plus rapide et mieux parallélisée. L'auteur affirme que pour deux entiers x et y tenant dans la précision p (53 pour double, 24 pour single), en les promouvant en flottant on peut obtenir le quotient entier d = trunc(x/y) (pour les non signés floor équivaut) et le reste m = -fma(d,y,-x) en arrondi au plus proche avec égalité vers pair. Une observation clé est que les cas d'égalité (ties) n'apparaissent pas pour la division flottante binaire dans la même précision, donc seul l'arrondi au plus proche s'applique et la méthode est mathématiquement sûre sous contraintes de précision. En pratique il faut gérer le coût des changements de mode d'arrondi et des conversions entier↔flottant, tirer parti d'instructions permettant de choisir l'arrondi (p.ex. AVX-512), et privilégier les usages SIMD ou les diviseurs constants pour amortir les frais. Des méthodes formellement vérifiées existent pour 32 et 64 bits et l'article fournit des tests et exemples pour binary32 et binary64 montrant les pires cas pour a et b.
Stop sending me huge PRs; a rant
L'auteur se dit fatigué de devoir relire des pull requests très volumineuses qui demandent un effort de revue disproportionné. Il plaide pour des PR plus petites et digestes, arguant que la compréhension du code devient beaucoup plus coûteuse quand les diffs sont étendus. Il critique l'usage intensif de l'IA pour générer de larges changements en invoquant que cela déplace la charge sur les relecteurs humains plutôt que de rendre la revue plus facile. Il préconise des noms de variables explicites plutôt que de longs commentaires explicatifs, tout en encourageant la documentation formelle des fonctions. Enfin, il émet l'hypothèse que certains déposent de très gros PR pour pousser les relecteurs à abandonner et appelle à plus de discipline dans la taille et la présentation des changements.
Gödel, Escher, Elisp: The Beauty of Macros
L'article explique que, en Emacs Lisp, le code utilise les mêmes structures que les données (homoiconicité), ce qui permet d'inspecter et de transformer des programmes comme des listes. Une macro reçoit des formes non évaluées et produit du code au moment de l'expansion, offrant un contrôle sur l'évaluation et la capacité de générer des définitions et des constructions syntaxiques. De nombreux éléments courants d'Elisp (when, unless, defun, defcustom, cl-loop, use-package, etc.) sont des macros ou se décomposent en macros, et l'expansion aboutit finalement à des formes spéciales implémentées en C. L'auteur illustre la réflexivité et les boucles étranges des macros par des métaphores de Hofstadter et d'Escher et montre comment créer des macros pratiques avec des exemples tels que deftoggle. L'article décrit aussi les outils d'introspection (macroexpand-1, macroexpand, macroexpand-all, emacs-lisp-macroexpand, macrostep) et met en garde contre les dangers des macros trop puissantes ou mal conçues.
A humble cabbage became one of the Forbidden City’s treasures (2025)
Le National Palace Museum de Taipei expose une petite sculpture de jadéite représentant un chou chinois, haute de 7,4 pouces, qui attire de longues files de visiteurs. Sculptée dans un bloc de jadéite blanche et verte, elle reproduit fidèlement les feuilles et utilise les inclusions naturelles de la pierre pour évoquer les nervures, avec une sauterelle et un criquet parmi les feuilles. Provenant autrefois de la Cité interdite, elle a été transportée à Taïwan pendant la guerre civile chinoise et popularisée localement, notamment par un timbre émis en 1968. Son succès public tient autant à la maîtrise technique et aux couleurs chatoyantes qu'à l'interprétation symbolique liée à la pureté, la fertilité et l'abondance, alors que les archives manquent sur son auteur et sa commande. Le musée la protège dans une vitrine renforcée, la prête rarement à l'étranger et ses prêts ont parfois suscité des tensions diplomatiques.
Every Fucking Website (2020)
Résumé indisponible pour cet article.