HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

3654 articles Page 190/366 Sans filtre

07:07

The Shape of Inequalities

Cet article explore des représentations géométriques des inégalités classiques HM-AM-GM-QM et propose des animations pour en saisir l’intuition. À travers des constructions comme deux cercles et une semicercle, il montre que les longueurs associées représentent GM, AM et QM et que GM ≤ AM ≤ QM, avec des égalités lorsque les grandeurs sont égales. Il étend l’idée avec des contenants en 2D et 3D, démontrant que, pour une somme fixée, l’aire ou le volume maximum est atteint par la configuration symétrique qui correspond à AM ≥ GM et AM ≥ HM. Le texte propose aussi une visualisation de la somme des carrés et de Nesbitt via des arrangements de figures géométriques, Nesbitt étant interprété à partir d’une inspiration de Viviani et du centre comme minimum. En conclusion, l’auteur remarque que les inégalités algébriques ne se traduisent pas toujours facilement en géométrie, mais que ces outils visuels révèlent la prééminence de la symétrie et l’élégance des structures mathématiques.

07:07

Afroman found not liable in defamation case

Un verdict en Ohio a déclaré Afroman non responsable pour diffamation ou invasion de la vie privée dans une affaire civile engagée par sept adjoints du shérif du comté d’Adams au sujet d’une vidéo musicale utilisant des images de leur raid sur son domicile. Foreman, de son vrai nom Joseph Foreman et connu pour « Because I Got High », a soutenu que la vidéo était un mélange de comédie et de liberté d’expression et non une affirmation factuelle contre les agents. Les adjoints avaient poursuivi en mars 2023, alléguant diffamation, invasion de la vie privée sous faux jour et détresse émotionnelle intentionnelle, et réclamaient environ 3,9 millions de dollars de dommages et intérêts. La vidéo montre le raid, y compris les agents qui font irruption et l’un d’eux qui regarde le gâteau au citron de la mère de Foreman avec une arme dégainée, et Foreman aurait ensuite publié les noms des officiers sur les réseaux sociaux. Après le verdict, Foreman s’est réjoui dans la cour, tandis que ses avocats soutenaient que la décision affirme la liberté d’expression et le commentaire social; l’affaire a duré plus de trois ans et a été accompagnée de publications en ligne pendant le procès.

07:07

EsoLang-Bench: Evaluating Genuine Reasoning in LLMs via Esoteric Languages

Le benchmark passe en revue 80 problèmes répartis sur cinq langages ésotériques, avec des données d'entraînement bien plus rares que pour Python. Cinq stratégies d'invite et deux systèmes de codage agentique sont évalués, et le meilleur modèle n'obtient que 3,8 % de précision globale contre environ 90 % sur les tâches Python équivalentes. Tous les modèles obtiennent 0 % sur les niveaux Medium, Hard et Extra-Hard, Whitespace reste totalement insoluble et l'auto-réflexion n'apporte pas de bénéfice notable. L'étude met en évidence un écart important entre les performances sur les benchmarks mainstream et la véritable capacité de raisonnement en programmation, suggérant que les capacités réelles sont bien plus limitées que les chiffres médiatisés. L'analyse montre des profils d'erreur propres à chaque langue, que le self-scaffolding domine les autres approches, et que les systèmes agentiques dotés d'interpréteurs réalisent environ le double des méthodes sans outils, sans toutefois atteindre les niveaux des langages classiques.

07:06

Wayland set the Linux Desktop back by 10 years?

L'article critique Wayland comme une mauvaise allocation de ressources et de temps au détriment des utilisateurs après 17 ans de développement. Il compare l'adoption à PipeWire, soulignant qu'un autre projet a connu une adoption beaucoup plus rapide en environ huit ans. Des critiques portent sur le modèle de sécurité perçu et sur le fait que certaines décisions techniques reposent sur des composants écrits dans des langages non sûrs pour la mémoire, tout en manquant d’interopérabilité. Il souligne que les gains de performance allégués ne se matérialisent pas clairement et que des ralentissements peuvent survenir selon le matériel et les pilotes. En conclusion, l'auteur prévoit que Wayland ne sera pas prêt pour une adoption généralisée et voit émerger des scénarios où X11 renaît ou un nouveau protocole remplace les deux, avec une fragmentation persistante.

07:06

An update on Steam / GOG changes for OpenTTD

