HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6614 articles Page 238/662 Sans filtre

06:07

From Buffon's Needle to Buffon's Noodle

On place au hasard un segment de longueur L sur un plan muni de lignes parallèles espacées de W et on note X1 le nombre de lignes franchies; l'objectif est de calculer f(L)=E[X1]. En lançant deux segments de longueurs L1 et L2, la linéarité de l'espérance donne f(L1+L2)=f(L1)+f(L2), d'où f est additive, croissante et nulle en 0, donc f(L)=cL pour une constante c≥0. En soudant ou en pliant le segment en une courbe polygonale puis en passant à la limite, on montre que l'espérance du nombre d'intersections dépend seulement de la longueur de la courbe. Pour déterminer c, on considère le cas particulier d'un cercle de rayon W/2 qui, presque sûrement, coupe exactement une ligne en deux points, donc l'espérance du nombre d'intersections vaut 2. Comme la circonférence de ce cercle est L=πW, on obtient c=2/(πW) et donc pour un segment droit on retrouve la formule classique E[X]=2L/(πW).

06:07

A look at Denver’s “Unlocking Housing Choices” plan

Le quartier de l'auteur à Denver connaît une gentrification marquée depuis une décennie et surtout depuis 2022, avec des maisons anciennement abordables remplacées par de vastes résidences à plusieurs millions de dollars. L'auteur et sa famille ont rénové une maison achetée à prix modéré, mais observent que la plupart des pavillons sont démolis pour être remplacés par des McMansions, ce qui creuse l'écart entre anciens et nouveaux habitants. Le zonage unifamilial actuel interdit le morcellement des lots et rend difficile la construction de plusieurs petites unités abordables sur une parcelle, transformant l'option financière en McMansion ou rien. Le projet municipal "Unlocking Housing Choices" propose trois approches: limiter la taille des logements tout en autorisant plus d'unités, permettre de nouvelles constructions importantes en arrière‑de‑terrain pour conserver les maisons de devant, et accorder davantage d'unités en contrepartie d'unités légalement abordables. L'auteur se dit favorable aux deux premières idées mais sceptique sur l'efficacité des unités pérennement abordables sans ratios attractifs pour les promoteurs, et il recommande aussi de simplifier les permis et d'élaborer des plans préapprouvés pour accélérer la construction des logements souhaités.

06:06

Counting Fast in Erlang with:counters and:atomics

L'article présente deux structures récentes d'OTP, :atomics et :counters, conçues comme des échappatoires au modèle de processus d'Erlang pour gérer de la mémoire partagée mutable. :atomics fournit un tableau hors-heap de nombres 64 bits partagés et mutables avec des opérations atomiques (add_get, exchange, compare-and-swap) et garantit un ordre de visibilité séquentiel entre cellules. :counters est un tableau réparti par scheduler où chaque écriture est locale au scheduler (option :write_concurrency), ce qui donne des écritures très rapides tandis que les lectures additionnent les cellules et n'offrent qu'une cohérence éventuelle. Des benchmarks montrent qu'ETS décline quand le nombre d'écrivains dépasse les cœurs disponibles, alors que :atomics et :counters maintiennent de meilleures performances et que :counters scale bien avec l'augmentation des écrivains jusqu'au nombre de cœurs. La recommandation est d'utiliser :atomics quand on a besoin de primitives atomiques et de garanties séquentielles (par exemple pour le rate-limiting de Broadway) et :counters en mode :write_concurrency pour des compteurs très écrits et peu lus, illustrant la philosophie d'Erlang de fournir des primitives étroites et performantes comme échappatoires au modèle par processus.

06:06

A consistent pattern of lying': trial exposes what insiders think of Sam Altman

