HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

7182 articles Page 426/719 Sans filtre

14 Apr 2026

06:08

servo.org Resume pret HTTP 200 Commentaires

Servo is now available on crates.io

L'équipe Servo a publié la version v0.1.0 du crate servo, permettant d'utiliser Servo comme bibliothèque. Ils n'envisagent pas de publier leur navigateur de démonstration servoshell sur crates.io. Le processus de publication s'est raffiné depuis la première mise en ligne sur GitHub en octobre 2025, le principal goulot d'étranglement restant la rédaction mensuelle du billet de blog, dont la publication suivra dans les semaines à venir. La version 0.1.0 n'est pas un 1.0 et la définition d'un 1.0 pour Servo n'est pas encore finalisée, mais la hausse du numéro de version traduit une confiance croissante dans l'API d'intégration. Une version LTS est proposée pour permettre aux intégrateurs d'éviter les changements incompatibles des versions régulières et de recevoir des mises à jour de sécurité ainsi que des guides de migration lors de mises à niveau semestrielles.

14 Apr 2026

06:08

spectrum.ieee.org Resume pret HTTP 200 Commentaires

MEMS Array Chip Can Project Video the Size of a Grain of Sand

Des scientifiques du projet Quantum Moonshot (MITRE, MIT, Université du Colorado et Sandia) ont développé une puce photonique d'un millimètre carré capable de projeter des images et des vidéos à très haute densité. La puce peut générer 68,6 millions de "pixels scannables" par seconde, soit plus de cinquante fois la capacité des technologies antérieures comme les micromiroirs MEMS. Son architecture repose sur un réseau de micro-cantilevers en nitrure d'aluminium piézoélectrique qui se courbent sous tension pour guider et balayer des faisceaux lumineux sur une surface bidimensionnelle. Les chercheurs ont exploité les contraintes de fabrication pour obtenir la forte courbure des cantilevers et ont synchronisé leurs mouvements et l'émission lumineuse pour projeter des images (par exemple la Joconde) et des séquences vidéo depuis un seul cantilever. Outre la commande d'un grand nombre de qubits avec beaucoup moins de lasers, la technologie offre des perspectives pour la réalité augmentée, l'imagerie biomédicale, l'impression 3D accélérée et des dispositifs lab-on-a-chip.

14 Apr 2026

06:07

planetscale.com Resume pret HTTP 200 Commentaires

B-trees and database indexes (2024)

Le texte explique le fonctionnement des B-trees et B+trees et leur rôle central dans les systèmes de gestion de bases de données pour accélérer les recherches via des index. Il détaille la structure des nœuds, l'ordre interne, l'adaptation à la taille des blocs disque et pourquoi ces arbres restent peu profonds et efficaces en E/S. La variante B+tree stocke les paires clé/valeur uniquement dans les feuilles et permet de parcourir les valeurs en ordre grâce à des pointeurs doubles, comportement utilisé par InnoDB. L'article montre comment le choix de clé primaire influe sur la disposition des données et les performances : des clés séquentielles (AUTO_INCREMENT) favorisent des insertions locales et des lectures de plages efficaces, tandis que des UUID aléatoires fragmentent les pages et augmentent les opérations d'E/S. Il souligne aussi l'impact de la taille des clés (par exemple BIGINT versus UUID), le rôle du buffer pool et recommande de choisir la clé primaire en connaissance de cause.

14 Apr 2026

06:07

jclt.iecc.com Resume pret HTTP 200 Commentaires

The Journal of C Language Translation

La revue a cessé d'être publiée, mais tous les numéros antérieurs restent disponibles. Cette publication trimestrielle ciblait principalement les concepteurs d'outils de traduction du langage C et C++ tels que compilateurs, interprètes, préprocesseurs, traducteurs vers/depuis le C, outils d'analyse statique, générateurs d'analyseurs, analyseurs lexicaux et éditeurs dirigés par la syntaxe. Elle était également pertinente pour les fournisseurs de bibliothèques tierces qui doivent interfacer et soutenir les éditeurs de ces outils. Sont disponibles un sommaire cumulatif et l'intégralité des numéros des volumes 1 à 3, avec numéros 1 à 4 pour chaque volume. Des informations complémentaires et des fichiers sont accessibles sur le serveur FTP et des coordonnées postales et téléphoniques sont fournies pour contact.

14 Apr 2026

06:06

www.bbc.com Resume pret HTTP 200 Commentaires

Why it’s impossible to measure England’s coastline

Le roi Charles III a inauguré un nouveau sentier côtier qui, une fois achevé, permettra de parcourir l'ensemble du littoral anglais sur environ 2 689 miles (4 327 km), ce qui en ferait le plus long sentier côtier géré au monde. La longueur exacte du littoral reste indéterminée en raison du "paradoxe du littoral" découvert par Lewis Fry Richardson, selon lequel plus la résolution de la mesure est fine, plus la côte paraît longue, théoriquement jusqu'à l'infini. Des agences réputées fournissent des estimations très différentes — par exemple la CIA, le World Resources Institute, la NOAA ou l'US Army Corps of Engineers donnent des chiffres qui divergent de milliers de kilomètres — et certains pays ont vu leur chiffre officiel augmenter en utilisant des mesures à plus haute résolution. Outre l'échelle de mesure, les marées, l'érosion et les changements côtiers compliquent toute normalisation, si bien que le sentier a été conçu pour pouvoir être reculé à l'intérieur des terres, comme après un glissement de terrain dans le Dorset qui a ajouté 1,5 mile au tracé. Le nouveau parcours se relie au chemin côtier du Pays de Galles et laisse envisager une route continue autour de la Grande-Bretagne si l'on intégrait l'Écosse, dont les estimations de longueur varient fortement selon la méthode utilisée.

