HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

12026 articles Page 617/1203 Sans filtre

Typst 0.15.0

La version 0.15 apporte de nombreuses évolutions du langage et du compilateur, dont le support des polices variables, l'export MathML pour les équations et une cible d'export expérimental nommée bundle permettant de produire plusieurs fichiers (HTML, PDF, PNG, SVG et ressources) à partir d'un même projet. L'export HTML a été refondu pour générer automatiquement des équations en MathML, ajuster la collecte des paragraphes et modifier le comportement des éléments box et block afin d'éviter l'apparition de balises p inattendues et d'harmoniser les sorties paginées et web. Un nouveau type de chemin de fichier permet de passer des chemins relatifs au projet entre fichiers et paquets, la CLI cesse de supporter les chemins non-Unicode et impose l'utilisation de barres obliques avant sur Windows pour garantir la portabilité. Le moteur de mise en page conserve désormais plus d'informations de baseline, corrige des problèmes d'alignement et de centrage des listes, améliore la gestion des délimiteurs et des classes en mathématiques, et intègre une mise à jour des fontes avec quelques changements de rendu mineurs. La version ajoute aussi les couleurs de séparation (spot colors), la prise en charge de bibliographies multiples, la commande typst eval qui remplace typst query, des validations plus strictes et plusieurs suppressions/dépréciations signalées dans le guide de migration à consulter avant la mise à jour.

Age Verification in Monolith OS

En octobre 2025, la loi californienne Digital Age Assurance Act (AB 1043) impose aux systèmes d'exploitation de collecter l'âge des utilisateurs et de fournir une API indiquant si un utilisateur est mineur ou majeur. L'entreprise MONOLITH, se déclarant attachée à l'inclusivité, a conçu le système de vérification d'âge MAGE afin de se conformer à AB 1043 tout en continuant à desservir les utilisateurs californiens. MAGE est présenté comme un sous-système de niveau entreprise, conforme aux exigences légales, et expose aux applications une API retournant MAGE_UNAVAILABLE, MAGE_MINOR ou MAGE_ADULT. L'API inclut une énumération des réponses et une fonction mage_verify() que les applications peuvent appeler pour connaître le statut d'âge de l'utilisateur. MONOLITH encourage une utilisation responsable de ces informations et décline toute responsabilité en cas de fausses déclarations des utilisateurs.

Teenagers Stayed Overnight at Their School and Found Hidden Ancient Roman Ruins

En janvier 2021, des lycéens à Rome ont découvert par hasard, en accédant à une cave, l'entrée d'une vaste domus romaine ornée de fresques et de stucs. La Superintendance spéciale de Rome a lancé des fouilles en septembre 2025, présentées au public le 28 mai, qui ont daté l'habitation au milieu du IIe siècle de notre ère. Les pièces, majoritairement souterraines, sont exceptionnellement bien conservées et révèlent mosaïques, décors floraux et figures humaines ainsi que de nombreux objets réunis dans 48 caisses. Des inscriptions relevées sur des conduites en plomb ont permis d'identifier d'anciens occupants nommés L. Fabius Gallus et Umbria Albina, tandis que des graffitis modernes témoignent d'occupations et d'explorations du XXe siècle. Les fouilleurs estiment que le bâtiment est plus étendu et souhaitent obtenir des financements pour poursuivre les travaux et ouvrir le site aux élèves et au public.

Laser Phase Plate Cryo-Electron Microscopy

Des équipes de l'UC Berkeley et du Biohub ont développé un laser phase plate qui utilise un faisceau lumineux continu concentré environ 100 millions de fois plus intense que la surface du Soleil pour décaler la phase des ondes d'électrons et augmenter le contraste en cryo-EM. L'appareil repose sur une cavité de Fabry-Pérot qui multiplie l'intensité par réflexions successives, des miroirs polis à moins d'un angström et un réglage nanométrique, et une variante à deux lasers (xLPP) répartit la puissance et réduit les artefacts de double image. Les expériences montrent une amélioration reproductible du contraste et de la résolution, notamment une augmentation de résolution jusqu'à 44% selon les jeux de données, une image d'apoferritine à 1,8 Å et des gains visibles pour des protéines comme l'hémoglobine ainsi que pour des bactéries congelées. Cette avancée est particulièrement prometteuse pour la tomographie cryo-ET car elle devrait permettre d'observer des protéines dans leur environnement cellulaire natif et d'accroître considérablement la fraction du protéome humain accessible in situ. Biohub a investi pour rendre la technologie reproductible dans un microscope Krios, partage les tomogrammes via un portail public et intègre ces images à son initiative Virtual Biology pour entraîner des modèles d'IA, tout en précisant que des validations supplémentaires sont encore nécessaires avant un déploiement généralisé.

