HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

3130 articles Page 244/313 Sans filtre

25 Feb 2026

07:09

blog.cloudflare.com Resume pret HTTP 200

How we rebuilt Next.js with AI in one week

Cloudflare a développé vinext, une réimplementation de l’API Next.js sur Vite qui se déploie sur Cloudflare Workers. Des benchmarks préliminaires indiquent des gains de vitesse de compilation et des bundles plus petits par rapport à Next.js 16. Le projet est expérimental et n’a pas encore été largement éprouvé, bien qu’il repose sur plus de 1 700 tests Vitest et 380 tests Playwright couvrant 94% de l’API Next.js 16. vinext se déploie par une seule commande et inclut une gestion de cache via Cloudflare KV et ISR, avec la compatibilité App Router et Pages Router sur Workers. Le développement a largement utilisé l’intelligence artificielle pour écrire et tester le code, et les auteurs envisagent une collaboration plus large avec d’autres plateformes tout en restant conscients des limites.

25 Feb 2026

07:08

www.lix.polytechnique.fr Resume pret HTTP 200

λProlog: Logic programming in higher-order logic

Ce langage de programmation logique s’appuie sur une logique intuitionniste d’ordre supérieur et intègre des notions de modularité, de types abstraits et de programmation d’ordre supérieur. Il utilise une approche de syntaxe λ-arbre pour gérer les variables liées et prend en charge des termes simplement typés ainsi qu’une partie de l’unification d’ordre supérieur, permettant l’expression HOAS. Conçu à la fin des années 1980, il a connu une première implémentation distribuée en 1988 et conserve un intérêt actif pour les applications de métaprogrammation. Parmi les implémentations actuelles, ELPI est un interpréteur λProlog embarqué en OCaml dont la version 3.4.5 est sortie en 2025, avec des liens vers Coq-ELPI et des tutoriels. Divers systèmes comme Teyjus et Makam affinent l’approche et l’unification, et les ressources documentaires et cours existants permettent d’apprendre et d’appliquer ces concepts.

25 Feb 2026

07:08

tunaformac.com Resume pret HTTP 200

Tuna: A new, modern, modal launcher for macOS

Il s'agit d'un lanceur moderne pour macOS, conçu de zéro. Il s'appuie sur les idées originales de Quicksilver. Il propose des modes variés, tels que Fuzzy Mode, Leader Mode, Text Mode et Talk Mode. Le code est entièrement natif en Swift et des extensions tierces arriveront bientôt. Le logiciel est gratuit avec des limites souples et une version complète accessible via un achat unique, sans abonnement, et il nécessite macOS 15 Sequoia ou une version ultérieure.

25 Feb 2026

07:08

www.theguardian.com Resume pret HTTP 200

US Military leaders meet with Anthropic to argue against Claude safeguards

Des responsables militaires américains, dont Pete Hegseth, se sont réunis avec des dirigeants d Anthropic pour discuter des conditions d'utilisation du modèle Claude. Selon Axios, Hegseth a donné à Dario Amodei jusqu'à la fin de la journée de vendredi pour accepter les conditions du département ou faire face à des sanctions. Anthropic, qui présente Claude comme axé sur la sécurité, aurait résisté à permettre son utilisation pour la surveillance de masse ou des armes autonomes sans intervention humaine. Le DoD a intégré Claude dans ses opérations mais a menacé de rompre la relation en raison des obstacles perçus par Anthropic. Le DoD avait signé des accords avec Google et OpenAI et a récemment autorisé l'utilisation de certains modèles dans des systèmes classifiés, y compris le chatbot xAI d'Elon Musk.

25 Feb 2026

07:08

vmfunc.re Resume pret HTTP 200

OpenAI, the US government and Persona built an identity surveillance machine

