HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11978 articles Page 363/1198 Sans filtre

Working on Economics with Fable 5

Ces derniers mois, l'auteur a élaboré une théorie économique en s'appuyant sur des exercices de données et sur des outils comme opus et fable pour confronter hypothèses et résultats. Le travail existe en deux versions : une présentation personnelle, visuelle et anecdotique, et une version formelle produite par fable qui reprend le cadre d'Acemoglu et Restrepo. La différence méthodologique majeure est la fusion des concepts d'augmentation et de réintroduction des tâches, l'idée étant qu'une tâche réapparue existait en potentiel mais devenait économiquement viable seulement après augmentation. L'auteur argue qu'une réserve infinie de tâches réintroduisables est improbable, en se fondant sur la faible propension marginale à consommer des plus riches et la saturation des besoins. Les deux versions conduisent à interprétations différentes sur les effets du progrès technologique, et l'auteur invite les lecteurs à consulter les deux textes et à donner leur avis.

wilsoniumite.com Resume pret HTTP 200 Commentaires

Show HN: Wyzer Programming Language

Wyzer est un langage de programmation statiquement typé, compilé et orienté ressources, intégrant une sécurité distribuée via la programmation chorégraphique et un modèle de mémoire Perceus. Il est motivé par le constat que Rust assure la sécurité mémoire au niveau d'un processus mais n'évite pas les blocages distribués, les incompatibilités de protocoles et les erreurs entre services. L'innovation principale consiste à appliquer une règle unique de propriété aux mémoires, threads, interruptions et réseaux, en combinant le comptage de références Perceus pour la mémoire et la chorégraphie pour générer des règles réseau vérifiables. Le langage favorise la simplicité et la transparence : immuabilité par défaut avec var/const explicites, gestion d'erreur par Result et match, absence de contrôle caché comme async/await, et transformations mémoire sûres quand une donnée a un seul propriétaire. Le projet est en phase de recherche avec des problèmes ouverts, la documentation est disponible pour apprendre Wyzer et les contributions sont encouragées via RESEARCH.md et le serveur Discord.

github.com Resume pret HTTP 200 Commentaires

Show HN: textlog – A quiet, text-only microblogging platform, open-source, no JS

C'est un journal social simple permettant d'écrire de courtes notes, de suivre des personnes et des hashtags et de participer à des conversations sans transformer chaque pensée en performance. Les notes sont limitées à 280 caractères pour favoriser la rapidité d'écriture et de lecture en se concentrant sur une idée à la fois. La plateforme est volontairement minimale et axée sur le texte, sans mécanismes d'engagement destinés à pousser la recherche d'audience. Les profils et les notes sont publics, l'inscription est gratuite et il est possible de télécharger ou de supprimer ses données, avec une option de don pour soutenir le service. Des règles de bonne conduite demandent le respect et interdisent le harcèlement, le spam et l'usurpation d'identité, et l'équipe peut modérer ou supprimer du contenu mettant la communauté ou le service en danger.

textlog.cc Resume pret HTTP 200 Commentaires

Möbius-Strip Crosswords

Le texte retrace des mentions de Robert Guilbert Sr. et de son prétendu jeu de mots croisés Pago Pago, signalant que l'origine et la nature exacte du projet restent incertaines dans la documentation imprimée. La supposition selon laquelle Pago Pago était un « crossword infini » sur une bande de Möbius provient d'une interprétation du fils Jonathan et a été reproduite ensuite dans des thèses, livres et articles récents. L'auteur examine la géométrie de puzzles non orientables et connexes (tore, bouteille de Klein, bande de Möbius) et montre que la non-orientabilité impose de fortes contraintes typographiques, car les lettres se reflètent en parcourant la bande. Pour contourner ces contraintes, l'auteur propose un dispositif en escalier diagonal utilisant des lettres à symétries appropriées et fournit un exemple de grille sur une bande de Möbius, tout en reconnaissant la mauvaise qualité et la répétition des solutions. L'article conclut en demandant des informations supplémentaires sur le projet Pago Pago et en invitant les lecteurs à contacter l'auteur s'ils possèdent des documents ou des témoignages.