Le texte résume les discussions entre OpenTTD et Atari concernant la réédition de Transport Tycoon Deluxe sur Steam et GOG. OpenTTD précise qu’il n’a pas été sous pression d’Atari pour effectuer des changements. Il est convenu que l’accès à OpenTTD sur ces plateformes sera conditionné à l’achat de Transport Tycoon Deluxe pour les nouveaux joueurs, tout en permettant le téléchargement gratuit d’OpenTTD depuis le site officiel. La décision cherche à équilibrer les intérêts commerciaux d’Atari avec la préservation d’une version libre et évolutive du jeu, sans retirer OpenTTD de Steam ou GOG pour éviter une disruption. Le texte rappelle l’importance de Transport Tycoon Deluxe pour OpenTTD, affirme l’indépendance du projet, et mentionne une contribution d’Atari ainsi que des dons du public pour soutenir l’infrastructure.

07:06

Kin: Semantic version control that tracks code as entities, not files

Il s’agit d’un système de contrôle de version sémantique qui remplace le modèle fichier-d’abord par un graphe d’entités et de relations, fournissant un contexte précis aux agents IA et aux développeurs. Cet outil n’est ni un simple assistant de codage ni une surcouche Git, mais une couche souveraine capable d’importer et d’exporter Git tout en restant autonome. Son architecture se déploie sur quatre plans — sémantique, projection, exécution et contrôle — et s’appuie sur une base de graphe et un dépôt de blobs pour les empreintes et signatures. Les benchmarks validés indiquent 69 victoires sur 70 face à l’exploration Git, avec environ 50% de temps d’exécution en moins et 44,6% de tokens en moins. Il prend en charge TypeScript/JavaScript, Python, Go, Java et Rust, et offre une intégration MCP (Model Context Protocol) ainsi que des mécanismes d’import/export avec Git.

07:05

Physicists Trace Sun's Magnetic Engine, 200k Kilometers Below Surface

Des chercheurs du NJIT analysent près de trois décennies de données d'oscillations solaires et proposent que le moteur magnétique du Soleil, le dynamo, se situe profondément sous sa surface, à environ 200 000 kilomètres. Ils relient les motifs de rotation internes, visibles comme des bandes migratoires en forme de papillon, à la migration des taches solaires au cours du cycle de 11 ans. En combinant les observations du MDI/SOHO, du HMI/SDO et du réseau GONG, ils ont analysé des milliards de mesures d'ondes sonores traversant le Soleil pour révéler sa dynamique interne. Le point clé est la tachocline, une fine couche de transition près de 200 000 km sous la surface, où la rotation change brusquement et peut alimenter les champs magnétiques. Ces résultats précisent l'importance d'inclure la tachocline dans les modèles de prévision de l'activité solaire et pourraient éclairer l'étude des cycles magnétiques d'autres étoiles.

07:05

Bombarding gamblers with offers greatly increases betting and gambling harm

Une étude randomisée menée par l’Université Central Queensland (Australie) et l’Université de Bristol (Royaume-Uni) montre que le marketing direct des jeux d’argent augmente l’activité de pari et les dépenses par rapport à ceux qui n’en sont pas exposés. Les participants qui n’ont pas reçu de marketing direct ont placé environ 23% moins de paris et dépensé 39% de moins que ceux qui en étaient exposés. L’étude révèle aussi que ces mêmes non-exposés présentent 67% de préjudices à court terme en moins que les exposés. Menée sur 227 participants sur deux semaines et publiée dans Addiction, elle établit un lien causal entre l’exposition et les dommages liés au jeu. Les auteurs appellent à des règles plus strictes sur le marketing des jeux d’argent, potentiellement à une interdiction du marketing direct pour mieux protéger les consommateurs.

07:05

Linux Page Faults, MMAP, and userfaultfd for faster VM boots

La mémoire virtuelle Linux repose sur des mappings virtuels traduits en adresses physiques par les tables de pages et gérés par le MMU. Lors d’un mmap anonyme, aucune page physique n’est allouée immédiatement et la VMA décrit la région sans backing concret. À la première utilisation, une faute de page est déclenchée, le noyau alloue une page physique, la remplit et met à jour les entrées de page avant que le processeur ne réessaie. Le type de mapping détermine quelles pages backing la région et comment elles se comportent vis‑à‑vis d’autres processus, par exemple copie sur écriture ou partage. Userfaultfd permet d’intercepter les fautes et de peupler les pages dans l’espace mapping existant, rendant possible la restauration lazy des VM sans remplacer la mapping.