HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6148 articles Page 458/615 Sans filtre

16 Mar 2026

07:07

dashbit.co Resume pret HTTP 200 Commentaires

Type systems are leaky abstractions: the case of Map.take!/2

L’article examine comment ajouter un système de types à un langage dynamique et utilise Map.take!/2 comme exemple des restrictions que les systèmes de types peuvent imposer à l’expressivité des programmes. Il rappelle que Map.take/2 renvoie uniquement les clés présentes et que Map.take!/2 viserait à lever une KeyError si une clé manque, posant ainsi un problème de signature de type plus précise. Des tentatives en TypeScript montrent que des signatures comme Pick et des unions rendent les types fragiles ou insuffisants lorsque les clés varient dynamiquement, menant à des incohérences entre typage et exécution. Différentes pistes sont discutées, notamment des signatures distribuées, as const, et même des macros, qui pourraient garantir la sécurité des clés mais complexifient le système et son ergonomie. Le texte conclut que les programmes dynamiques restent expressifs mais difficiles à vérifier statiquement, et qu’il faut peser les compromis entre expressivité, complexité et outils comme les macros.

16 Mar 2026

07:06

github.com Resume pret HTTP 200 Commentaires

Clock-accurate FPGA replacement for NES PPU

Il décrit un remplacement FPGA bon marché et à horloge précise du PPU, obtenu par rétro-ingénierie. Le concepteur visait une alternative FPGA à bas coût au RGB-PPU, car le design d'origine nécessitait une carte à 4 couches coûteuse. La solution utilise une PCB double face de taille NESRGB et un FPGA Cyclone I EP1C3T100C8N en boîtier 100 broches, avec un DAC R2R discret et une gestion de couleur en six bits plus un bit d'accentuation par canal. Le prototype intègre trois palettes internes basculables par des jumpers, et peut supporter jusqu’à quatre palettes sans augmenter le nombre de pins FPGA utilisés. La documentation comprend des projets et des fichiers pour Lattice et Quartus, des instructions JTAG imposant le chargement du fichier jic et des informations sur les ressources utilisées par les CYCLONE I et le LCMXO2-1200H.

16 Mar 2026

07:06

towlion.github.io Resume pret HTTP 200 Commentaires

An experiment to use GitHub Actions as a control plane for a PaaS

Il s’agit d’une plateforme auto-hébergée qui transforme un serveur Debian unique en une machine de déploiement multi‑applications, avec GitHub comme plan de contrôle. Un script bootstrap installe Docker, Caddy, PostgreSQL, Redis et Grafana, rendant la plateforme prête à l’emploi. Il est possible de créer une application à partir d’un modèle et de pousser pour déclencher le déploiement via GitHub Actions. La solution permet un hébergement multi‑applications sur un seul serveur avec des sous-domaines, des bases de données, du stockage et des conteneurs isolés. Elle offre un TLS automatique, une observabilité intégrée et des sauvegardes quotidiennes, avec des mises à jour de sécurité et des règles de pare-feu préconfigurées.

16 Mar 2026

07:06

simonwillison.net Resume pret HTTP 200 Commentaires

What is agentic engineering?

Le texte présente l’ingénierie agentique comme la pratique consistant à développer des logiciels avec l’aide d’agents capables d’écrire et d’exécuter du code. Ces agents fonctionnent en boucle, appelant une LLM, fournissant des définitions d’outils et utilisant les outils demandés pour atteindre un objectif. Pour le codage, l’exécution du code est la capacité déterminante qui permet d’itérer et de démontrer que le logiciel fonctionne réellement. L’auteur rappelle que, même avec des agents générant du code, l’humain décide du problème à traiter, des choix et des compromis, et doit guider le processus avec précision. Le texte insiste sur l’amélioration via l’instruction et le montage des outils, l’apprentissage continu et l’ambition accrue, tout en distinguant le vibe coding du code destiné à la production.

16 Mar 2026

07:06

ulmer457718.substack.com Resume pret HTTP 200 Commentaires

A Plain Anabaptist Story: The Hutterites

