HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

6148 articles Page 126/615 Sans filtre

06:09

Maia-3: free and open source

L'équipe Maia a publié et rendu open source Maia-3, un modèle conçu pour prédire le coup humain plutôt que le meilleur coup. Le modèle couvre des niveaux de jeu de 600 à 2600 (Lichess blitz) et atteint 57,1% de précision sur un jeu de test standard, surpassant Maia-2 et Maia-1 tout en étant plus efficace qu'ALLIE. Maia-3 repose sur une nouvelle architecture, Chessformer, qui utilise des tokens pour les cases, une tête policy source-destination et un Geometric Attention Bias pour améliorer l'attention et l'interprétabilité. La plateforme www.maiachess.com propose des outils d'analyse combinant Maia-3 et Stockfish, des bots humains, des exercices d'ouvertures et finales, une détection de fautes adaptée au niveau, et d'autres applications pédagogiques. Le projet, issu du CSSLab de l'Université de Toronto, est gratuit et open source, s'appuie sur les données de Lichess et invite la communauté à contribuer via Discord et le code public.

06:09

Show HN: Fungible – A local personal finance app in the terminal

L'application en ligne de commande synchronise les transactions via Plaid, importe des relevés CSV et permet de catégoriser, rechercher, taguer et analyser les dépenses entièrement au clavier. Elle propose des règles de catégorisation et de renommage (sous‑chaînes ou regex avec filtres de montant), des modifications manuelles persistantes, des catégories masquées, des tags transversaux, le suivi du patrimoine et des indicateurs de santé financière comme la trésorerie disponible, la progression FIRE et l'estimation des années jusqu'à la retraite. L'interface comprend des écrans Dashboard, Transactions, Trends, Net Worth, Tags, Financial Health, Rules et Accounts avec de nombreuses touches de raccourci pour filtrer, trier, éditer, taguer, ignorer et synchroniser les données. Des outils d'automatisation sont fournis via un serveur MCP pour Claude et une API HTTP REST, ainsi que des scripts npm pour lier un compte Plaid, importer des CSV et initialiser des règles. L'installation se fait via Homebrew ou depuis la source (Node.js 22+), les données sont stockées dans ~/.fungible/ et les jetons Plaid sont chiffrés au repos par une clé locale située dans ~/.fungible/key.

06:08

Bytecode VMs in surprising places (2024)

L'article rappelle que SQLite utilise une machine virtuelle à bytecode pour exécuter les instructions SQL et note que ce modèle se retrouve ailleurs que dans les langages de programmation classiques. eBPF, intégré au noyau Linux, est décrit comme une VM à registres qui a évolué d'un simple filtre réseau à une plate-forme universelle avec dix registres, instructions proches du matériel, support 64 bits et compilation JIT. Le format DWARF inclut un langage d'expressions basé sur une pile que les débogueurs évaluent pour reconstituer la valeur ou l'emplacement de variables optimisées. GDB traduit des expressions en un bytecode simple envoyé à un agent distant qui l'exécute afin d'évaluer des expressions sans embarquer d'évaluateur complet et avec des limites strictes de mémoire et de temps. D'autres usages cités comprennent le RarVM de WinRAR pour des filtres de compression, des interprètes d'expressions pour shaders GPU évitant la recompilation, ainsi que des jeux d'instructions pour TrueType et PostScript.

06:07

Uber’s COO says it’s getting harder to justify money spent on tokenmaxxing

Andrew Macdonald, directeur des opérations d'Uber, a indiqué que les coûts de l'intelligence artificielle étaient de plus en plus difficiles à justifier pour l'entreprise. Il a évoqué la déclaration du CTO Praveen Neppalli Naga selon laquelle le budget "Claude Code" pour 2026 avait déjà été épuisé, ce qui a déclenché un vif débat interne sur la consommation de tokens. Les responsables techniques d'Uber ont conclu que l'augmentation de l'utilisation des tokens ne se traduit pas de manière proportionnelle par davantage de fonctionnalités utiles pour les consommateurs. En conséquence, la direction a pris des mesures comme le ralentissement des recrutements pour compenser les investissements en IA, selon le PDG Dara Khosrowshahi. Macdonald a aussi observé que l'IA peut sembler gratuite pour l'utilisateur mais que l'entreprise assume finalement la facture, et certaines sociétés comme Duolingo revoient l'intégration de l'IA dans l'évaluation des employés.

