HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11293 articles Page 25/1130 Sans filtre

The Heilbronn Problem

Le site recense des configurations optimales connues qui maximisent la plus petite aire de triangle formée par trois points placés dans des régions de surface unitaire. Trois conteneurs classiques sont étudiés: le carré, le triangle et les régions convexes optimales. Chaque entrée fournit des coordonnées exactes, une analyse de symétrie et de congruence, des références à des preuves publiées, et un vérificateur arithmétique rationnel intégrable au navigateur. La page publie aussi les dix améliorations récentes et propose un flux Atom pour les nouveaux records. Les meilleures valeurs connues sont présentées tronquées à huit décimales, avec un symbole ▲ indiquant les cas d'optimalité prouvée.

VGHF Digital Archive passes 5000 magazines. Here's what's next

L'organisation a ajouté plus de 5 000 magazines à son archive numérique, portant la collection à près de 600 000 pages et couvrant la période 1981–2026. Environ un tiers des numérisations ont été réalisées par la fondation et le reste provient de groupes communautaires, de contributeurs individuels et d'anciens collaborateurs, permettant d'intégrer environ 60 % de la collection physique cataloguée. L'archive est déjà devenue une référence pour la recherche en histoire du jeu vidéo, avec plus de 500 citations sur Wikipédia et une adoption rapide par les chercheurs. Un projet pilote vise désormais à intégrer des magazines japonais en commençant par Neo Geo Freak, avec des améliorations techniques pour l'OCR japonais, le filtrage par langue, l'affichage en sens de lecture approprié et l'indexation des principaux articles en anglais. Les responsables demandent des retours et recherchent des volontaires parlant japonais pour indexer d'autres publications, et prévoient d'ajouter encore plusieurs dizaines de milliers de pages dans les prochaines années.

Magic Switch: Share Apple Magic keyboard/track-pad/mouse between two Macs

L'auteur décrit Magic Switch, une application macOS gratuite et open-source permettant de partager un Apple Magic Keyboard, Trackpad ou Mouse entre deux Mac sans identifiant Apple ni réappairage USB. Après un séjour à Taïwan, il raconte sa décision de réaménager son appartement et d'acheter un bureau debout pour soulager des douleurs dorsales probablement liées au syndrome d'Ehlers-Danlos. Il expose la limite des périphériques Apple qui refusent d'être appairés sur plusieurs machines sans compte Apple et présente blue-switch, un prototype utilisant mDNS et un canal TCP en clair pour forcer le basculement, mais sans sécurité ni robustesse. Pour résoudre cela il a développé Magic Switch avec une liaison mutuellement authentifiée basée sur un code à 12 caractères et PBKDF2, des clés de session via HKDF, des messages scellés ChaCha20-Poly1305 et des protections contre les attaques et les échecs, afin d'assurer intégrité, confidentialité et résilience. L'application propose aussi une UX améliorée, la gestion fine des transferts individuels de périphériques, des comportements pour le sommeil et le mode clamshell, une interface dans la barre de menus et le code source disponible sur GitHub.

Emitting metadata early makes building/checking Rust up to twice as fast

La fonctionnalité headstart permet de démarrer la compilation des crates dépendantes dès que leur dépendance a produit une métadonnée précoce (.early-rmeta), sans attendre la vérification complète des corps de fonctions. Côté rustc, une option -Zearly-metadata scinde l'analyse entre interfaces d'items et corps de fonctions, écrit un .early-rmeta après les interfaces, et accepte puis échange les métadonnées complètes avant la génération de code. Côté cargo, l'option -Zheadstart lance les dépendants dès la notification de l'early-metadata, rend les créneaux de travail d'un compilateur mis en pause réutilisables et n'annonce la sortie d'une crate que si ses dépendances ont réussi. Sur des projets réels et des machines 16 cœurs, headstart accélère jusqu'à 54% les vérifications (cargo check) et 42% les compilations (cargo build) en builds propres, avec des gains moindres sur machines moins parallèles et une augmentation de l'utilisation mémoire. Le prototype est accompagné de tests et de scripts de benchmark qui valident l'égalité des diagnostics et des binaires, mesurent les performances et la mémoire, et documentent le fonctionnement, les limites et la préparation pour une proposition upstream.

cp: -r or -R?

Une question sur la différence entre -r et -R a récemment été relancée et l'auteur a consulté l'historique pour en conserver la trace. Le premier commit de GNU coreutils (1992) montre des comportements distincts : -r définissait flag_copy_as_regular=1 tandis que -R définissait flag_copy_as_regular=0. En 2002 les options ont été fusionnées dans coreutils, de sorte que la différence historique est devenue sans objet pour les versions récentes. OpenBSD et NetBSD préfèrent l'usage de -R, découragent -r et conservent néanmoins quelques différences de comportement dans le code. POSIX a adopté -R en le recommandant pour la cohérence entre utilitaires et a retiré -r de la spécification.

Page Table Memory Consumption

Linus Torvalds a défendu les tables de pages arborescentes en arguant que les entrées contiguës remplissent plusieurs entrées TLB par ligne cache, contrairement aux tables de hachage qui dispersent les voisins. Les tables de pages multiniveaux ont été adoptées pour réduire la latence tout en prenant en compte l'efficacité mémoire, mais cet équilibre a été remis en question par des cas réels. Des rapports et correctifs récents montrent que lorsque de nombreux espaces d'adresses mappent la même région (par exemple pilotes réseau zéro-copie ou grandes zones partagées de bases de données), les PTE se multiplient et peuvent consommer autant de mémoire que les données mappées. On trouve de nombreux incidents documentés allant de limites de lowmem sur x86-32 à des serveurs Oracle et Postgres frappés par OOM, en passant par des accumulations de tables de pages causées par l'utilisation de MADV_DONTNEED, et des remèdes partiels comme les huge pages ou des propositions comme mshare. Sur les machines NUMA il faut choisir entre accéder à des tables de pages distantes au prix de la latence ou répliquer et synchroniser des copies locales, des compromis explorés par travaux comme Mitosis et Hydra.

Incentives in Academic Research

L'auteur affirme que les incitations actuelles dans la recherche académique ont détourné les résultats loin de l'objectif d'avancement scientifique et de formation des nouvelles générations. Il signale des cas où la justesse des résultats, l'honnêteté des auteurs et leur curiosité face aux erreurs sont insatisfaisantes, certains chercheurs ne cherchant pas à corriger des conclusions erronées. En témoigne une situation où des auteurs ont reconnu des défauts d'évaluation mais ont refusé de rétracter l'article, privilégiant réputation et promotions sur la correction des erreurs. Il observe aussi que de nombreux doctorants semblent moins soucieux de la rigueur et de la précision qu'auparavant, illustrant cela par son propre embarras passé face à une erreur et par l'indifférence d'un étudiant récemment confronté à une évaluation incorrecte. L'auteur conclut qu'il ignore comment remédier à ce dysfonctionnement systémique et exprime sa tristesse devant l'érosion des normes de conduite scientifique.