HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6473 articles Page 187/648 Sans filtre

20 May 2026

06:05

www.openbsd.org Resume pret HTTP 200 Commentaires

OpenBSD 7.9

La sortie de mai 2026 apporte de nombreuses améliorations matérielles et architecturales, avec un support étendu pour arm64, amd64, riscv64 et divers SoC (RK3588, RK3576, SpacemiT K1, etc.). Le noyau gagne des évolutions notables telles qu'un mécanisme de gestion des cœurs hétérogènes, le remplacement du spinlock "cas" dans les mutex par un verrou "parking", une meilleure stratégie du pagedaemon et un support pour jusqu'à 52 partitions. La virtualisation et les outils VMM/VMD ont été renforcés avec vmboot, émulation de registres MSR, corrections de races, meilleure compatibilité Apple Virtualization et options pour le confidential computing (AMD SEV) et pvclock. Des renforcements de sécurité et d'API utilisateur comprennent l'introduction de __pledge_open(2), le retrait de la promesse "tmppath", le durcissement de pledge/unveil, la suppression des exemptions root pour BIOCLOCK et de nombreuses corrections et nouveautés dans LibreSSL 4.3.0 et OpenSSH 10.3. De larges mises à jour de pilotes et du réseau ajoutent le support de 802.11ax, des améliorations pour iwx/iwm/ice/bnxt et veb VLAN-aware, des évolutions de pf, ainsi qu'un grand nombre de paquets récents et des instructions détaillées d'installation et de mise à niveau sur les miroirs.

20 May 2026

06:05

superspl.at Resume pret HTTP 200 Commentaires

Show HN: Gaussian Splat of a Strawberry

L'ensemble d'images comprend des prises depuis 90 perspectives, chaque perspective comportant 88 images empilées pour la mise au point. Les prises ont été réalisées avec un Nikon Z8 plein format, objectif macro Laowa 180 mm, ouverture f/7.1, exposition 1/160 s et ISO 100, avec éclairage LED et fond bleu. Les données sont publiées sous licence CC BY 4.0 et peuvent être utilisées sans attribution, bien que celle-ci soit appréciée. L'entraînement a été réalisé avec le projet slang-splat disponible sur GitHub. Le jeu de données COLMAP est également accessible gratuitement via la page Patreon mentionnée et le traitement a été fait avec le logiciel COLMAP.

20 May 2026

06:05

deepmind.google Resume pret HTTP 200 Commentaires

Gemini Omni

Le modèle combine raisonnement, compréhension du monde, multimodalité et capacités d'édition pour produire et modifier du contenu visuel et textuel. De nombreux exemples de prompts montrent la création et la manipulation d'images et de vidéos, incluant effets visuels, synchronisation audio, transformations d'objets, stop motion et animation mot par mot. Des évaluations automatisées et humaines ainsi que des équipes de red teaming indépendantes ont été utilisées pendant et après l'entraînement pour contrôler la sécurité et la performance. Le contenu créé ou édité via les applications associées est marqué par un watermark imperceptible SynthID et des C2PA Content Credentials permettant la vérification de l'origine. Des outils et intégrations destinés aux créatifs et aux plateformes sociales, comme un studio créatif et des formats courts, sont proposés pour faciliter la production et la diffusion.

20 May 2026

06:05

nesbitt.io Resume pret HTTP 200 Commentaires

Dumb ways for an open source project to die

L'article montre que de nombreux paquets open source dont dépendent un grand nombre de projets sont en pratique « morts » pour une grande variété de raisons. Parfois le ou les mainteneurs ont simplement disparu ou été déplacés — cas typiques : mainteneur fantôme, projet orphelin d'entreprise, code issu de thèses, fin de financement, embauche chez un autre employeur ou blocage de succession. D'autres fois le mainteneur est toujours présent mais le projet stagne à cause de l'épuisement, d'automates qui donnent une fausse apparence de santé, de conflits entre co-mainteneurs, de perte du savoir-faire ou d'un maintien toxique qui repousse les contributeurs. Le logiciel peut aussi être compromis ou rendu inutilisable par la capture d'un mainteneur, du protestware, des ruptures de la chaîne de publication, d'artefacts de build impossibles à reproduire, du retrait du dépôt, de sanctions ou d'autres événements extérieurs, ou simplement parce que la plateforme ou des dépendances en aval ont changé ou disparu. Malgré ces divers modes de défaillance, le paquet continue souvent à se résoudre et à être installé via les lockfiles, si bien que des versions obsolètes, cassées ou malveillantes restent en circulation tant que personne n'inspecte attentivement.

20 May 2026

06:04

www.jeremykun.com Resume pret HTTP 200 Commentaires

Unusual uses of OEIS sequences on GitHub

