HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6857 articles Page 326/686 Sans filtre

06:00

Bugs Rust won't catch

En avril 2026, un audit externe de uutils a révélé 44 CVE principalement liés à des erreurs logiques et aux interactions avec le système plutôt qu'à des failles de mémoire. La majorité des vulnérabilités provenaient de TOCTOU sur des chemins entre deux appels système et de l'utilisation d'API std::fs qui résolvent les chemins à chaque appel plutôt que d'ancrer les opérations sur des descripteurs de fichiers. Les correctifs et bonnes pratiques recommandés comprennent l'utilisation d'OpenOptions::create_new ou d'opérations relatives à un descripteur parent, la définition des permissions à la création, la canonicalisation des chemins et la manipulation des flux en octets (OsStr/Vec<u8]) plutôt que des String. L'audit a aussi mis en évidence des risques liés aux unwrap/panic, à la suppression d'erreurs et aux divergences comportementales par rapport à GNU, et recommande de propager les erreurs, d'ajouter des lints et d'assurer la compatibilité bug-par-bug quand nécessaire. Malgré ces défauts fonctionnels, Rust a empêché les classes classiques de vulnérabilités mémoire, et l'auteur conclut que l'effort doit porter sur les frontières entre le code Rust et le monde extérieur via des idiomes défensifs, des tests et des audits ciblés.

06:00

Ghostty is leaving GitHub

L'auteur, utilisateur GitHub depuis février 2008, explique qu'il a consulté la plateforme presque tous les jours pendant plus de dix-huit ans. Il décrit une forte attache émotionnelle à GitHub, qui a servi de centre à sa vie professionnelle, ses hobbies et ses moments personnels. Après des mois de pannes récurrentes affectant issues, PR et Actions, il juge que la plateforme entrave désormais son travail et se dit devenu publiquement critique à ce sujet. Il annonce la migration progressive du projet Ghostty vers d'autres fournisseurs, en gardant un miroir en lecture seule sur GitHub et en étudiant plusieurs options commerciales et open source. Ses projets personnels resteront pour l'instant sur GitHub et il envisage éventuellement de revenir si des améliorations concrètes sont apportées.

06:08

NPM website was down

La période couverte s'étend du 14 au 28 avril 2026. La plupart des journées listées n'ont signalé aucun incident. Le 27 avril 2026, un incident a été signalé et une enquête a débuté à 21:06 UTC. Des mises à jour indiquent une investigation continuée à 22:28 UTC et une résolution à 22:30 UTC le même jour. Le 28 avril 2026, aucun incident n'a été rapporté.

06:08

L123: A Lotus 1-2-3–style terminal spreadsheet with modern Excel compatibility

l123 recrée l'expérience du tableur terminal Lotus 1-2-3 R3.4a tout en offrant compatibilité moderne et round-trip natif .xlsx via un moteur de formules contemporain. Le projet est activement développé et la plupart des jalons M0–M8 sont achevés, M9 est planifié et M10 est en cours de finalisation. L'interface est centrée clavier avec slash-menus, panneau de contrôle à trois lignes, panneau d'icônes WYSIWYG, saisie par première touche et fonctions 1-2-3 (@SUM, .., #AND#), plus import/export .xlsx et .csv. L'architecture en Rust sépare strictement UI, parsing, moteur (IronCalc derrière un trait), I/O et graphisme afin de faciliter les tests et la remplaçabilité du moteur. Le projet garantit l'utilisation « cold » par un utilisateur 1-2-3 R3.4a et le round-trip propre des fichiers .xlsx, tout en excluant l'émulation DOS complète et la réécriture du cœur de calcul.

06:08

Decoupled DiLoCo: Resilient, Distributed AI Training at Scale

Google présente Decoupled DiLoCo, une architecture distribuée qui divise l'entraînement en « îles » de calcul avec un flux de données asynchrone pour réduire le besoin de synchronisation stricte. Cette approche isole les perturbations locales et rend l'entraînement plus résilient et auto-réparant, comme montré par des tests de chaos engineering où des unités d'apprentissage étaient perdues puis réintégrées. Les expériences avec les modèles Gemma 4 montrent que Decoupled DiLoCo maintient la disponibilité des clusters et atteint des performances ML équivalentes aux méthodes classiques malgré des pannes matérielles. La méthode exige des ordres de grandeur de bande passante en moins et a permis d'entraîner un modèle de 12 milliards de paramètres sur quatre régions américaines avec 2–5 Gbps, aboutissant à une exécution plus de vingt fois plus rapide que la synchronisation conventionnelle. Elle permet aussi d'utiliser simultanément des générations de matériel différentes, transformant des capacités inutilisées en puissance utile et allégeant les goulots d'étranglement logistiques pour l'entraînement à grande échelle.

06:07

Den stora Älgvandringen – The great moose migration (live)

Ce programme suit la migration des élans qui empruntent depuis des millénaires les mêmes pistes pour rejoindre les pâturages d'été. Il s'agit de la huitième saison diffusée à la télévision et disponible sur SVT Play. La diffusion comporte plusieurs diffusions et mises à jour récentes avec des dates de publication variées. Les droits de diffusion indiquent que le programme est accessible dans le monde entier. Le contenu est complété par des épisodes spéciaux, des moments forts et des archives des saisons précédentes.

06:07

What Claude Shannon Knew in 1950 That We're Pretending Is New

Notre époque s'alarme des chatbots qui produisent des réponses polies mais partiellement inexactes, alors que Claude Shannon avait déjà décrit ce type de problème en 1950. Dans son article sur la programmation d'un ordinateur pour jouer aux échecs, Shannon expliquait que, face à un espace de décisions trop grand, il valait mieux viser un jeu suffisamment bon plutôt que la perfection. Les systèmes d'IA modernes prédisent mot après mot et utilisent des approximations qui peuvent produire des réponses plausibles sans en vérifier la vérité. La fluidité du langage favorise des jugements de vérité erronés, d'où la nécessité de métadonnées, de contrôle des versions et de signaux explicites pour guider les modèles. Les rédacteurs techniques doivent désormais expliciter contexte, conditions d'application et limites dans la documentation pour rendre l'IA fiable dans des cadres bornés plutôt que parfaite.

06:07

Show HN: Utilyze – an open source GPU monitoring tool more accurate than nvtop

Les outils standards comme nvidia‑smi, nvtop ou certains compteurs DCGM survendent l'utilisation GPU en affichant 100% alors que les unités de calcul sont souvent en attente de mémoire. Utilyze mesure directement l'efficacité réelle en temps réel en sondant les compteurs matériels GPU et en appliquant le modèle Speed‑of‑Light (SOL) pour produire deux indicateurs : Compute SOL % et Memory SOL %. Les mesures de Utilyze ont été validées contre des calculs analytiques simples (par exemple des multiplications de matrices) et concordent à environ 2% tout en imposant une overhead négligeable, ce qui permet une observation continue en production. Dans des cas concrets (inférence préfill, décodage, fine‑tuning, modèles MoE), Utilyze distingue correctement les goulots d'étranglement mémoire versus calcul et a permis, via Systalyze, de récupérer des gains substantiels grâce à des optimisations ciblées. Le projet Utilyze est open source sous licence Apache 2.0, et la communauté est invitée à l'essayer, partager ses mesures et contribuer, avec un support AMD prévu à terme.