HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6148 articles Page 462/615 Sans filtre

15 Mar 2026

07:06

www.philipzucker.com Resume pret HTTP 200 Commentaires

Refinement Modeling and Verification of RISC-V Assembly Using Knuckledragger

La vérification binaire est utile pour plusieurs raisons, notamment lorsque du code bas niveau doit être écrit en assembleur pour la performance, le contrôle précis du timing et l’accès à des opérations spéciales. Elle sert aussi à détecter des bogues du compilateur et peut faciliter le lien entre du code généré par des LLMs et des formes plus faciles à raisonner grâce à des outils de vérification. L’auteur développe un outil de vérification binaire en Python basé sur pypcode et les sémantiques de ghidra pour effectuer des exécutions symboliques et des vérifications de propriétés. Un aspect central est la bisimulation entre un modèle d’état bas niveau et un modèle d’état haut niveau défini par l’utilisateur, ce qui permet à Z3 de vérifier automatiquement les correspondances entre les exécutions. Des exemples concrets, tels qu’un petit programme et une opération de mémcopy, illustrent des preuves de propriétés et des bisimulations réussies, tout en discutant des limites et des perspectives d’évolution.

15 Mar 2026

07:06

unplannedobsolescence.com Resume pret HTTP 200 Commentaires

XML is a cheap DSL

L’IRS a annoncé la sortie du Tax Withholding Estimator (TWE), un outil libre et open source qui accepte les contributions publiques. Le TWE s’appuie sur des configurations XML et sur le Fact Graph, avec un Fact Dictionary décrivant le Code fiscal américain, et il adopte une approche déclarative. L’auteur oppose ce modèle déclaratif à une approche impérative comme en JavaScript, expliquant que les calculs décrits par le graphe permettent l’audit et la traçabilité. Il compare XML et JSON en soutenant que XML, malgré sa verbosité, est plus adapté comme DSL et bénéficie d’outils universels, tandis que JSON est préférable pour les données. En fin de compte, il recommande d’utiliser JSON pour la plupart des cas et XML lorsque l’on a besoin d’un DSL, soulignant que le Fact Graph ouvert de l’IRS offre auditabilité et partage.

15 Mar 2026

07:05

github.com Resume pret HTTP 200 Commentaires

Megadev: A Development Kit for the Sega Mega Drive and Mega CD Hardware

Il s'agit d'un kit de développement pour le matériel Sega Mega Drive et Mega CD. Il réunit des utilitaires, des en-têtes, de la documentation et des exemples pour faciliter le développement. Il s'adresse aux développeurs ayant une expérience en C ou en programmation M68k et une connaissance des systèmes embarqués. L'accent est mis sur le Mega CD, ce qui accroît la complexité, tout en offrant une plus grande flexibilité et une moindre dépendance à des outils externes. Le texte précise l'absence d'affiliation avec SEGA, la distribution sous licence permissive et remercie les contributeurs.

15 Mar 2026

07:05

www.openttd.org Resume pret HTTP 200 Commentaires

Changes to OpenTTD Distribution on Steam

OpenTTD n'est plus disponible en tant que jeu autonome sur Steam et doit être acheté via le bundle Transport Tycoon Deluxe / OpenTTD. Le bundle est proposé au prix de 9,99 dollars et permet d'accéder à Transport Tycoon Deluxe et à OpenTTD. Les propriétaires actuels sur Steam ne voient aucun changement et continueront à recevoir les mises à jour. Pour les nouveaux joueurs, l'achat du bundle donne accès à Transport Tycoon Deluxe et à OpenTTD comme produits distincts. Le reste des plateformes reste inchangé et le téléchargement d'OpenTTD demeure possible via le site web, avec Atari en charge du support du bundle sur Steam et GOG.

15 Mar 2026

07:05

interpret.csis.org Resume pret HTTP 200 Commentaires

Starlink militarization and its impact on global strategic stability (2023)

La militarisation de Starlink modifie l’équilibre stratégique mondial en renforçant les capacités d’observation, d’alerte et de coordination des actions des États‑Unis, tout en suscitant des inquiétudes et des réponses chez les autres puissances. Deux cadres théoriques sont proposés: le modèle d’empowerment où Starlink renforce les capacités nucléaires et les chaînes de frappe, et le modèle de substitution où l’espace peut devenir un acteur stratégique relativement indépendant des forces nucléaires. Le document identifie trois lacunes dans les recherches existantes: un focus sur des technologies spatiales à usage militaire, un manque d’analyse des interconnexions inter-domaines et des difficultés à évaluer les effets différenciés selon les types d’équipements spatiaux, notamment Starlink. Il met en évidence des risques pour la stabilité de crise et pour la stabilité des armements, notamment une possible réduction de la stabilité du premier coup, des escalades rapides et des crises accidentelles liées à des défaillances techniques et à la prolifération de débris spatiaux. Enfin, il appelle à une gouvernance indépendante et inclusive fondée sur l’ONU, des mécanismes de liaison multi-domaines et un cadre durable de sécurité spatiale visant à réduire les risques, accroître la transparence et encadrer les technologies duales sans freiner l’innovation.

15 Mar 2026

07:05

stigmollerhansen.dk Resume pret HTTP 200 Commentaires

Learning Creative Coding

Le livre s’adresse aux étudiants en design qui apprennent la programmation créative et qui se sentent dépassés par les messages d’erreur. Il présente 45 frustrations courantes et montre comment les traverser et apprendre, sans promettre que le codage sera facile. Chaque frustration est associée à neuf vertus classiques comme la curiosité, l’humilité, le courage et la persévérance, avec ce qui se passe, ce que cela révèle et les prochaines étapes. Le lecteur peut l’utiliser comme référence lors des blocages ou le lire en entier pour se préparer, avec des réflexions et des exercices. L’ouvrage est libre et accessible sous licence CC BY-NC-SA 4.0, sans inscription, rédigé par Stig Møller Hansen, et compte 148 pages et environ 13 370 téléchargements.