quuxplusone.github.io Resume pret HTTP 200 Commentaires

New Mexico court orders Meta to pay $567m over harms to children’s mental health

Un tribunal du Nouveau-Mexique a ordonné à Meta de verser 567 millions de dollars dans un fonds visant à réparer les effets négatifs sur la santé mentale liés à ses plateformes, s'ajoutant à une amende précédente de 375 millions pour un total de 942 millions. Le juge a indiqué que 420 millions seraient consacrés aux services de traitement pour les jeunes du Nouveau-Mexique et que le reste financerait des actions de sensibilisation, de prévention, des dépistages et d'autres dépenses sur cinq ans. Le tribunal a également imposé des changements produits, notamment l'affichage d'écrans d'information sur les outils de protection, l'amélioration des outils d'estimation de l'âge fondés sur l'IA et le développement dans deux ans d'un modèle dédié pour prédire les moins de 13 ans. Meta devra demander une preuve d'âge pour les comptes estimés comme étant sous 13 ans, traiter les utilisateurs non vérifiables comme mineurs, collaborer avec les écoles pour signaler les comptes potentiellement mineurs, supprimer les données des moins de 13 ans et rendre compte semestriellement de sa conformité. L'avocat général du Nouveau-Mexique a salué la décision comme une protection des enfants, tandis que Meta a annoncé son intention de faire appel et que l'affaire s'inscrit dans un contexte plus large de poursuites similaires contre la société.

www.theguardian.com Resume pret HTTP 200 Commentaires

Captain Bible Reverse Engineering

Ce dépôt fournit un environnement reproductible et des notes de recherche pour le reverse‑engineering d'un jeu DOS des années 1990, en supposant que les fichiers originaux résident dans le répertoire CB/ qui est volontairement ignoré par Git. Il inclut une image FreeDOS pilotée par QEMU, des scripts de lancement qui créent une image de jeu persistante ou des clones jetables pour des exécutions déterministes, et des options pour captures, traces et exécution silencieuse de l'audio hôte. Une implémentation clean‑room en Rust lit les mêmes données d'origine et propose des frontends SDL3 et terminal, tandis que l'arbre fournit les outils et exigences (QEMU, mtools, Python, Pillow, compilateur C, mdBook, Rizin, toolchain Rust, SDL3, etc.) pour reproduire les analyses et construire l'environnement. La chaîne d'outils comprend l'analyse de l'exécutable 16‑bit compressé EXEPACK, des extracteurs et renderers pour l'archive principale DD1.DAT (ART, PAL, ABT, XMI, BIN), des inspecteurs de scènes, cartes et sauvegardes, et des utilitaires d'audit binaire qui documentent formats, opcodes et tables d'exécution. La documentation de recherche et la spécification clean‑room sont publiées en mdBook dans docs/ et spec/, accompagnées de tests, d'un journal d'activité et d'un workflow GitHub Actions qui construit et publie automatiquement le livre de recherche en Pages, avec des instructions permettant de reproduire tous les résultats.

github.com Resume pret HTTP 200 Commentaires

Kitesurf: Agent-first browser that runs in V8 isolates

