HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6331 articles Page 173/634 Sans filtre

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.

06:04

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.

06:03

Copy Fail, Dirty Frag, and Fragnesia kernel vulnerabilities

Le noyau Linux a récemment été affecté par une série de vulnérabilités d'élévation de privilèges, notamment Copy Fail, Dirty Frag et Fragnesia, et les découvertes semblent s'accélérer à court terme. Les équipes Gentoo Linux Kernel et Distribution Kernel s'efforcent de sécuriser les noyaux en empaquetant rapidement les versions upstream et en rétroportant les correctifs ou atténuations disponibles. Par exemple, alors que les versions upstream restaient vulnérables à Fragnesia, les noyaux Gentoo intègrent dès le premier jour le correctif Fragnesia v5 et d'autres mises à jour sont à prévoir. Seuls les paquets sys-kernel/gentoo-kernel, sys-kernel/gentoo-kernel-bin et sys-kernel/gentoo-sources bénéficient du support de sécurité, les paquets vanilla étant actuellement vulnérables et les autres paquets souvent plus lents à être mis à jour. Il est recommandé d'automatiser la mise à niveau du noyau et d'exécuter la version la plus récente (~arch ou LTS stable la plus récente), car l'amont ne rétroporte pas systématiquement les correctifs de sécurité vers les versions plus anciennes.