HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

5965 articles Page 490/597 Sans filtre

07:07

Flip Distance of Convex Triangulations and Tree Rotation Is NP-Complete

Les flips dans les triangulations de polygones convexes apparaissent dans divers contextes et sont isomorphes aux rotations d’arbres binaires, définissent des arêtes dans la 1-skeleton de l’Associahedron et les relations de couverture dans le Tamari Lattice. La complexité de déterminer le nombre minimum de flips nécessaire pour transformer une triangulation en une autre a longtemps été une question ouverte. L’article démontre que le calcul des séquences de flips les plus courtes entre triangulations de polygones convexes, et par extension la distance de rotation des arbres binaires, est NP-difficile. Pour établir ce résultat, les auteurs développent des techniques pour les séquences de flips de triangulations, s’appuyant sur des approches similaires à celles utilisées pour les arbres couvrants non croisés décrites par Bjerkevik, Kleist, Ueckerdt et Vogtenhuber (SODA25) et SoCG26. Ces travaux s’inscrivent dans un cadre qui mêle géométrie combinatoire et complexité, et clarifient la difficulté de calculer des séquences de flips dans ce contexte.

07:06

Making Firefox's right-click not suck with about:config

Après une installation fraîche de Firefox sur macOS et le surlignage de texte, le menu contextuel lors du clic sur une image est très chargé avec 26 éléments, dont 2 grisés, 7 séparateurs et 2 sous-menus, et un item « Ask an AI Chatbot ». L’auteur se demande pourquoi des options comme « Copy Clean Link » existent alors qu’un lien est déjà propre et pourquoi elles ne peuvent pas être par défaut remplacées par leur version propre. Pour nettoyer le menu, il liste des paramètres dans about:config qui peuvent être mis à false pour désactiver de nombreux boutons, tout en avertissant que certaines désactivations peuvent aussi couper d’autres fonctionnalités. Après ces réglages, le menu passe de 26 à 15 boutons, mais des éléments comme « Bookmark Link… », « Save Link As… », « Email Image… », « Set Image as Desktop Background… » et « Bookmark Page… » restent, leurs ellipses indiquant qu’un renseignement supplémentaire est nécessaire. Les options restantes ne peuvent être retirées que par un fichier utilisateur, userChrome.css, et l’auteur promet d’expliquer cela dans un prochain billet tout en suggérant qu’un outil comme « Customize Toolbar » serait utile pour une personnalisation plus simple.

07:06

Faster C software with Dynamic Feature Detection

Le texte examine comment accélérer des programmes C sensibles à la capacité du CPU en utilisant une détection dynamique des fonctionnalités matérielles plutôt que de se limiter à une seule architecture. Il recommande de compiler pour une architecture plus récente lorsque c’est possible et de proposer des versions adaptées selon le niveau de microarchitecture x86-64, comme v2, v3 ou v4. L’article présente les IFUNCs, qui permettent au linker dynamique de sélectionner la version optimale au démarrage via des résolveurs et des attributs tels que target_clones. Il décrit aussi l’optimisation manuelle par intrinsics, avec des variantes portable et intrinsics et un mécanisme de dispatch selon les capacités du processeur, parfois via des hacks spécifiques au compilateur. Enfin, il rappelle des limites pratiques, comme l’absence de support des IFUNC dans MUSL et les incertitudes autour de Windows et de MSVC pour ce type d’approche.

07:06

MyFirst Kids Watch Hacked. Access to Camera and Microphone

Gustaf Blomqvist a découvert une vulnérabilité grave dans une montre connectée destinée aux enfants. La montre avait un service réseau peu sécurisé accessible via Internet, permettant à un attaquant de prendre le contrôle total et d’utiliser ses fonctionnalités. Dans une démarche éthique, il démontre à quel point le piratage peut être simple et a choisi un modèle populaire avec beaucoup de fonctionnalités pour multiplier les surfaces d’attaque. Son travail décrit une méthode consistant à cartographier le système, comprendre son fonctionnement et identifier puis prioriser les faiblesses, qui sont ensuite combinées si nécessaire. Il a pu accéder à la caméra, au microphone et aux haut-parleurs, envoyer des messages et écouter l’environnement, ce qui illustre la difficulté de sécuriser ces montres pour enfants et incite le professeur Pontus Johnson à souligner les vulnérabilités des systèmes logiciels et de l’infrastructure numérique.

07:06

A bit of fluid mechanics from scratch not from scratch

L’auteur explore diverses notions de mécanique des fluides en vue de la microfluidique et cherche à réfléchir comme s’il repartait de zéro, en produisant une trace de pensée quasi en temps réel. Il s’interroge sur les gradients de pression statiques et sur l’effet de la gravité, se demandant comment une pression plus élevée en profondeur n’entraîne pas forcément une accélération du fluide. Le texte étudie le problème d’un réservoir avec un bec et discute de la façon dont l’écoulement peut accélérer malgré l’incompressibilité, remettant en cause l’idée que chaque tranche transversale ait une vitesse constante. Il évoque que la forme du conduit et l’amincissement de la section imposent des dynamiques complexes, susceptibles de créer des vortex, et que les vitesses ne peuvent pas être uniformes sur une coupe transversale à cause de l’accélération le long du conduit. Enfin, il classe les questions en statique, vitesse constante, états stationnaires et dynamique, et il envisage d’analyser les états stationnaires à partir des champs de pression, tout en reconnaissant la difficulté de relier ces champs à la vitesse.

07:06

Completing the formal proof of higher-dimensional sphere packing

Gauss a permis de formaliser, en 8 et 24 dimensions, que les réseaux E8 et Leech donnent les arrangements les plus denses de sphères non superposables. Ces résultats ont été initialement démontrés par Maryna Viazovska et ses coéquipiers, ce qui lui a valu la médaille Fields en 2022. Le processus de formalisation a commencé en 2024 avec une équipe menée par Sidharth Hariharan et Maryna Viazovska et a été étendu dans le cadre du projet Sphere Packing et Mathlib. En quelques jours, Gauss a prouvé automatiquement tous les résultats restants pour 8 dimensions, et en deux semaines, ceux pour 24 dimensions, faisant passer le total de 70 000 à environ 200 000 lignes. Elle illustre la façon dont la formalisation peut accélérer la recherche et soulève des enjeux sur l’organisation et la maintenance des connaissances mathématiques à l’échelle mondiale.