Boot Naked Linux

L'auteur décrit un projet visant à démarrer un noyau Linux pour n'exécuter qu'un seul processus et le faire en moins d'une seconde. Il montre un petit programme init en C qui affiche un message puis déclenche l'arrêt via reboot(RB_POWER_OFF) pour éviter que le noyau ne panique si init se termine. Il explique comment empaqueter un binaire statique dans un initrd compressé avec cpio/gzip, tester le tout dans QEMU/KVM et accéder aux périphériques via devtmpfs pour lire un disque virtuel. Il donne aussi des instructions pour créer une clé USB bootable UEFI en utilisant ukify pour générer un exécutable EFI unifié et pour construire un noyau minimal via make tinyconfig et menuconfig en activant les options nécessaires. Il conclut que cette approche réduit la taille et le temps de démarrage ainsi que la surface d'attaque, mais nécessite d'adapter le noyau et la configuration selon la plateforme, et annonce une suite sur la gestion des données structurées.

Factoring "short-sleeve" RSA keys with polynomials

Des chercheurs ont découvert des clés RSA dont les bits privés sont fortement biaisés vers 0, rendant certaines clés détectables et rapidement factorables. Ces "short-sleeve" moduli montrent des blocs réguliers de zéros intercalés avec des données aléatoires, et l'un des motifs a été attribué à un bogue de CompleteFTP qui copiant des octets dans des mots de 32 bits a laissé des parties de limb non remplies. En fouillant des journaux publics et en rétro-ingénierie du code .NET, l'équipe a récupéré 603 clés RSA et 74 clés DSA vulnérables générées par les versions affectées de CompleteFTP et a suivi l'évolution du problème dans le temps. L'attaque exploite la structure limb en représentant les entiers comme des polynômes à petits coefficients, en factorisant ces polynômes facilement puis en évaluant les facteurs en base 2^w pour reconstituer les facteurs premiers p et q. Le fournisseur a publié des correctifs et des outils de détection, mais un des motifs reste inexpliqué et cette étude illustre comment l’observation des défaillances réelles inspire de nouvelles techniques cryptanalytiques.

How memory safety CVEs differ between Rust and C/C++

Le texte explique que les CVE cataloguent les vulnérabilités logicielles et que les plus graves proviennent souvent d'une insécurité mémoire pouvant conduire à des exploits. Un exemple en C avec curl_getenv(NULL) montre qu'un simple appel erroné peut provoquer un segfault, mais ce type d'UB est généralement attribué à une mauvaise utilisation du code applicatif plutôt qu'à la bibliothèque elle‑même. En Rust, en revanche, si un appel depuis du code sans unsafe provoque une erreur mémoire, la responsabilité est considérée comme étant celle de la bibliothèque et serait traitée comme un CVE. Le mot‑clé unsafe en Rust signale explicitement les points potentiellement dangereux et permet que, sauf bogue du compilateur ou usage d'unsafe, les API sûres ne puissent pas être mal utilisées pour introduire des erreurs mémoire. L'auteur conclut que comparer simplement le nombre de CVE entre Rust et C/C++ est trompeur car les critères d'attribution diffèrent et Rust permet une montée en échelle pratique de la sécurité mémoire.

OpenAI Losses Increased Nearly 8X in 2025, with Spending Hitting $34B

Des documents financiers audités consultés et vérifiés par le Financial Times indiquent qu'OpenAI a enregistré une perte d'environ 38,5 milliards de dollars en 2025. En 2024, la société a dégagé 3,7 milliards de dollars de revenus pour 12,48 milliards de dollars de coûts et charges, aboutissant à une perte nette attribuable à la société de 5,09 milliards de dollars. Pour 2025, OpenAI a déclaré 13,07 milliards de dollars de revenus et 34 milliards de dollars de coûts et charges, avec une perte d'exploitation de 20,92 milliards de dollars et une perte nette attribuable à la société de 38,53 milliards de dollars après ajustements liés à la conversion en entité à but lucratif et à des retraits de coûts attribués à des participations non contrôlantes. À la fin de 2025, OpenAI détenait un peu plus de 50 milliards de dollars d'actifs, dont presque la moitié en liquidités, et a reçu 867 millions de dollars de SoftBank et 303 millions de dollars de Microsoft, tandis qu'elle a payé environ 17,2 milliards de dollars à Microsoft et affichait 3,64 milliards de dollars de passifs envers ce dernier. Le journaliste annonce un suivi de l'enquête et souligne que la situation financière d'OpenAI lui semble profondément préoccupante compte tenu de pertes massives et d'une détérioration annuelle.