06:07

Netherlands Seizes 800 Servers, Arrests 2 for Aiding Cyberattacks

Les autorités néerlandaises ont arrêté le 18 mai deux co-propriétaires de sociétés d'hébergement soupçonnées d'avoir fourni une infrastructure utilisée par la Russie pour des cyberattaques, des opérations d'influence et des campagnes de désinformation dans l'Union européenne. Les suspects, Andrey Nesterenko, dirigeant de MIRhosting, et Youssef Zinad, lié à WorkTitans BV, sont poursuivis par la FIOD pour violation des sanctions en mettant des ressources économiques à la disposition d'entités visées par l'UE. Les perquisitions ont visé des entreprises et des centres de données, entraînant la saisie de plus de 800 serveurs, d'ordinateurs portables et de téléphones, et les enquêteurs relient MIRhosting et WorkTitans à des attaques pro‑russes visant notamment le Danemark en novembre 2025. L'enquête rappelle que Stark Industries, actif depuis deux semaines avant l'invasion de l'Ukraine en 2022, a servi de plateforme pour des attaques DDoS et des services de proxy, et que des connexions gérées par PQHosting et les frères Neculiti ont été redirigées vers la.hosting et WorkTitans avant les sanctions. Nesterenko a nié toute intention d'évasion des sanctions et déclaré que MIRhosting ne soutient pas la cybercriminalité, tandis que Zinad, dont le rôle est demeuré discret pendant des mois, a été retrouvé et arrêté à Amsterdam.

06:07

CPPL: A Circuit Prompt Programming Language

Les grands modèles de langage montrent du potentiel pour l'automatisation de la conception RTL, mais la génération directe de RTL est difficile à valider, optimiser et intégrer aux flux de compilateur en raison de la syntaxe MLIR, de la discipline SSA, des opérations spécifiques aux dialectes et des contraintes strictes de largeur. CPPL propose un cadre de conception médié par un compilateur qui transforme la génération assistée par LLM en un problème de frontend vérifiable, en combinant un DSL Python pour déclarer interfaces et hiérarchie de modules avec CPPL IR, un IR de circuit au format JSON conçu pour être lisible par les LLM tout en exposant la structure vue par le compilateur. Le compilateur infère les largeurs d'opération à partir des ports déclarés, valide l'IR généré, vérifie la hiérarchie et les connexions de ports, puis abaisse de manière déterministe vers CIRCT pour produire du Verilog synthétisable. Sur le benchmark RTLLM, CPPL améliore la correction fonctionnelle par rapport à la génération directe de Verilog et d'IR CIRCT, et les optimisations CIRCT réduisent le nombre de nœuds AIG après synthèse. CPPL est disponible à l'URL fournie pour consultation et usage.

06:07

Waymo suspends all freeway rides over safety issues

Waymo a suspendu temporairement tous ses services autoroutiers pour intégrer des améliorations logicielles visant à mieux gérer les zones de chantier sur les autoroutes. Avant cette suspension, les trajets sur autoroute n'étaient proposés que à San Francisco, Los Angeles, Phoenix et Miami. La société n'a pas cité d'incident précis, mais une vidéo publiée sur X montrait selon l'utilisateur un Waymo franchissant des cônes de chantier et étant ensuite poursuivi par la police. Waymo n'a pas donné de date de reprise, se contentant d'indiquer qu'elle espérait relancer ces itinéraires "bientôt", et elle fait face à des rappels antérieurs ainsi qu'à une enquête de la NHTSA après qu'un véhicule a heurté un enfant à Santa Monica, blessé légèrement. Lors d'une panne de courant de PG&E en décembre à San Francisco, la flotte s'est immobilisée plus de 1 500 fois pendant au moins deux minutes, bloquant des intersections et entraînant de multiples appels du 911 à Waymo, une situation qualifiée d'intenable par les responsables municipaux.