HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

7277 articles Page 436/728 Sans filtre

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.

14 Apr 2026

06:05

encore.dev Resume pret HTTP 200 Commentaires

What we learned building a Rust runtime for TypeScript

Encore a choisi d’écrire un runtime en Rust plutôt que d’étendre le runtime Go pour éviter le surcoût d’IPC, permettre le support multi-langages et exploiter le multithreading de tokio au-delà des limites single-thread de Node.js. Le runtime Rust pilote l’intégralité des préoccupations d’infrastructure — cycle HTTP, routage, validation, pool de bases, pub/sub multi-fournisseurs, tracing, métriques, stockage et cache — tandis que le TypeScript reste limité à la logique métier. Pour interopérer avec JavaScript ils ont adapté napi-rs afin d’appeler des fonctions JS et récupérer les valeurs/promesses, et ajouté des mécanismes comme CancellationGuard pour garantir la fermeture correcte des spans de trace. Ils ont intégré Pingora en processus pour la passerelle API et l’authentification TS, utilisé des trait objects pour abstraire NSQ, GCP et AWS sans polluer les signatures de type, et conçu un protocole binaire de traces optimisé. Le code public rassemble environ 67 000 lignes de Rust, affiche des gains de performance marqués par rapport à d’autres frameworks et retient des enseignements sur le typage des erreurs, l’export OpenTelemetry et l’importance des tests par snapshot.

14 Apr 2026

06:05

blog.kaving.me Resume pret HTTP 200 Commentaires

Tracking down a 25% Regression on LLVM RISC-V

Une modification récente de LLVM a provoqué une régression de performances sur des cibles RISC-V en faisant générer une division en double précision (fdiv.d) au lieu de simple précision (fdiv.s), augmentant le coût d'environ 24 % sur un benchmark. La cause vient d'un patch d'InstCombine qui a utilisé ComputeNumSignBits dans isKnownExactCastIntToFP et a ainsi remplacé la séquence sitofp + fpext par un itofp direct en double, supprimant le fpext dont visitFPTrunc dépendait pour réduire la précision en float. L'auteur a confirmé la régression en comparant des builds anciens et récents, en inspectant l'IR produit par Clang/opt et en utilisant llvm-mca pour analyser la latence des instructions et localiser où la transformation de narrowing avait disparu. La correction introduit canBeCastedExactlyIntToFP et modifie getMinimumFPType pour utiliser cette analyse (avec information de plage) afin d'autoriser le cast exact de l'entier vers float quand c'est sûr, ce qui permet de restaurer la réduction en simple précision. Le correctif a été fusionné après revue et les mesures montrent le rétablissement des divisions en simple précision avec une amélioration d'environ 25 % sur le benchmark concerné.

14 Apr 2026

06:05

github.com Resume pret HTTP 200 Commentaires

Tool to explore regularly sampled time series

Cet outil permet d'explorer des séries temporelles régulièrement échantillonnées avec une fréquence d'une heure ou plus et est limité par défaut à 2 000 échantillons. Le workflow en trois étapes comprend une évaluation initiale (distribution, KDE, boxplot, ACF/PACF), une décomposition par Singular Spectral Analysis pour extraire composantes et détecter changements, puis un journal d'observations avec diagnostics et résumé automatique. La décomposition SSA utilise une fenêtre heuristique basée sur la fréquence d'échantillonnage (modifiable dans l'interface) et s'appuie sur la distribution des valeurs propres et des vecteurs propres pour regrouper et reconstruire tendances, saisonnalités et bruit. Une interface notebook et des exemples de chargeurs de données sont fournis, et le package nécessite Python 3.13 ou plus ; il s'installe depuis PyPI (pip, pipx) ou via conda pour le développement. Les fichiers importés doivent être CSV ou Excel avec une colonne d'horodatage puis une colonne numérique, sans valeurs manquantes et limités à 2 000 lignes par défaut, tandis que la documentation, la construction des docs Sphinx et les contributions se gèrent via le dépôt GitHub et Read the Docs.

14 Apr 2026

06:04

blog.feld.me Resume pret HTTP 200 Commentaires

I just want simple S3

Les besoins exprimés sont simples : un service S3 local sans mise à l'échelle ni réplication, fiable et rapide. Minio a été largement abandonné après la suppression de son interface et l'archivage du dépôt, Garage est jeune et perçu comme trop complexe malgré sa réécriture en Rust, SeaweedFS présente un concept intéressant mais des performances LAN anormalement lentes et Ceph reste une solution massive et complexe adaptée aux cas de très grande échelle. Le Versity S3 Gateway, peu connu hors milieu académique et gouvernemental, supporte un backend POSIX (et ScoutFS), utilise les xattrs pour les métadonnées, propose une interface web, des buckets publics/anonymes et des fonctions de proxy d'autres backends S3. Après déploiement et synchronisation des données via rclone, Versity a fourni des performances LAN à la vitesse de ligne attendue, ce qui a rendu la solution acceptable en attendant l'émergence d'un stockage objet natif ZFS. Parmi les autres candidats figurent RustFS (nouveau, en Rust, revendiquant une compatibilité S3 complète), la capacité expérimentale de rclone à agir comme serveur S3, Filestash comme interface multi‑protocoles, ainsi que Zenko CloudServer et Supabase Storage, ces deux derniers étant basés sur NodeJS avec des approches différentes pour les métadonnées et l'authentification.