HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

7508 articles Page 1/751 Sans filtre

21 Jul 2026

06:07

www.phoronix.com Resume pret HTTP 200 Commentaires

Firefox 153 available with support for Vulkan video decoding, JPEG-XL

La version 153 de Firefox a été publiée en tant que nouvelle Extended Support Release destinée aux entreprises, établissements scolaires et autres organisations recherchant une stabilité à long terme. Cette mise à jour introduit un support initial du décodage vidéo Vulkan, offrant une interface moderne et inter-vendeurs pour l'accélération vidéo, en particulier pour les environnements Linux où VA-API manque parfois de support officiel. Cela vise à pallier les limites de VA-API, notamment l'absence de prise en charge native par certains pilotes NVIDIA sans solutions tierces, et le manque de compatibilité de certains pilotes embarqués. La version apporte aussi plusieurs améliorations liées aux PDF, l'activation progressive du format JPEG-XL en expérimentation et la prise en charge de la lecture vidéo HDR sous Windows. Les fichiers binaires de la publication sont disponibles en téléchargement sur les serveurs FTP de Mozilla.

21 Jul 2026

06:07

github.com Resume pret HTTP 200 Commentaires

OpenCircuitX

Il s'agit d'une plateforme EDA libre et open-source pour la conception numérique en VHDL et Verilog qui regroupe un éditeur HDL, un canevas de circuits, une vue RTL, un visualiseur d'ondes et toute une chaîne d'outils FPGA dans une seule fenêtre. La cible principale est la conception FPGA (iCE40, ECP5) plutôt que les flux ASIC, et l'outil vise ingénieurs hardware, étudiants et hobbyists. Parmi les fonctionnalités on trouve coloration syntaxique, complétion et navigation de code, simulation via GHDL/Icarus/Verilator, visualisation VCD intégrée, éditeur visuel de portes avec export VHDL/Verilog, et flux de synthèse/suivi avec Yosys et nextpnr. Des builds précompilés existent pour Windows 10/11, tandis que Linux et macOS demandent de compiler depuis les sources pour l'instant, avec des dépendances listées comme wxWidgets, CMake et compilateurs appropriés. Le projet est distribué sous licence MIT, offre un système de plugins natifs, encourage les contributions via forks et pull requests, et indique que les tests et la programmation matérielle restent partiellement non vérifiés sur certaines plateformes.

21 Jul 2026

06:06

etbe.coker.com.au Resume pret HTTP 200 Commentaires

ECC and DDR5

Les codes de Hamming, avec R bits de redondance, corrigent les erreurs d'un seul bit et détectent les erreurs sur deux bits et sont couramment utilisés dans la mémoire ECC pour les largeurs de bus typiques (64/72 bits). Les RDIMM utilisent un registre tampon qui permet des DIMM plus grands et un plus grand nombre de DIMM par système et sont souvent associés à l'ECC en environnement serveur, tandis que les UDIMM sont non tamponnés et dépourvus d'ECC dans la plupart des systèmes grand public. Le Chipkill, ou ECC avancée, protège contre la défaillance d'une puce DRAM entière, ce que les codes de Hamming de base ne gèrent pas forcément selon la configuration des puces sur le DIMM. La DDR5 introduit une ECC sur puce et des sous-canaux (variants EC4 et EC8) qui compliquent la couverture d'erreurs de bout en bout et la compatibilité, avec des inquiétudes sur l'interaction possible entre l'ECC sur puce et l'ECC de la carte mère. Des incidents réels et des études montrent que l'ECC réduit la corruption de données et le temps perdu, et l'auteur préconise une adoption plus large, des normes clarifiées et des mesures fiscales ou réglementaires pour favoriser la mémoire ECC complète.

21 Jul 2026

06:06

www.newyorker.com Resume pret HTTP 200 Commentaires

Mythologizing AI makes it more likely that we’ll fail to operate it well (2023)

L'auteur estime que le terme « A.I. » est trompeur et que sa mythification rend la gestion technologique plus risquée. Les modèles actuels, comme GPT-4, sont décrits comme des formes nouvelles de collaboration sociale qui recombinent et statistiquement mashupent des contenus créés par des humains plutôt que comme des esprits indépendants. Les craintes d'un risque existentiel et d'une manipulation massive (deepfakes, automatismes persuasifs, perte de provenance) sont valides, mais le discours apocalyptique et flou nuit aux solutions pratiques comme l'étiquetage et la transparence. La solution proposée repose sur la « dignité des données » : traçabilité et rémunération des contributeurs, étiquetage des contenus synthétiques, transparence des modèles et organisations collectives pour négocier droits et partages. Mettre en œuvre ces principes exigera recherche technique et réformes politiques, ce qui pourrait mieux protéger les individus et l'économie du travail que des approches passives comme le revenu universel, et l'auteur appelle à recentrer les décisions sur les personnes.

21 Jul 2026

06:06

github.com Resume pret HTTP 200 Commentaires

What most histories get wrong about MUMPS's first standard

Le langage MUMPS, né en 1966 au Massachusetts General Hospital, s'est fragmenté en plusieurs dialectes d'ici 1972, rendant difficile la portabilité des applications. Le National Bureau of Standards mena une étude qui aboutit à la création de la MUMPS Development Committee (MDC), laquelle élabora et approuva des spécifications en 1975. Le NBS réunit ces spécifications et les publia en janvier 1976 sous forme d'un handbook officiel, constituant ainsi le premier standard formel du langage. L'ANSI valida ensuite essentiellement les mêmes documents comme X11.1-1977 après examen public, et les révisions ultérieures ainsi que l'adoption ISO s'appuyèrent sur la version ANSI. La préférence pour la date 1977 tient à la chaîne de citations vers les normes ANSI, à la perception d'une autorité accrue d'ANSI et à des résumés historiques compressés qui ont occulté la publication fédérale de 1976.