Le procès Musk contre OpenAI, qui en est à sa troisième semaine, a forcé l'entreprise à rendre publiques des parties controversées de son ascension. Les avocats de Musk ont produit des témoignages d'anciens dirigeants, des messages texte et des courriels internes pour présenter Sam Altman comme peu fiable, ce que Altman et OpenAI contestent. L'affaire porte officiellement sur l'accusation selon laquelle OpenAI et Altman ont violé un accord fondateur en transformant la structure de l'organisation d'une entité à but non lucratif en société à but lucratif. Des témoins tels que Mira Murati, Helen Toner, Natasha McCauley et Ilya Sutskever ont décrit des problèmes de leadership et d'honnêteté chez Altman, et Satya Nadella a critiqué le conseil d'administration pour l'instabilité provoquée lors du renvoi puis de la réintégration d'Altman en 2023. Musk demande le renvoi d'Altman et de Greg Brockman, la redistribution de 134 milliards de dollars à la branche à but non lucratif et l'annulation du statut lucratif, et les plaidoiries finales sont prévues jeudi.

06:06

Software engineering may no longer be a lifetime career

L'auteur soutient qu'il n'existe pas de preuve convaincante qu'utiliser l'IA rende globalement moins intelligent, mais que s'en servir pour accomplir une tâche réduit l'apprentissage de cette tâche. Certains ingénieurs affirment que cette perte d'apprentissage conduira à une atrophie des compétences techniques et que cela justifie de ne pas employer l'IA, argument que l'auteur juge insuffisant. Même si l'IA rendait les ingénieurs moins efficaces à long terme, l'auteur argue que des pressions économiques et concurrentielles peuvent obliger à l'utiliser, à l'image des travailleurs de la construction qui doivent porter des charges lourdes ou des charpentiers qui adoptent les outils électriques. Il prévient que la profession pourrait connaître une durée de vie professionnelle réduite comparable à celle des athlètes professionnels et conseille de prévoir cette éventualité en planifiant sa carrière. Enfin, il note des débats publics et des réactions vives, évoque les inquiétudes sur la perte de compréhension du code et l'incertitude à long terme, et mentionne la résurgence rhétorique luddite ainsi que des actes violents autour des datacenters.

06:06

Show HN: E2a – Open-source email gateway for AI agents

La passerelle reçoit les e‑mails en les livrant comme webhooks ou via WebSocket, permet l'envoi via une API HTTP et vérifie l'identité des expéditeurs humains et agents. Les messages entrants subissent des vérifications SPF/DKIM et chaque livraison inclut des en‑têtes X‑E2A‑Auth‑* signés par HMAC liant expéditeur, empreinte du corps et identifiant du message, vérifiables localement par les SDK. Deux modes de livraison existent : cloud (webhook HTTPS, URL publique requise) et local (notification WebSocket sans URL publique), le mode local accumulant les messages non lus jusqu'à reconnexion. L'API sortante relaie le courrier vers d'autres agents ou vers des destinataires humains via SMTP, avec un mécanisme human‑in‑the‑loop optionnel qui met les messages en attente d'approbation via dashboard, lien magique ou CLI et gère l'expiration automatique. Le projet est open source, s'installe en hébergé ou en auto‑hébergé (quickstart Docker), fournit CLI et SDKs TypeScript/Python, applique protections SSRF/OAuth/rotation de secrets et conserve les corps/enveloppes en base 30 jours avec outils d'exportation et suppression pour conformité.

06:05

The Boston library where you still can borrow a giant puppet

Une bibliothèque de marionnettes se trouve dans le sous-sol de l'Emmanuel Church à Boston et prête gratuitement ses pièces au public. Sara Peattie, marionnettiste bostonienne qui a commencé avec le collectif Bread & Puppet, gère l'opération et a contribué à fonder le Puppeteers' Cooperative avec George Konnoff. Le prêt fonctionne de façon simple avec un registre papier où les emprunteurs s'inscrivent et les objets sont rendus sous peine de relances téléphoniques. Les marionnettes sont fabriquées principalement en papier mâché, tissu, fil de fer et bambou, créées rapidement malgré leur apparence élaborée grâce à des techniques rudimentaires. La bibliothèque, qui soutient une communauté de marionnettistes active et collaborative, est ouverte au public le mardi de 14h à 19h.