14 Apr 2026

06:06

timmastny.com Resume pret HTTP 200 Commentaires

Visualizing CPU Pipelining (2024)

L'article explique le fonctionnement détaillé du pipeline CPU en se basant sur un modèle MIPS 5 étages et en s'appuyant sur des sources comme Dan Luu et Rodrigo Copetti. La phase d'instruction decoding (ID) extrait les champs d'instruction qui sont propagés via des registres entre étapes afin que chaque stade dispose des métadonnées nécessaires. L'unité de détection de hazards (HDU) compare ces métadonnées entre registres d'étapes et insère des bulles (stalls) pour éviter des dépendances qui rendraient le calcul incorrect. L'unité de forwarding (FU) peut rediriger des résultats intermédiaires vers l'étage EX pour éliminer certains stalls, mais elle doit coopérer avec la HDU, notamment pour les chargements (lw) qui exigent souvent au moins une bulle. Les aléas de contrôle sont gérés par des techniques allant du "predict not taken" et des branch delay slots à la prédiction dynamique, en utilisant BTAC pour l'adresse cible, BPU pour la prédiction et BRU pour la résolution et le flush en cas d'erreur.

14 Apr 2026

06:06

www.newyorker.com Resume pret HTTP 200 Commentaires

New Orleans's Car-Crash Conspiracy

Chaque jour, des millions de semi‑remorques circulent sur les routes américaines et, en proportion, les camions lourds sont impliqués dans une part disproportionnée des accidents mortels, souvent avec des conséquences catastrophiques pour les occupants de véhicules légers. À partir du milieu des années 2010, une portion de l’I‑10 à New Orleans East a connu une hausse inexplicable d’accidents latéraux impliquant des voitures bondées de passagers, phénomène que les analystes ont jugé statistiquement aberrant. L’enquête a révélé un réseau organisé où des « slammers » comme Cornelius Garrison, des runners, des avocats et des intermédiaires orchestrai(en)t des collisions intentionnelles contre des semi‑remorques afin d’obtenir des règlements d’assurance élevés, parfois complétés par des interventions médicales discutables. Le FBI a lancé l’opération Sideswipe, Garrison est devenu informateur avant d’être assassiné, puis des dizaines de personnes ont été inculpées et plusieurs acteurs juridiques ont été poursuivis, aboutissant notamment à la condamnation de Vanessa Motta pour fraude et obstruction. L’affaire illustre à la fois la précarité économique des participants, l’appât du gain dans le système des recours civils, les coûts croissants de l’assurance automobile en Louisiane et les difficultés à obtenir une réforme systémique.

14 Apr 2026

06:06

www.quantamagazine.org Resume pret HTTP 200 Commentaires

The AI revolution in math has arrived

2025 a marqué un tournant quand plusieurs modèles d'IA ont réussi la plupart des problèmes de l'Olympiade mathématique internationale, ce qui a poussé de nombreux chercheurs à expérimenter ces outils. Des équipes utilisant des systèmes comme AlphaEvolve, Gemini, ChatGPT, DeepThink ou FullProof ont aidé à formuler et démontrer de nouveaux résultats, y compris la preuve de convergence d'une méthode de Nesterov et la découverte de structures en hypercubes dans des intervalles de Bruhat. Les chercheurs constatent que l'IA permet d'explorer rapidement de vastes ensembles de problèmes et de générer des idées, mais elle produit aussi fréquemment des erreurs et des résultats erronés qui nécessitent une supervision humaine. La formalisation automatique des preuves et la vérification assistée par ordinateur sont présentées comme des outils essentiels pour valider les démonstrations produites ou suggérées par l'IA. Les mathématiciens débattent des conséquences culturelles et pédagogiques — perte de certaines compétences, départs vers l'industrie et risque d'appauvrissement de l'aspect artistique des mathématiques — tout en reconnaissant que l'IA pourrait profondément transformer la pratique de la recherche.

14 Apr 2026

06:05

ndaybench.winfunc.com Resume pret HTTP 200 Commentaires

N-Day-Bench – Can LLMs find real vulnerabilities in real codebases?

Ce projet mesure la capacité des modèles de langage de pointe à découvrir des vulnérabilités réelles divulguées après leur date de coupure de connaissances. Tous les modèles reçoivent le même dispositif de test et le même contexte sans possibilité de manipuler les récompenses. L'objectif est d'évaluer les compétences en cybersécurité, et plus précisément la découverte de vulnérabilités par les grands modèles de langage. Le banc d'essai est adaptatif : les cas de test sont mis à jour mensuellement et l'ensemble des modèles est actualisé aux dernières versions et checkpoints. Toutes les traces sont consultables publiquement et le projet est conduit par Winfunc Research.