Cloudflare a décidé de créer Kitesurf, un navigateur conçu spécifiquement pour les agents d'IA et construit entièrement au-dessus de Cloudflare Workers. Le projet s'appuie sur des avancées récentes de la plateforme (Wasm mature, workers dynamiques, Durable Objects, RPC) et sur l'utilisation de Rust et de bibliothèques comme Blitz et Stylo pour le parsing et le rendu. Les principes de conception privilégient des tests extensifs (WPT, intégration et régression visuelle), une isolation stricte, des composants sans état quand possible et une gestion d'erreurs qui évite les plantages de session. Kitesurf consomme beaucoup moins de CPU et de mémoire que Chromium pour des tâches agentiques courantes (amélioration de l'ordre de 3–7×) tout en étant aujourd'hui un peu plus lent en temps murée (~1,7×), et il passe plus de 215 000 tests WPT. Kitesurf est disponible en bêta gratuite via Browser Run pour les tâches éphémères et automatisées, n'est pas encore adapté aux vidéos, WebGL, empreintes TLS avancées ou sessions longues, et fera l'objet d'améliorations continues et d'une ouverture prochaine du code.

blog.cloudflare.com Resume pret HTTP 200 Commentaires

Radical Study Suggests Life on Earth Arose Twice

La recherche publiée dans Science Advances propose que les lignées bactériennes et archées auraient développé indépendamment les mécanismes métaboliques nécessaires pour devenir des cellules libres. Les auteurs ont analysé les structures protéiques des enzymes métaboliques et ordonné leur complexité pour retracer un calendrier évolutif des réactions essentielles. Ils estiment que le dernier ancêtre universel des cellules (LUCA) possédait des enzymes pour environ la moitié des réactions métaboliques, les autres étant catalysées par des métaux présents dans l'environnement. L'étude décrit quatre phases où la catalyse est passée de catalyseurs métalliques externes à des enzymes internes, avec des évolutions parallèles distinctes chez bactéries et archées après leur séparation. Les auteurs proposent aussi que des sources comme le phosphite et des catalyseurs inorganiques auraient pu remplacer provisoirement l'ATP et faciliter l'apparition de la phosphorylation métabolique en milieu hydrothermal.

www.sciencealert.com Resume pret HTTP 200 Commentaires

Guarded Methods in OCaml (2025)

Les méthodes gardées permettent d'attacher des contraintes au récepteur (self) uniquement pour certaines méthodes, de sorte que ces méthodes ne peuvent être appelées que si le récepteur satisfait ces contraintes, fonctionnalité non permise directement par la syntaxe d'OCaml. Trois approches théoriques sont proposées pour contourner ce manque: déplacer la méthode hors de la classe (par exemple en static), utiliser des méthodes d'extension comme en Kotlin, ou introduire des méthodes gardées au niveau de la classe, chaque approche ayant des compromis en termes d'encapsulation et de style objet. Les méthodes gardées, qui autoriseraient de contraindre les paramètres génériques au niveau de la méthode tout en restant dans le corps de la classe, résolvent le problème en préservant l'envoi systématique de messages et l'accès aux membres internes. En OCaml on peut encoder ce comportement en utilisant un témoin d'égalité de types défini par GADT: type (_,_) eq = Refl : ('a,'a) eq, puis en exigeant un ('a,'b list) eq ou ('a,int) eq comme paramètre pour des méthodes comme flatten ou sum, et en instanciant Refl localement pour prouver les égalités de types. Cette technique fonctionne correctement (les appels incompatibles ne compilent pas), reste un peu verbeuse comparée à un support natif — Scala offrant un encodage analogue avec des témoins implicites — mais elle montre une application pratique des témoins d'égalité en OCaml.

xvw.lol Resume pret HTTP 200 Commentaires

Water system controllers don't belong on the internet, says ex-NSA chief

Au moins douze systèmes d'eau américains ont été piratés, des attaques contre des automates programmables industriels (PLC) faisant l'objet d'une enquête du FBI. Déclarant à DEF CON, le général à la retraite Paul Nakasone a appelé à des normes de cyberdéfense plus strictes en estimant que ces PLC ne devraient pas être connectés à Internet. Des chercheurs privés et certaines analyses attribuent très probablement ces attaques à des acteurs liés à l'Iran, bien que les autorités américaines n'aient pas rendu d'attribution officielle. Nakasone a souligné que le réseau de 50 000 municipalités fournissant 90 % de l'eau constitue une vaste surface d'attaque, souvent sous-financée et dépourvue de personnels dédiés à la cybersécurité. Il a appelé à des partenariats renforcés, citant des initiatives comme DEF CON Franklin et le projet Chimera soutenu par des universitaires et des praticiens pour améliorer la résilience des infrastructures critiques.

www.theregister.com Resume pret HTTP 200 Commentaires