Tout commence à Zurich en 1525 lorsque Conrad Grebel, Felix Manz et un petit groupe pratiquent les baptêmes adultes en rupture avec l'Église catholique et l'établissement réformé, plaidant pour une séparation entre Église et État. Les autorités persécutent ces groupes et les morts se multiplient; le Martyrs Mirror, publié pour la première fois en 1660, rassemble leurs exécutions et leurs témoignages. De ce terreau émergent trois mouvements, dont les Hutterites, qui instaurent la Gütergemeinschaft et des Bruderhöfe sous Jakob Hutter en Moravie entre 1530 et 1590. Après des périodes de déclin et de persécution, un renouveau survient en 1755 à Alwinz grâce à des réfugiés luthériens, la communauté des biens est rétablie en 1761, et la population se déplace ensuite vers la Russie puis vers l’Amérique du Nord. Aujourd’hui, environ 58 000 Hutterites vivent dans 544 colonies en Amérique du Nord, répartis entre Schmiedeleut, Dariusleut et Lehrerleut, et la fécondité a fortement décliné depuis son pic du milieu du XXe siècle pour se situer autour de 3–4 enfants par femme.

16 Mar 2026

07:05

keubiko.substack.com Resume pret HTTP 200 Commentaires

Nasdaq's Shame

L’article décrit une consultation de Nasdaq sur une refonte potentielle de la méthodologie du Nasdaq-100, incluant une entrée rapide des nouvelles entreprises et une révision des seuils de flottant. Il est proposé d’appliquer un multiplicateur de 5 fois au poids des actions à faible flottant (moins de 20 %), ce qui augmenterait leur pondération même si une grande partie des actions est verrouillée. Un exemple centré sur SpaceX est utilisé pour illustrer comment une IPO et un flottement restreint pourraient entraîner des achats passifs massifs lors de la période de rééquilibrage. L’article met en garde contre des distorsions potentielles du marché et une pression haussière artificielle résultant de l’achat forcé par des fonds indiciels lorsque le flottement se libère. Enfin, l’auteur exprime des doutes sur ces propositions, affirme ne pas être en train d’accuser quelqu’un et appelle à la vigilance des investisseurs et des régulateurs.

16 Mar 2026

07:05

zzk273.github.io Resume pret HTTP 200 Commentaires

Learning athletic humanoid tennis skills from imperfect human motion data

Nous présentons LATENT, un système qui apprend des compétences athlétiques de tennis chez l'humanoïde à partir de données de mouvement humain imparfaites. Les données utilisées se limitent à des fragments de mouvement capturant des compétences primitives plutôt que des séquences précises et complètes, ce qui facilite la collecte. L'idée clé est que, malgré leur imperfection, ces données quasi-réalistes fournissent des préalables sur les compétences primitives humaines dans des scénarios de tennis. Grâce à des corrections et à des compositions, la méthode apprend une politique humanoïde capable de frapper régulièrement les balles entrantes dans diverses conditions et de les renvoyer vers des emplacements cibles tout en préservant un mouvement naturel. Des stratégies robustes de transfert sim-to-real sont proposées et la politique est déployée sur le robot humanoïde Unitree G1, permettant des rallies multi-tirs avec des joueurs humains en conditions réelles.

16 Mar 2026

07:05

www.cl.cam.ac.uk Resume pret HTTP 200 Commentaires

ASCII and Unicode quotation marks (2007)

Le document explique que le grave accent ASCII 0x60 et l’apostrophe ASCII 0x27 ont été utilisés comme guillemets directionnels dans les anciennes fontes X Window, ce qui donnait une typographie étrange sur les systèmes modernes. Les normes Unicode et ISO 10646 distinguent clairement les caractères d’apostrophe et de guillemets, et recommandent d’utiliser des guillemets typographiques et l’apostrophe U+2019 plutôt que les formes ASCII. Il conseille aux auteurs de logiciels Unix de remplacer le 0x60 par 0x27 des deux côtés et, lorsque l’UTF-8 est disponible, d’employer des guillemets directionnels. Le texte propose des méthodes pratiques pour corriger le code et les documents, notamment grep et perl pour substituer les caractères, tout en précisant que le backtick du shell n’est pas concerné. Enfin, il indique que des fontes X mises à jour corrigent ces problèmes et suggère l’utilisation du package upquote dans LaTeX pour mapper correctement les guillemets et l’apostrophe.