HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6424 articles Page 182/643 Sans filtre

06:06

AI, "Humanity", and Dr. Manhattan Syndrome: A Communications Intervention

En janvier, des rapports à la FEC ont révélé que Greg Brockman et son épouse ont fait un don de 25 millions de dollars à MAGA Inc., justifié par lui en termes de mission pour l'Humanité. L'article critique l'usage abstrait du concept d'Humanité par des dirigeants de l'IA, les comparant à Dr. Manhattan de Watchmen, alias des cadres puissants mais détachés des souffrances individuelles. L'auteur établit un parallèle avec la communication du secteur nucléaire (Atoms for Peace) pour montrer comment la rhétorique civilisatrice sans écoute a créé un déficit de confiance publique. Il oppose cette altitude rhétorique à l'approche de Steve Jobs, centrée sur l'utilisateur individuel, et soutient que la confiance se gagne en répondant à des préoccupations concrètes comme l'emploi, la vie privée et les droits d'auteur. Le texte appelle enfin les dirigeants et communicants de l'IA à redescendre au niveau des personnes, reconnaître les compromis et engager des dialogues spécifiques pour réparer la confiance avant qu'elle ne se cristallise.

06:05

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.

06:05

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.

06:05

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.

06:05

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.

06:04

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.

06:04

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.

06:04

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.