L'auteur a cherché des références à l'OEIS dans du code open source et a découvert des usages inattendus. Deux frameworks de live-coding musical, mercury et ziffers (extension pour Sonic Pi), utilisent des suites de l'OEIS pour générer ou moduler des éléments musicaux. Les suites employées vont de suites de type Fibonacci (A000045, A006190, A000032, A000129) à des suites plus exotiques comme la suite de de Bruijn (A000695), Recamán (A005132), Thue-Morse (A010060), des développements 10-adiques (A225410) et la Inventory Sequence (A342585). L'auteur s'interroge sur le rendu sonore de musiques basées sur ces suites et exprime des doutes quant à l'attrait musical de séquences très étranges. Parmi d'autres usages surprenants, le lecteur Kobo Plato utilise A000041 pour les tailles de stylo et l'application GC Wizard contient de nombreuses suites et formules de l'OEIS intégrées dans des énigmes de géocaching.

20 May 2026

06:04

emptysqua.re Resume pret HTTP 200 Commentaires

Intro to TLA+ for the LLM Era: Prompt Your Way to Victory

L'article présente un puzzle des haricots et montre comment TLA+ exprime des spécifications de systèmes sous forme de logique temporelle définissant des machines à états. Il détaille la spécification TLA+ du problème, avec des variables w et b, une définition Init, des actions WW/BB/WB utilisant l'opérateur prime et UNCHANGED, et la formule Next qui combine les actions. Le modèle est vérifié par le vérificateur TLC en explorant états et transitions, en utilisant un fichier de configuration pour borner l'espace d'états et en contrôlant invariants et propriétés temporelles, la contrainte WF_vars assurant l'équité. L'analyse montre que la boîte ne peut jamais être vide et que la parité de b est invariante, donc si l'algorithme termine avec b = 1 alors b était impair initialement. L'article note que les LLM facilitent désormais la génération de spécifications TLA+ mais que l'ingénieur reste responsable de définir la correction, de comprendre la logique temporelle et de modéliser fidèlement le comportement du système.

20 May 2026

06:04

www.linusakesson.net Resume pret HTTP 200 Commentaires

The TTY Demystified (2008)

Le sous‑système TTY est au cœur de la conception de Linux et UNIX, issu de l'évolution des téléscripteurs et des télétypes utilisés d'abord pour la transmission des cours de bourse. Le noyau gère la compatibilité matérielle et les détails bas niveau (baud rate, parité, contrôle de flux) via des pilotes UART et des disciplines de ligne, la discipline par défaut N_TTY fournissant l'édition de ligne en mode canonique tandis que le mode brut laisse l'édition aux applications. Les terminaux modernes sont en grande partie émulés (console ou pty) et la gestion de session, du groupe de processus au contrôle d'arrière‑plan, est assurée par le pilote TTY et les fichiers de périphérique (/dev), le pilote étant un objet passif manipulé par des processus. La communication asynchrone entre noyau et processus repose sur des signaux spécifiques (notamment SIGHUP, SIGINT, SIGQUIT, SIGPIPE, SIGCHLD, SIGSTOP, SIGCONT, SIGTSTP, SIGTTIN, SIGTTOU et SIGWINCH) qui servent au contrôle de session, à la suspension/réactivation des jobs et à l'adaptation à des changements tels que la taille de la fenêtre. Le système gère également le contrôle de flux et l'E/S bloquante (XON/XOFF et tampons noyau), et l'interface termios (utilisable via stty) permet de configurer les paramètres du TTY comme l'écho, le mode canonique, les caractères spéciaux et la taille du terminal.

20 May 2026

06:04

www.natesilver.net Resume pret HTTP 200 Commentaires

Disney erased FiveThirtyEight

En 2025, l’auteur a constaté que les archives de FiveThirtyEight issues de sa décennie chez Disney/ESPN/ABC avaient disparu du site, aboutissant à une redirection vers ABC News. Il replace cette disparition dans le contexte du « link rot » en rappelant que de nombreux liens et contenus en ligne se détériorent avec le temps, tandis que l’Internet Archive reste une solution partielle. Il retrace la trajectoire du projet depuis son lancement indépendant en 2008, son passage au New York Times, puis son intégration chez ESPN/Disney et ABC News, en expliquant les arbitrages contractuels et éditoriaux. Il critique l’absence d’investissement stratégique de Disney/ABC, le refus d’une stratégie d’abonnement, les coupes de personnels et des décisions techniques qui ont fragilisé la marque avant sa fermeture en mars 2025. Depuis, il a lancé Silver Bulletin pour recréer des produits clés, tenté sans succès de racheter l’IP et déplore la perte ou la dépréciation d’un important volume de travail produit pendant les années FiveThirtyEight.