HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6954 articles Page 356/696 Sans filtre

06:06

A Renaissance gambling dispute spawned probability theory

Le problème des points consiste à partager équitablement un pot lorsque deux joueurs interrompent un jeu avant d'atteindre l'objectif, illustré ici par une partie de pile ou face où l'un mène 8 à 6 vers 10 points. Pacioli proposa de diviser le pot proportionnellement aux points déjà gagnés, solution critiquée par Tartaglia qui proposa plutôt de partager selon l'avance relative au total de points nécessaires, mais cette méthode a aussi des anomalies aux extrêmes. Pascal et Fermat montrèrent que la solution juste dépend des futurs possibles et de leur probabilité, Fermat en énumérant toutes les continuations et Pascal en introduisant un raisonnement par récurrence qui préfigure l'espérance. Pour l'exemple 8 à 6 vers 10, le calcul des issues aboutit à 26 victoires sur 32 pour le premier joueur, soit 81,25 % du pot, résultat équivalent obtenu par les deux méthodes. Cette idée d'espérance mathématique devint la base de la théorie des probabilités et reste essentielle aujourd'hui pour l'évaluation des risques et la prise de décision en finance, assurance et autres domaines.

06:06

Nev – keyboard focused GUI and terminal text editor

L'éditeur est développé en Nim et fonctionne à la fois dans le terminal et en interface graphique, avec une orientation clavier. Il intègre des outils développeur comme l'intégration Git, la coloration Treesitter, le support LSP, le débogage DAP et des plugins WASM. Le projet cible Windows et Linux, requiert ripgrep pour la recherche globale et propose des installations via releases ou compilation depuis la source. Certaines limitations actuelles incluent l'enregistrement UTF-8 sans retour chariot, l'installation manuelle des serveurs de langage et de débogage, et la nécessité d'Emscripten pour les parsers Treesitter. Le code est sous licence MIT, le projet est en développement actif et la contribution est encouragée via le dépôt et le serveur Discord.

06:06

Girl, 10, finds rare Mexican axolotl under Welsh bridge

Une fillette de dix ans, Evie, a découvert un axolotl mexicain niché parmi les rochers d'une rivière près de Merthyr Mawr lors d'une sortie familiale au Pays de Galles. Les spécialistes indiquent qu'il s'agit de la première observation documentée d'un axolotl à l'état sauvage au Royaume-Uni et que l'espèce compte entre 50 et 1 000 individus à l'état sauvage dans le monde. La famille a ramené l'animal à Leicester, l'a nommé Dippy et, après avoir consulté des experts, a obtenu l'autorisation de le garder en aménageant un aquarium plus grand. Des responsables du bien-être animal et du National Centre for Reptile Welfare ont mis en garde contre l'achat impulsif d'axolotls, la difficulté de leur entretien et l'interdiction de relâcher des espèces non indigènes dans la nature. Les experts estiment qu'Evie a probablement sauvé l'animal, qui présentait des lésions et aurait eu peu de chances de survie sans intervention humaine.

06:06

I spent years trying to make CSS states predictable

Le CSS traverse un problème fréquent où des états de composant qui se chevauchent (comme :hover et [disabled]) créent des conflits flous liés à la spécificité et à l'ordre source. L'auteur propose d'exprimer les états des propriétés de manière déclarative sous forme de maps et de laisser le compilateur générer la logique de sélecteurs déterministe. Tasty compile ces maps en sélecteurs mutuellement exclusifs, en excluant les états supérieurs via des négations pour qu'une seule branche puisse correspondre à la fois. Transformer l'idée en outil robuste a demandé des années de travail pour prendre en charge pseudo-classes, attributs, media et container queries, extensions, performances et API typées. Le résultat vise à rendre le comportement des composants plus prévisible, à faciliter les extensions et à réduire les régressions à grande échelle, et Tasty est déjà utilisé en production avec docs et playground disponibles.

06:06

Advanced Packaging Limits Come into Focus

L'emballage des semi-conducteurs est devenu une variable de performance clé influençant l'architecture système plutôt qu'une simple mise en œuvre en aval. La déformation des empilements (warpage), aggravée par l'augmentation des dimensions et l'hétérogénéité des matériaux, provoque la plupart des défaillances avancées et complique l'alignement et la manutention. L'utilisation de portes en verre réduit la déformation et améliore la stabilité dimensionnelle mais introduit de nouvelles fragilités, notamment les dommages de bord et les microfissures difficiles à détecter. Le bonding hybride à pitch réduit et les procédés d'amincissement rendent les rendements très sensibles aux particules, aux contraintes mécaniques et aux variations d'épaisseur et de résidus des couches temporaires. Les limites des substrats traditionnels poussent vers des formats panneaux et d'autres solutions, mais la véritable contrainte est la discipline d'intégration des processus pour maîtriser simultanément matériaux, comportements mécaniques, histoire thermique et rendement.

06:05

Writing a C Compiler, in Zig (2025)

L'auteur a publié une série d'articles rédigés lors du développement de paella en s'appuyant sur le livre Writing a C Compiler de Nora Sandler. L'objectif principal était d'apprendre le langage Zig tout en occupant le temps pendant une période de transition professionnelle. Les textes n'ont pas été relus en profondeur et n'ont été corrigés que pour réparer quelques liens cassés. La série couvre dix chapitres allant de l'introduction aux opérations unaires et binaires, en passant par la logique, les variables, les conditions, les blocs, les boucles, les fonctions et la liaison. Si l'auteur poursuit l'ouvrage, d'autres comptes rendus seront publiés à la suite de cette série.