Le document décrit une architecture où OpenAI et Persona opèrent une plateforme d'identité et de vérification, exposée publiquement via des endpoints sur Google Cloud et dans un cadre FedRAMP. Il affirme que la plateforme collecte et stocke des données biométriques, des documents d'identité et des résultats de vérification, avec des listes de surveillance et des mécanismes de révision. Le rapport met en évidence une infrastructure gouvernementale distincte, withpersona-gov.com, et un déploiement ONYX apparemment relié à des outils de surveillance pour ICE. Il signale une intégration OpenAI destinée aux opérateurs et que des données pourraient être utilisées pour des dépôts SAR et STR, soumis respectivement à FinCEN et FINTRAC. Enfin, il pose des questions sur la transparence, la rétention biométrique, les critères d’inclusion dans les listes et le partage de données, appelant à des audits et à des clarifications.

25 Feb 2026

07:07

codingchallenges.fyi Resume pret HTTP 200

Build Your Own Forth Interpreter

Ce défi consiste à créer votre propre interpréteur de type Forth, une langue à pile utilisée dès les années 1970 et utile pour apprendre la programmation orientée pile et l’évaluation en RPN. Le projet se structure en étapes allant d’un REPL simple jusqu’à l’exécution de scripts, en passant par les calculs, la gestion de la pile et l’affichage. Les étapes couvrent l’entrée d’entiers et les opérateurs arithmétiques (+, -, *, /, mod) et la manipulation de la pile via dup, drop, rot, over et swap. Puis viennent les mots d’impression et de définition de nouveaux mots avec : et ;, les commentaires et les chaînes entre guillemets, et la gestion des mots inconnus. Enfin, le texte décrit les conditionnels et boucles, l’exécution depuis des fichiers, et des exemples comme Fibonacci et FizzBuzz, avec des ressources supplémentaires et des options de partage des solutions.

25 Feb 2026

07:07

mketab.org Resume pret HTTP 200

Why the KeePass format should be based on SQLite

KeePass a longtemps été le standard de sécurité et de stabilité, mais le format KDBX fondé sur XML crée des frictions pour l’évolution et l’interopérabilité entre les clients. Le problème central est un schéma fragile; l’ajout de nouvelles fonctionnalités nécessite des changements qui peuvent casser des clients tiers, entraînant des divergences comme pour TOTP et les attributs personnalisés. Les coûts de stockage et de mémoire posent aussi problème: les icônes sont stockées en base64 dans le fichier XML, ce qui gonfle la taille des fichiers et accroît les besoins en mémoire lors de l’ouverture et de la sauvegarde. L’article propose de migrer vers une architecture basée sur SQLite avec SQLCipher, afin de placer les données dans des tables dédiées, faciliter les évolutions futures et améliorer la gouvernance du développement. Il appelle enfin KeePassXC et la communauté à définir publiquement un nouveau standard, à planifier une migration structurée et à traiter les objections autour des transactions, de la compatibilité et de la lisibilité.

25 Feb 2026

07:07

metr.org Resume pret HTTP 200

We are changing our developer productivity experiment design

METR avait montré dans une étude précédente que l’utilisation d’outils d’IA ralentissait d’environ 20% l’achèvement des tâches chez des développeurs expérimentés open source, sur les données de février à juin 2025. Pour comprendre l’impact de l’IA sur la productivité au fil du temps, une nouvelle expérience a été lancée en août 2025 avec un échantillon plus large utilisant les derniers outils d’IA. Cependant, ces données semblent peu fiables en raison d’effets de sélection importants, notamment un plus grand nombre de développeurs refusant de participer sans IA et une réduction du taux de rémunération de 150 $/heure à 50 $/heure. Les résultats bruts restent mitigés et montrent des signes de vitesse accrue chez certains sous-groupes, mais les intervalles de confiance restent larges et l’estimation centrale est probablement biaisée. Face à ces biais, METR prévoit de réviser le design, avec des expériences plus courtes et intensives, des données observationnelles et des approches alternatives comme des tâches fixes ou des expérimentations au niveau du développeur.