HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

Les meilleurs longs formats de Hacker News, relus plus calmement.

12026 articles Page 699/1203 Sans filtre

Math-to-Manim

Ce projet transforme des questions de mathématiques et de physique en vidéos explicatives Manim accompagnées d'artefacts réutilisables comme l'intention, le graphe de prérequis, le plan de cours, le storyboard, le code et les rapports de rendu. La chaîne de traitement adopte un raisonnement inverse qui identifie d'abord les prérequis et l'ordre d'enseignement puis génère le paquet mathématique, les spécifications de scène, le code Manim, les validations et le rendu. Chaque exécution produit un bundle runs/<run_id>/ contenant des contrats JSON, le code généré, les résultats de rendu et les notes de revue afin de garantir traçabilité, inspection et reprise par d'autres agents. Le volet apprentissage par renforcement (Prime Intellect) cible la boucle de réparation du code Manim cassé en soumettant des propositions corrigées à des vérificateurs et en entraînant des politiques pour améliorer la sécurité et la probabilité de rendu réussi. Le dépôt fournit des commandes CLI pour générer et réparer des runs, une option de génération via Codex, un agent opérateur nommé Hermes pour la maintenance, une vitrine de GIFs et est distribué sous licence MIT.

Snowboard Kids 2 is 100% Decompiled

Le projet a abouti à une décompilation complète du code du jeu, avec toutes les fonctions réimplémentées en C produisant un assembleur identique à l'original. Quelques passages utilisent encore des insertions en assembleur et de nombreux noms et structures demandent une meilleure documentation et clarification. La conversion en C rend le code lisible, compilable et modifiable, facilitant la recompilation, l'extraction d'actifs, le modding et l'étude des mécaniques du N64. Le travail, mené sur près de deux ans, a bénéficié d'un fort soutien de la communauté N64 et d'aides apportées par des agents de codage comme Codex, Claude et GLM. Les prochaines étapes sont la publication d'une recompilation de haute qualité, le nettoyage du code et des actifs, et l'exploration d'une possible décompilation du premier opus pour une version combinée.

Perry Compiles TypeScript directly to executables using SWC and LLVM

Perry compile le TypeScript en exécutables natifs multiplateformes sans runtime, produisant de petits binaires autonomes et démarrant très rapidement. Le compilateur utilise SWC pour le parsing et LLVM pour la génération optimisée, garantit des builds déterministes et intègre un système de plugins à la compilation pour éliminer les surcoûts d’exécution. Une bibliothèque standard complète et plus de 30 paquets npm réécrits en natif fournissent des APIs compatibles Node, avec la possibilité d’activer un runtime V8 optionnel pour les paquets JavaScript. L’outil propose de vrais widgets natifs sur chaque plateforme, du multi-threading natif avec garanties de compilation, une i18n au moment de la compilation et des flux pour construire, signer et publier vers les stores. Les résultats publiés montrent des gains de performance et des tailles binaires nettement inférieures par rapport à Node.js et Bun, et l’installation se fait facilement via Homebrew avec une commande pour compiler un fichier TypeScript en exécutable.

Seeing Around Corners Using Smartphone-Grade Lidar

Des chercheurs montrent que des lidars grand public de type smartphone à moins de 100 $ peuvent détecter des objets cachés autour d’un coin en analysant la lumière réfléchie après plusieurs rebonds. Ils suggèrent que cette technique pourrait améliorer la sécurité des véhicules autonomes, aider la navigation des robots et démocratiser la technologie, et ils ont publié le code pour la reproduire. Pour surmonter le faible signal, le bruit, la faible résolution et les mouvements, l’équipe combine algorithmiquement plusieurs images successives, s’inspirant des prises en rafale des smartphones et de l’imagerie radar à synthèse d’ouverture. Les expériences avec un lidar portable d’environ 100 pixels ont permis de reconstruire des géométries 3D éparses d’objets statiques, de suivre des mouvements 3D d’objets de forme connue et d’utiliser des objets cachés pour la localisation sans calibration spécialisée. Les auteurs précisent que le système ne produit pas d’images photoréalistes, dépend d’hypothèses sur la constance des formes et des mouvements et nécessitera des améliorations d’algorithmes et de matériel pour être robuste en conditions réelles.

Announcing Rust 1.96

La nouvelle version est disponible via rustup (rustup update stable) et les personnes souhaitant tester les prochaines publications peuvent basculer sur les canaux beta ou nightly et signaler tout bug rencontré. La bibliothèque standard stabilise de nouveaux types de plage dans core::range (Range, RangeFrom et RangeInclusive) avec leurs itérateurs associés, tandis que les anciennes plages restent disponibles temporairement et que RangeFull et RangeTo seront réexportés depuis core::ops à l'avenir. RangeInclusive expose désormais ses champs, ce qui facilite le stockage d'accesseurs de tranche dans des types Copy, et il est recommandé d'utiliser impl RangeBounds pour les API publiques ou les nouveaux types concrets. Deux macros d'assertion, assert_matches! et debug_assert_matches!, ont été ajoutées pour vérifier qu'une valeur correspond à un motif tout en affichant la valeur en cas d'échec, mais elles ne font pas partie du prelude et doivent être importées depuis core ou std. Les cibles WebAssembly n'utilisent plus --allow-undefined au lien (rendant les symboles indéfinis en erreurs, réactivables via RUSTFLAGS ou #[link(wasm_import_module = "env")]) et la sortie corrige également deux vulnérabilités liées aux registres tiers (CVE-2026-5223 et CVE-2026-5222) sans impact pour crates.io.

Social Animus

L'auteur décrit les limites de l'open source en l'absence de filtrage institutionnel et a adopté une politique de contributions non anonymes avec cession de droits d'auteur pour limiter les risques. Une collaboration avec un contributeur anonyme a débouché sur des accusations de plagiat et du harcèlement en ligne, causant à l'auteur des problèmes de santé et l'annulation d'une invitation à s'exprimer. Malgré ces conflits, l'auteur revendique des succès techniques et de distribution avec llamafile et d'autres projets, des contributions importantes de tiers et un soutien ponctuel de Mozilla et de communautés comme Hacker News. Il évoque aussi des revers professionnels et administratifs, notamment un licenciement après un poste chez Gradient Canopy, des rejets de patchs par des mainteneurs et des démêlés fiscaux avec plusieurs États américains. Face à l'isolement social et aux difficultés financières, l'auteur sollicite des dons publics sous nom réel pour financer un logement sûr, une équipe et le développement continu de ses projets en les présentant comme un acte politique.

Washington Diary

L'auteur raconte une visite à Washington D.C. après de nombreuses années et décrit la sensation étrange de voir en vrai des monuments familiers par reproduction. Les bâtiments monumentaux occupent chacun un îlot séparé par des pelouses, ce qui donne à la ville une qualité de distinction et de gravité au prix d'une certaine perte de vitalité. Beaucoup d'édifices sont revêtus de marbre exploité en Amérique, dont la légère translucidité produit une lueur douce sous le soleil. La capitale américaine privilégie un néoclassicisme omniprésent avec des portiques détachés devant la plupart des grands bâtiments, contraste marqué avec la diversité des traditions architecturales européennes. Sur le vol de retour, l'auteur a regardé les films Dune et souligne le travail du décorateur Patrice Vermette, qui combine motifs historiques variés pour un langage architectural à la fois ancien et futuriste.