Hacker News
-
Hister: A private search engine for the pages you visit and the files you keep
Hister est un moteur de recherche personnel open source (AGPLv3) qui indexe le contenu intégral des pages web visitées et des fichiers locaux, avec recherche depuis une interface web, un terminal ou un assistant IA via MCP. Il fonctionne localement, sans télémétrie ni service cloud obligatoire, et propose en option une recherche sémantique via un endpoint d'embeddings configurable. L'article détaille l'installation, les fonctionnalités et les moyens de contribution au projet.
L'auteur de Hister présente son moteur de recherche personnel qui indexe les pages visitées, les marque-pages, l'historique et les fichiers locaux, avec recherche plein texte et sémantique, prévisualisations hors ligne et un point d'entrée MCP pour assistants. Plusieurs utilisateurs témoignent l'utiliser depuis des semaines ou des mois, notamment pour retrouver un lien vu récemment ou indexer leurs notes Obsidian ; un retour précise qu'il faut construire pas mal de règles d'exclusion au début, mais que l'outil devient ensuite transparent. Plusieurs projets voisins sont cités : Zotero, SingleFile, Linkwarden, Karakeep (avec import possible), ou des implémentations maison à base de cron et de LLM.
La discussion apporte un contexte historique : Chrome offrait déjà en 2008 une recherche plein texte sur les pages visitées, supprimée vers 2013 ; un commentateur soupçonne des raisons commerciales (les pages hors ligne n'affichaient pas de pubs), d'autres évoquent des contraintes techniques. Un débat oppose ceux qui préfèrent simplement demander à ChatGPT ce qu'ils ont lu (réponse : cela accroît la dépendance à un tiers et ne résout pas la détention des données) et les partisans du stockage local, dont un utilisateur qui archive tout en PDF depuis des années — méthode que d'autres jugent peu fiable car les sites modernes s'impriment mal.
Nuances relevées : un utilisateur hésite à installer des logiciels hors des dépôts validés de sa distribution Linux (un autre suggère de faire auditer le dépôt par un LLM) ; l'indexation depuis Android reste à confirmer ; les notes ne sont pas encore supportées, seulement des labels. Point important : le nom Hister entre en conflit avec une marque déposée (histre.com), et le projet devra être renommé. Des remarques sur l'ambiguïté du nom et des doutes sur la sécurité complètent l'ensemble.
-
Bend – A language that blocks AI mistakes via proof, on CPU and GPU
Bend est un nouveau langage de programmation qui combine la vitesse du C, un runtime parallèle pour CPU et GPU (jusqu'à cent fois plus rapide qu'un cœur seul, sans threads ni locks à écrire), une syntaxe inspirée de Python et un système de types agissant comme un vérificateur de preuves, à la manière de Lean ou Rocq, mais en moins d'une seconde là où ceux-ci prennent des minutes.
Son postulat : dans une économie post-AGI où les humains cesseront d'écrire et de lire du code, il faut un moyen non ambigu de spécifier les intentions aux IA. Le fichier LAWS.bend permet de déclarer des « lois » (invariants qui ne doivent jamais être violés) et le fichier PROOF.bend contient des preuves rédigées par l'IA. L'agent doit alors prouver la validité de ses modifications avant tout commit : fusionner un bug devient mathématiquement impossible.
Le projet, encore jeune, s'intègre dans les workflows d'agents via AGENTS.md et s'accompagne de deux papiers décrivant sa théorie des types affines dépendants (BendTT) et son runtime parallèle (BendRT). Il fonctionne mieux sous Linux et macOS, plutôt en back-end.
L'auteur, présent dans la discussion, présente Bend 2.0 comme un langage combinant preuves formelles (à la Lean) et exécution parallèle sur GPU, destiné à encadrer le code généré par l'IA. Il précise que le parallélisme fonctionne sur tout CPU multi-cœur, sur GPU Apple M-series et NVIDIA, et que le compilateur, le runtime et le noyau de preuve sont conçus et audités par des humains, même si une partie du projet est « vibecodée ». Il reconnaît par ailleurs que l'historique Git mono-commit a mal passé et promet de le « assainir ».
Les retours de terrain sont partagés. Un test réel avec Claude (Opus) a montré que Bend fonctionne mais souffre d'une bibliothèque standard très pauvre : environ 60 des 163 lignes de preuves sont des lemmes triviaux (commutativité, réflexivité…) que l'utilisateur doit réécrire à chaque projet, et des opérations comme Nat.max ou les lois de tri de listes sont inutilisables en preuve — plusieurs commentateurs réclament un équivalent de mathlib. Un autre point de friction, approuvé par l'auteur : rien n'empêche l'IA de modifier elle-même les « lois » (LAWS.bend) pour les faire correspondre à son code, ce qui neutralise la garantie ; la lecture des lois par un humain reste donc nécessaire, même si c'est bien moins que de lire tout le code. Sur le fond technique, un chercheur en vérification (projet Cubical Agda) doute que des projets de vérification sérieux puissent migrer vers Bend, et interroge la pertinence du GPU pour des tâches de preuve ; l'auteur répond avoir implémenté allocateur, GC et évaluateur directement sur GPU, détail dans le paper du dépôt. Un commentateur technique relève aussi la récursion limitée à 2^48 et des conventions de types inhabituelles ; l'auteur promet codata/coroutines et explique les arguments effacés via la QTT.
Enfin, la promesse « post-AGI » de l'article est contestée : plusieurs jugent que des modèles suffisamment bons n'auront pas besoin qu'on leur spécifie les choses sans ambiguïté, ou que l'ambiguïté assumée par l'IA est justement une source de productivité. D'autres estiment au contraire que l'idée de vérifier par preuves ce que produit l'IA va dans le bon sens.
-
Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint
PrismML annonce Ternary Bonsai 2 27B, un modèle multimodal basé sur Qwen3.8 27B utilisant des poids ternaires {-1, 0, +1} avec scaling FP16, soit 1,76 bits effectifs par poids et un footprint de 5,9 Go — 9x plus petit que le modèle full-precision, dont il conserve 98,2 % des performances agrégées sur un ensemble de benchmarks (raisonnement, code, vision, agents).
Le modèle supporte une fenêtre de contexte de 262K tokens, l'entrée texte et image, et est publié sous licence Apache 2.0. Il atteint jusqu'à 143 tokens/s sur RTX 5090 et 46,8 tokens/s sur M5 Max, avec une efficacité énergétique 40 % supérieure à un modèle 8B full-precision sur RTX 4090 (0,714 mWh/token).
PrismML, startup issue de chercheurs de Caltech soutenue par Khosla Ventures, Cerberus, Google et Samsung, positionne la compression low-bit comme levier d'architecture pour l'inférence locale et hybride, sur GPU NVIDIA (CUDA) et appareils Apple (MLX).
Bonsai 2 27B, version ternaire (poids {-1,0,+1}, ~1,76 bits effectifs par poids) d'un modèle 27B basé sur Qwen 3.8, suscite l'enthousiasme pour l'inférence locale : le fichier GGUF pèse environ 6 Go et tourne sur du matériel grand public. Plusieurs retours de terrain donnent des chiffres concrets : ~100 t/s en préfill et ~15 t/s en génération sur un MacBook Pro M4 Pro 24 Go (chutant à ~10 t/s avec un contexte de 64k), 7-8 t/s sur un Mac Mini M2 16 Go, ~7,9 Go de RAM et 120 t/s sur une RTX 6000 Pro, 34 t/s sur DGX Spark, et seulement 0,67 t/s sur un GPU de 6 Go — ce qui confirme qu'il faut au moins 16 Go de mémoire pour un usage correct. Des benchmarks officiels cités mentionnent jusqu'à 143 t/s sur RTX 5090 et 46,8 t/s sur M5 Max.
La discussion nuance fortement la promesse « near-lossless » du titre. Un utilisateur rapporte que la version WebGPU boucle immédiatement sur un raisonnement erroné, très différent du modèle 27B non quantisé ; d'autres notent que le modèle s'effondre « de façon spectaculaire » sur les tâches longues, et un test d'agent sur une tâche Swift simple a nécessité 25 minutes sans aboutir, contre 3 minutes pour un modèle cloud. Sur le plan technique, des commentateurs expliquent que le chiffre de 1,76 bpw est trompeur comparé aux quants classiques IQ2/Q2 : la méthode (propriétaire) repose sur une rotation des poids dans une base favorable (transformée type Hadamard), des échelles par groupe et une compensation d'erreur — bien plus sophistiqué qu'un simple arrondi ternaire, ce qui explique qu'elle ne soit pas comparable directement aux quants standard. Un fil compare aussi avec les quants Unsloth (tableau comparatif disponible sur la page HuggingFace).
Côté pratique, il faut le fork llama.cpp de PrismML (kernels CUDA, CPU et Vulkan uniquement — pas de SYCL, donc rien d'utilisable sur GPU Intel B70), et les instructions de la discussion diffèrent légèrement du dépôt de démo officiel. Plusieurs regrettent l'absence d'un modèle de draft pour le décodage spéculatif et souhaitent des versions 8B pour mobile ou appliquées à des modèles plus gros (DeepSeek 4.1 Flash).
-
Astra for Law
Aucun contenu n'est disponible au-delà du titre « Astra for Law ». Impossible de déterminer le sujet précis de l'article à partir des seules informations fournies.
La discussion tourne autour du lancement d'Astra for Law d'OpenAI et des usages réels des LLM par les juristes. Plusieurs retours de terrain confirment une utilité immédiate sur des tâches précises : extraction de données de documents hétérogènes vers du JSON, recherche de précédents, organisation de dossiers — toujours avec relecture par un avocat. Un praticien note le contraste saisissant entre la performance sur le code et la faiblesse en rédaction juridique, qu'il explique par l'absence d'équivalent du compilateur ou des tests unitaires : pas de boucle de vérification automatique de la validité d'un contrat ou d'une plaidoirie.
Les commentateurs nuancent fortement le discours promotionnel. Un avocat critique les discussions qui globalisent le droit alors que les modèles économiques varient énormément selon les domaines (le contentieux personnel à enjeu élevé est peu menaçé). Plusieurs relèvent que les scores publiés par OpenAI sur le benchmark Vals AI Legal Research (54,0 % en all-pass, 90,0 % en crédit partiel) sont légèrement inférieurs à ceux de Claude Opus 5 et autres modèles concurrents. D'autres soulignent l'absence de mention des juridictions (le produit semble centré sur le droit américain) et surtout l'angle mort des hallucinations dans le billet, même si un commentaire précise que le benchmark lié crédite Astra du taux d'hallucination le plus bas des modèles testés. Un point de tension notable : OpenAI entre ainsi en concurrence frontale avec ses clients Harvey et Legora, ce que la mention « ils pourront construire sur nous » cherche visiblement préempter.
Sur l'impact structurel, les avis divergent : les uns prédisent surtout une érosion des postes d'associés débutants (l'« associé IA » à un dixième du prix), les autres rappellent que le métier dépasse la rédaction — plaidoirie orale, négociations en coulisses, responsabilité engageant le barreau. Plusieurs estiment que l'IA pourrait démocratiser le droit et réduire les coûts, quitte à résoudre des litiges sans procès ; d'autres rétorquent que cela nourrira une course à l'exploitation de la lettre de la loi, où le plus gros portefeuille gagnait déjà avant l'IA.
-
How to Write with an LLM
L'auteur propose une méthode pour utiliser les LLM comme outil d'amélioration de l'écriture sans perdre sa propre voix.
Il énonce deux règles : ne jamais employer un mot ou une tournure suggérés par le modèle (les modèles produisent des phrases « titre de magazine » séduisantes mais qui rendent le texte artificiel), et bannir les encouragements — les LLM vantent systématiquement le premier brouillon, ce qui pousse à y renoncer aux relectures et réécritures qui font la voix de l'auteur.
En revanche, les LLM excellent pour détecter des problèmes de manière mécanique et infatigable : voix passive excessive, verbalisations nominales, répétitions, mots pleurnichants (« very », « actually »), paragraphes à déplacer. L'auteur recommande de s'appuyer sur le livre « Style: Lessons in Clarity and Grace », d'exécuter des passes d'édition avec des prompts dédiés, de faire évaluer les réécritures par un modèle sans contexte, et décrit un petit atelier d'écriture qu'il a fait construire (Python, HTMX, SQLite) branché sur des CLIs comme Codex ou Claude. Il conclut en assurant ne pas suivre tous les conseils du modèle, par fidélité à sa propre voix.
L'article propose d'utiliser un LLM comme correcteur stylistique tout en refusant d'employer le moindre mot qu'il suggère. La discussion HN est globalement plus sceptique que l'article. Plusieurs commentateurs trouvent l'approche circulaire : pour trier les suggestions du modèle, il faut déjà savoir bien écrire, donc avoir du goût développé par la lecture et la pratique ; sinon on s'ancre sur les critiques du LLM et l'on produit du « LLMese ». Un courant majoritaire estime que pour un texte destiné à des humains, le recours aux LLM est nuisible, certains évoquant une « reddition cognitive » et la dévalorisation générale de la communication ; d'autres signalent la lassitude des lecteurs qui passent désormais du temps à chercher des traces d'IA dans tout texte.
Les avis se divisent sur l'usage comme réviseur. Plusieurs praticiens valident des usages circonscrits : vérification factuelle d'articles techniques (retour de terrain convaincu, alors que cela aurait été ridiculisé il y a un an ou deux), détection des répétitions et tics de style, voix passive et phrases lourdes — à condition de solliciter des corrections techniques et non d'encouragement, un participant partageant d'ailleurs son system prompt (« NO ENCOURAGEMENT », « DO NOT WRITE COPY FOR ME »). D'autres jugent le goût des LLM mauvais au-delà de la simple correction orthographique, inutile pour la relecture, ou préfèrent des outils déterministes comme LanguageTool, et rappellent qu'une simple promenade avant relecture donne un effet similaire. En fiction, le brainstorming du modèle est jugé devoid of creativity.
Retours concrets notables : un développeur a repris l'écriture manuelle de ses messages de commit et descriptions de PR, ce qui ralentit volontairement le travail mais approfondit sa compréhension du code généré par les agents ; un praticien propose une checklist de « cohérence narrative » pour les commits (thèse unique, vocabulaire unifié, édition soustractive), jugée aussi coûteuse qu'écrire le message soi-même ; des estimations chiffrées circulent sur la qualité des brouillons IA (95 % à couper, 1 % à garder).
-
GLM Built Its Own Inference Infrastructure
D'après le titre, GLM (Zhipu AI) aurait construit sa propre infrastructure d'inférence pour ses modèles. Aucun contenu d'article n'étant disponible au-delà du titre, il n'est pas possible d'en dire davantage.
L'article décrit l'infrastructure d'inférence construite par GLM (Zhipu/z.ai) sur un cluster de plus de 100 000 accélérateurs IA chinois, avec une amélioration de 3× des performances de bout en bout, l'agent optimisant les kernels via IA, et toute l'inférence de production de GLM-5.3-Flash tournant sur ce système.
Plusieurs commentateurs voient dans les restrictions américaines d'export de puces un catalyseur involontaire : le gouvernement chinois aurait d'ailleurs bloqué la revente des NVIDIA H200, et une demi-douzaine d'entreprises chinoises produisent leurs propres accélérateurs. Un commentaire apporte des précisions concrètes sur la chaîne d'approvisionnement : Zhipu utilise des Huawei Ascend fabriqués par SMIC, avec de la mémoire domestique (CXMT) et de la mémoire Samsung d'avant-sanctions, tandis qu'un fabricant chinois de machines DUV entre en production. Des voix s'accordent pour y voir un événement majeur : la Chine maîtrise désormais l'inférence de frontière à bas coût, et les modèles non-frontière suffisent à la majorité des usages. Certains relativisent toutefois l'originalité : les labos américains pratiquent déjà l'optimisation de kernels par boucles IA depuis plus de six mois (contests de kernels, projet OpenAI/Broadcom), et s'ils optimisent moins, c'est simplement parce qu'ils peuvent acheter du matériel plus récent.
La discussion contredit aussi l'article sur le terrain : plusieurs clients se plaignent que le service est « très lent » et que les limites d'usage sont strictes, avec des tarifs d'abonnement fortement haussés (le plan intermédiaire serait passé d'environ 20 à 80 $/mois) — un commentateur rétorque que cette lenteur reflète un arbitrage économique délibéré (parallélisme inter-utilisateurs plutôt que vitesse individuelle). Une nuance porte sur la portée réelle du « tout chinois » : la lithographie repose encore sur du matériel ASML, même si une filière EUV nationale serait en développement.
-
CCC invites all model citizens to 40C3
Le Chaos Computer Club organise le 40e Chaos Communication Congress (40C3) du 27 au 30 décembre 2026 dans les halls d'exposition de Hambourg, après son déménagement vers ce site plus vaste. Le congrès, plus grande conférence de hackers d'Europe et événement non-commercial géré par des bénévoles avec plus de 16 000 visiteurs participants, porte le motto « Model Citizens », un appel à imaginer de nouveaux modèles de société face à la montée de l'autoritarisme et au recul des forces libérales.
Le Call for Participation ouvre dès aujourd'hui : conférenciers pour le programme de conférences, DJs et musiciens pour les scènes de soirée, artistes et designers pour le Call for Art, et contributeurs pour le Punk-Späti et ses performances anarchistes et antifascistes.
La discussion sur l'invitation au 40C3 (« Model Citizens ») tourne surtout autour de la culture de l'événement plutôt que de l'annonce elle-même. Plusieurs commentateurs se réjouissent de retrouver un espace communautaire authentique, opposé à une « buy culture » : un praticien installé en Silicon Valley déplore qu'il n'y rencontre presque plus de hackers motivés par la curiosité ou le bien public, et juge que le DefCon moyen est devenu corporate, à l'opposé du CCC jugé comme « le dernier vrai lieu » de ce type. Un autre souligne le contraste avec le sexisme qu'il attribue à DefCon, ce qu'un habitué de DefCon conteste vivement.
Les avis divergent sur l'évolution culturelle du CCC. Un avis nostalgique regrette que la disparition de la salle fumeurs ait marqué un tournant, l'événement ressemblant chaque année un peu plus à « un Disneyland pour hackers » ; le thème « Model Citizens » (après « The Usual Suspects ») est lu comme symbole d'un événement devenu trop sérieux et adulte. D'autres relatent des expériences sociales négatives, évoquant une culture allemande de réprimande et de tabous (notamment autour des photos) pouvant donner des « mille petites blessures » ; un participant répond que c'est simplement la culture allemande.
Côté pratique : les billets partent en quelques secondes, le scalping sur Kleinanzeigen est rapidement combattu, et l'espoir repose sur le nouveau site plus grand ; la période du 27-30 décembre est jugée incompatible avec une vie de famille. Un paradoxe est relevé entre les valeurs affichées du CCC et l'achat en ligne par carte bancaire avec nom réel ; on répond que c'est lié aux fournisseurs et aux lois anti-blanchiment, et que les petits événements locaux (Datenspuren à Dresde, gratuit ou en don, paiement en GNU Taler ou crypto) incarnent mieux l'esprit hacker. Enfin, des précisions factuelles : Markus Hess a déjà donné son témoignage au Hochschule Congress, et Datenspuren se tient du 18 au 20 septembre au Zentralwerk de Dresde.
-
Everybody's Lost Their Minds
Aucun contenu n'est disponible au-delà du titre de l'article (« Everybody's Lost Their Minds »). Impossible de déterminer la thématique ou de résumer le contenu du texte, celui-ci étant absent.
La discussion reflète un clivage net entre développeurs enthousiasmés par l'IA et développeurs usés par le « pilotage d'agents ». L'article, très critique envers l'IA, est majoritairement mal reçu : plusieurs commentateurs le jugent mal construit et nourri de mythes anti-IA, notamment l'argument du gaspillage d'eau qualifié de « red herring » et le « doom-mongering » environnemental ; l'un a même supprimé le flux RSS du blog. D'autres réfutent des points précis : le déni de l'impact des LLM en recherche de vulnérabilités est contesté (des dizaines de zero-days et d'escalades de privilèges Linux, parfois vieux de décennies, ont été trouvés et corrigés grâce aux LLM), et l'idée que la sécurité n'aurait pas progressé est jugée intenable.
Mais le ressenti d'épuisement exprimé dans l'article trouve un large écho : plusieurs praticiens décrivent 75 % de leur temps consacré directement ou indirectement à l'IA, une fatigue à « garder des toddlers » sous tension constante, et un déclin ressenti de leurs compétences et de leur plaisir au travail (« dumber, sloppier, lazier »). Un commentateur note une scission croissante de la profession entre utilisateurs satisfaits et sceptiques déçus, d'autres la relient à une opposition ancienne entre « craft » et « code comme moyen d'un bout à l'autre » : le conseil clé serait de savoir quand « slinger » et quand façonner du code, ce que les guides d'usage de l'IA ignorent. Un avis critique aussi l'incitation économique : les fournisseurs de modèles optimiseraient la consommation de tokens plutôt que l'efficacité.
À l'inverse, des retours de terrain très positifs émergent : un développeur cite un modèle ayant trouvé cinq bugs sérieux dans son code C et implémenté en OCaml un interpréteur de son langage à PEG en un après-midi ; un autre (22 ans de code, 14 professionnels) affirme réaliser en quelques heures des fonctionnalités autrefois accomplies en une semaine. Plusieurs concluent que les deux extrêmes sont faux en même temps : l'IA produit réellement des résultats utiles tout en déstabilisant l'économie et les pratiques, et le débat « est-ce utile ?
-
One Year of Sponsored Servo Development
Bilan d'une année de travail sponsorisé sur le projet Servo, le moteur web open source. Le mainteneur Josh Bowman-Matthews, financé à temps partiel par des dons mensuels via OpenCollective et GitHub, a nommé 8 nouveaux mainteneurs, relu 1150 pull requests, rempli 114 tickets destinés aux nouveaux contributeurs (92 % résolus) et rédigé de la documentation sur les risques de borrow, les fonctionnalités expérimentales ou la politique IA. Il cite parmi les temps forts le soutien d'une réécriture à grande échelle de l'intégration du moteur JavaScript pour éliminer des panics intermittents liés au garbage collection, la stabilisation de tests instables, et le soutien à une demande de subvention d'un contributeur, laquelle a été approuvée.
La discussion autour du bilan d'un an de développement sponsorisé de Servo apporte surtout des éclairages pratiques et financiers, au-delà de l'article. Le coût du sponsoring est public : jusqu'à 4800 $/mois, à un taux de 150 $/heure selon les heures réellement travaillées (détails dans les issues GitHub du projet). Plusieurs commentateurs rappellent aussi le rôle de NLnet, autre financeur européen de Servo, et certains s'en réjouissent personnellement. Un fil souligne que ce type de financement par subventions publiques et filets de sécurité sociaux européens explique pourquoi ces projets sont majoritairement portés par des développeurs de l'UE, même si le même budget permettrait d'embaucher 2-3 fois plus de développeurs ailleurs.
Les usages concrets de Servo aujourd'hui font débat. Un commentateur demande à quoi il sert réellement, puisqu'il n'est pas prêt comme moteur de navigateur complet ; on lui répond qu'il est déjà exploitable pour des applications embarquées (intégration en cours dans Tauri via Verso, comme alternative plus légère à CEF), et qu'il sert aussi d'outil de validation indépendante des specs web et des tests WPT, utile pour la compatibilité à long terme. Un autre point de controverse porte sur le choix de mozjs (bindings Rust autour de SpiderMonkey, toujours en C++) : plusieurs intervenants jugent ce choix pragmatique — réécrire un moteur JS pour rivaliser avec V8 serait titanesque et Rust n'apporte pas grand-chose pour un JIT — d'autant que la cible prioritaire de Servo serait CEF, où la sûreté mémoire n'est pas l'enjeu central.
Enfin, la comparaison avec Ladybird revient plusieurs fois : un commentateur préfère Servo à la direction prise par Ladybird sans détailler, d'autres s'interrogent. Une analogie « le Hurd des moteurs de navigateur » (projet interminable) est contrebalancée par des souvenirs des années de développement de Mozilla, qui a fini par livrer. Un avis minoritaire déplore aussi le parallélisme poussé à l'extrême, jugé inutilement coûteux en effort et en cœurs de CPU.
-
Iran school bombing: grounds to believe US was behind atrocity, UN finds
Une mission d'établissement des faits de l'ONU conclut qu'il existe des motifs raisonnables de croire que les États-Unis ont commis des crimes de guerre lors de frappes en Iran le 28 février, notamment sur l'école primaire Shajareh Tayyebeh à Minab (156 morts dont 120 enfants) et sur un complexe sportif à Lamerd (22 civils tués ou blessés). Les experts estiment que l'armée américaine a utilisé des données de ciblage obsolètes et n'a pas vérifié que le bâtiment était un objectif militaire, agissant avec insouciance face au risque de toucher des civils.
Le Pentagone mène sa propre enquête, toujours sans résultats publiés, tandis que l'administration Trump a affirmé qu'aucune attaque délibérée contre une école de filles n'avait eu lieu. Le commandement américain avait également nié toute frappe sur Lamerd ce jour-là.
La mission a aussi conclu que les autorités iraniennes avaient commis des crimes contre humanity dans la répression des manifestations entamées fin décembre : tueries illégales, torture, détentions arbitraires et disparitions forcées. Le bilan officiel de 3 038 morts et 25 000 blessés serait selon les experts sous-évalué.
La discussion porte sur la conclusion de l'ONU selon laquelle les États-Unis seraient à l'origine du bombardement d'une école iranienne, frappé par une frappe « double tap » ayant tué près de 200 personnes, en grande partie des enfants. Le fait que la frappe soit délibérée et l'identité de l'attaquant ne font guère de débat : les commentateurs s'accordent pour dire que les missiles Tomahawk américains sont en cause, et plusieurs rappellent que le gouvernement américain a d'abord nié qu'il s'agissait d'une école.
Le principal point de division est la qualification juridique : pour plusieurs commentateurs, un crime de guerre suppose la connaissance certaine que la cible était civile, et une analyse du NYT évoquée en fil de discussion conclut qu'il s'agissait vraisemblablement d'une erreur, la cible ayant été par le passé un bâtiment militaire adjacent à une base — donc une entrée plausible dans une liste de ciblage mal vérifiée. D'autres jugent cette distinction hors de propos, estimant que la négligence coupable sur une école reste moralement indéfendable, et qu'un simple soldat serait emprisonné pour une telle frappe alors qu'aucune sanction n'attend l'administration. Un avis minoritaire défend que les erreurs de bombardement existent dans toutes les guerres et accuse l'ONU de partialité envers l'Iran ; un autre regrettait la proximité d'écoles avec des cibles militaires, ce qui lui a été opposé (des écoles existent sur les bases américaines et près du QG de l'IDF).
Les retours concrets restent rares : on note la mention d'un pilote de drone impliqué dans une frappe similaire, auteur de l'attentat au camion Tesla devant la Trump Tower, et une contestation technique d'un commentaire affirmant que le GPS « espionne » — précisant que le récepteur GPS ne fait qu'écouter les signaux satellites sans rien transmettre. Plusieurs commentaires évoquent, sans preuve ni consensus, un possible rôle de l'IA dans le ciblage, hypothèse que d'autres jugent spéculative. Le ton général est un fort cynisme sur toute perspective de responsabilité : la plupart attendent au mieux des « condamnations » sans suites.
-
The first new cat species discovered in 100 years
Une nouvelle espèce de félin, Leopardus tilcayo, a été décrite dans la revue Current Biology : il s'agit de la première nouvelle espèce de chat découverte depuis plus de cent ans (la dernière remontant au chat des pampas en 1923). Tout est parti d'un spécimen curieux recueilli en Bolivie en 2017 par la biologiste Paola Nogales-Ascarrunz, d'abord pris pour un Leopardus tigrinus, mais dont les analyses génétiques menées avec Eduardo Eizirik et Jonas Lescroart ont révélé une espèce distincte, divergée il y a environ 1,4 million d'années, vivant dans la forêt des Yungas sur le versant oriental des Andes.
L'étude redessine aussi largement l'arbre généalogique des petits chats sauvages : le complexe « tiger cat » passe désormais à cinq espèces, une nouvelle sous-espèce est proposée au Pérou, et des indices suggèrent que le margay, jusqu'ici considéré comme une seule espèce, pourrait en regrouper quatre. Les méthodes génomiques employées pourraient à l'avenir révéler d'autres espèces en Afrique et en Asie.
Ces découvertes ont des implications concrètes pour la conservation : répartir une population supposée unique en plusieurs espèces réduit d'autant la taille de chacune et impose des évaluations et des efforts de protection distincts, potentiellement urgents, même si l'on ignore encore combien de tilcayos survivent à l'état sauvage.
La discussion porte sur la description d'un nouveau félin sud-américain, Leopardus tilcayo (« tilcayo tiger cat »), découvert en Bolivie. Les commentateurs s'accordent sur son caractère remarquable : un mammifère réellement nouveau pour la science (et non une simple révision taxonomique), très petit (3-4 livres selon un commentaire) et très coloré, ce qui ravit manifestement le fil. Plusieurs partagent des photos et notent que la page Wikipédia a été créée dans les heures suivant l'annonce.
Les apports factuels les plus utiles viennent de la reprise de l'étude génétique : l'analyse des génomes complets de 38 individus du genre Leopardus montre que le « complexe tigrinus » compte en réalité cinq espèces distinctes, dont L. tilcayo, séparée des autres il y a environ 1,4 million d'années — la plus complète étude génétique à ce jour sur ces félins selon son co-auteur. Un commentateur interroge néanmoins la notion d'espèce face à celle de sous-espèce ; la réponse s'appuie précisément sur cette divergence génétique ancienne. Un autre corrige l'article sur la comparaison avec le lion des cavernes : la divergence lion/lion des cavernes est estimée à 500 000–1 million d'années selon Wikipédia, soit nettement moins que les « 2,8 millions d'années de divergence » impliquées par l'article, qui semble donc exagérer l'analogie.
Plusieurs échanges éclaircissent le nom local : « tilcayo » était bien connu des populations locales, mais des chercheurs extérieurs l'assimilaient par erreur à l'oncilla (L. tigrinus), supposant un simple synonyme. Un commentateur explique aussi le nom « tiger cat » hérité des conquistadors espagnols qui appelaient « tigres » les jaguars. Quelques remarques marginales : le risque de voir apparaître des hybrides commerciaux à la mode du Bengal, et l'étonnement qu'une telle découverte concerne un mammifère plutôt qu'un microbe ou un champignon.
-
AI safety is mostly a sex cult
Un fil exprimant une opinion très critique affirme que le mouvement de l'« AI Safety » trouve son origine dans ce que l'auteur qualifie de « secte sexuelle » fondée autour d'Eliezer Yudkowsky, auteur de la fan-fiction Harry Potter and the Methods of Rationality et figure du rationalisme. Le fil retrace l'influence de Yudkowsky sur l'écosystème IA : connexion entre DeepMind et Peter Thiel, liens avec Sam Altman, Dario Amodei et l'Effective Altruism, popularisation du terme « AI Alignment », et tribune dans Time Magazine appelant à risquer une guerre nucléaire pour freiner l'IA.
L'auteur décrit le rationalisme et l'EA comme deux mouvements entremêlés, centrés sur le scénario de « doom » (superintelligence échappant au contrôle et tuant l'humanité), et compare leur dynamique à celle des sectes apocalyptiques. Il évoque notamment les maisons communautaires de Berkeley et Lighthaven, un centre acheté en 2022 avec des fonds issus de FTX, qui accueille conférences d'IA et événements organisés par Aella, compagne présumée de Yudkowsky.
Il s'agit d'un texte d'opinion polémique, non sourcé de manière indépendante, mêlant faits vérifiables (liens entre personnes et organisations) et allégations non prouvées (notamment les accusations de « secte sexuelle »).
La discussion juge l'article globalement séduisant sur la forme mais faible sur le fond : plusieurs commentateurs disent avoir du mal à en extraire une thèse, y voyant surtout un long ad hominem mêlant vie privée de Yudkowsky et de la communauté rationaliste à de brefs points valides sur la concentration du marché de l'IA. Un commentaire synthétise bien l'argument sous-jacent : le mode de vie de cette communauté dépendrait de la véracité d'un « p(doom) » élevé, ce qui compromettrait sa neutralité — mais cet avis reste nuancé et contesté.
Deux lignes de fracture se dessinent. D'un côté, certains estiment que la vie sexuelle des chercheurs est sans intérêt et qu'il faut « lire les arguments » plutôt que juger les proxies, tandis que d'autres rétorquent que la confiance envers des personnes qui influencent le déploiement mondial de l'IA est une question légitime, notamment quand leur dynamique de groupe repose sur un Dieu anthropomorphisé (les LLM) qu'ils craignent et vénèrent. Un praticien témoigne avoir été invité à des orgies rationalistes et avoir poliment décliné sans conséquence, ce qui nuance selon lui l'étiquette de « secte sexuelle » : le groupe se comporte par ailleurs comme une communauté normale. D'autres rappellent que le polyamour assumé n'est pas une déviance et déplorent une morale sexuelle jugée rétrograde, plus proche des puritains que des prétendus « rationnels ».
Apports factuels : le sujet n'est pas nouveau (les informations figurent déjà sur Wikipédia sur Aella et la communauté rationaliste), mais sa percée dans des médias mainstream comme le NY Post constitue la nouveauté. Plusieurs rappellent que l'inquiétude sur l'IA préexiste largement à Yudkowsky — Turing en 1950, Wiener dès 1949 — et jugent injuste de créditer celui-ci d'idées plus anciennes. Le débat sur HPMOR comme « manifeste » efficace contre l'autorité divise aussi. Un fil note des problèmes d'accès au site (exception Cloudflare via IPv6).
-
Neovim have a ~$800k Bitcoin donation sitting untouched since 2023
Un utilisateur a découvert sur la page de dons de Neovim une adresse Bitcoin ayant reçu une donation de 10 BTC en 2023, d'une valeur actuelle d'environ 800 000 dollars, qui n'a jamais été utilisée. L'historique de l'adresse montre que le projet a envoyé du Bitcoin pour la dernière fois en 2019, ce qui suggère qu'il en a toujours accès. L'auteur s'interroge sur le fait que l'équipe Neovim soit au courant de cette somme importante et espère qu'elle pourra financer le projet.
La discussion corrige d'emblée l'article : plusieurs commentateurs précisent que Neovim n'utilise plus ce portefeuille Bitcoin pour ses bounties, et qu'il faut aller vérifier sur OpenCollective pour trouver le canal de don officiel ; l'adresse Bitcoin figurerait encore dans le pied de page du site uniquement par oubli. Autrement dit, il ne s'agirait pas d'une décision stratégique de conservation mais d'un don ancien resté là, probablement oublié, dont la valeur a beaucoup fluctué : un commentateur rappelle qu'un don d'environ 200 000 $ à l'origine a monté jusqu'à 1,2 M$ avant de retomber à 800 000 $.
Les échanges s'accordent sur le risque propre à Bitcoin : la perte d'accès à la clé privée. Plusieurs espèrent que Neovim la conserve encore, et un commentateur note qu'une fraction des 21 millions de bitcoins disparaît chaque année, si bien qu'à terme il n'en resterait que peu en circulation. Sont évoqués les cas de personnes disparues qui détenaient seules l'accès à des portefeuilles : les grandes plateformes d'échange gèrent cela simplement — si elles ont les clés, la succession passe sur décision de justice ; sinon, les fonds sont perdus définitivement.
Quelques questions restent ouvertes et divisent : l'impact d'éventuelles taxes sur les plus-values latentes si Neovim vendait un jour, et la valeur réelle de conserver ces bitcoins (un avis minoritaire juge que c'est un mauvais investissement pour un projet open source, quand d'autres y voient un fonds pour les jours difficiles). Une remarque critique relève aussi la propension de la communauté à rationaliser l'inaction sur plusieurs années alors que déplacer des bitcoins prend quelques secondes. Au total, la discussion apporte surtout des clarifications factuelles et des retours d'expérience sur la gestion des clés, sans révélation majeure au-delà de l'article.
-
Keys Not Included: recovering the signing keys for US driver's license barcodes
Article sur la récupération des clés de signature des codes-barres figurant sur les permis de conduire américains. Aucun contenu supplémentaire n'est disponible au-delà du titre.
La discussion porte sur la récupération des clés publiques permettant de vérifier la signature des codes-barres des permis de conduire américains. Plusieurs commentateurs corrigent d'emblée le titre soumis sur Hacker News : l'article ne récupère pas les clés de signature (privées) mais les clés publiques, et l'article lui-même le précise correctement. Un point d'accord fort émerge : la signature ne couvre pas la photo, donc sa valeur anti-fraude est limitée — elle garantit seulement que les données textuelles correspondent au permis d'une personne réelle, ce qui permet à un faussaire de réutiliser les données signées d'une vraie carte avec une autre photo. Un praticien note aussi qu'une vérification sérieuse doit comparer les données encodées avec le recto de la carte, et que même cela ne détecte pas un faux support physique portant un code-barres authentique.
Les commentateurs s'accordent sur le fait que la publication des clés publiques est normale et desirable (c'est leur rôle), critiquant une confusion sur ce point. Plusieurs estiment que la vraie solution — déjà déployée sur les passeports biométriques et les documents d'identité européens — serait une puce NFC signant un nonce fourni par le vérificateur, avec la photo incluse dans les données signées, plutôt que des barcodes statiques facilement copiables. Un fil évoque le rôle croissant des mDL et Apple Wallet (écosystème annoncé à la WWDC25, standards W3C sur les credentials numériques), avec des réserves sur la dépendance à Apple plutôt qu'à un standard ouvert ; d'autres décrivent l'onboarding bancaire NFC déjà courant en Europe depuis ~2017.
Retours de terrain notables : un commentateur explique qu'un faux ID scannable était un argument de vente majeur, les commerces scannant systématiquement sans vérifier l'apparence ; un autre préfère dégrader les barres de référence de son vrai permis pour éviter que sa PII ne finisse dans des bases de données de magasins. Une digression technique porte sur le remplissage par placeholder avant signature, jugé inelegant par certains mais défendu comme moins risqué qu'un bitfield d'éléments signés.
-
Canada welcomes EU proposal to become 'associate member'
Le Premier ministre canadien Mark Carney a accueilli favorablement la proposition d'Ursula von der Leyen de faire du Canada le premier « membre associé » de l'UE, un statut qui n'existe pas encore et dont la mise en œuvre pourrait prendre des années. Devant le Parlement européen à Strasbourg, il a appelé à une coopération renforcée sur la défense, les minéraux critiques, l'énergie (GNL et hydrogène canadiens contre l'expertise européenne en énergies propres), la technologie et la mobilité des jeunes via Erasmus+. Il a insisté sur la souveraineté face à la « rupture géopolitique », l'arme qu'est devenue l'intégration économique et les droits de douane, tout en excluant une adhésion pleine ni la formation d'un troisième bloc rival des grandes puissances.
Donald Trump a qualifié l'idée de « risible » et a menacé d'imposer des tarifs douaniers « très lourds » à l'Europe s'il y voyait un « acte hostile ». Carney a répondu qu'il s'agissait d'un processus positif et que personne ne dicterait au Canada ses accords internationaux.
Toute nouvelle disposition exigerait l'accord des 27 États membres, certains ayant déjà exprimé des réserves. Un sommet Canada-UE à Montréal fin octobre doit préciser les détails, après un débat et un vote au Parlement canadien.
La discussion révèle d'abord une ignorance partagée : personne, ni les partisans ni les sceptiques, ne sait précisément ce que signifie « membre associé » de l'UE — c'est une catégorie apparemment inédite. Plusieurs commentateurs supposent qu'il s'agit d'un accord fourre-tout (libre-échange, mobilité, programmes de recherche) auquel on a collé une étiquette Flatteuse, négocié séparément du statut d'adhésion. Un commentateur rappelle que le CETA couvre déjà 98 % des échanges et qu'il n'est toujours pas ratifié par tous les États membres, ce qui tempère l'enthousiasme ; un autre doute qu'un accord associé soit plus concret, comparant cela à des opérations marketing passées de l'UE. Une curiosité juridique est relevée : le Canada partage une frontière maritime avec la France via Saint-Pierre-et-Miquelon.
Les enthousiasmes convergent vers la perspective d'une libre circulation des personnes (type Schengen, droits de travail et de résidence), même si certains notent que le marché du travail canadien pourrait souffrir de la concurrence européenne, et que le problème du logement au Canada (prix moyen ~675 000 $ pour des revenus familiaux moyens <110 000 $) limite la capacité d'accueillir des travailleurs. Sur la mécanique diplomatique, des retours d'expérience indiquent que Carney et les Européens préparent ces annonces depuis des mois — des diplomates français cités par le WSJ s'étonnent eux-mêmes de la rapidité soudaine — et un livre de Jacques Attali sur les « sherpas » est suggéré pour comprendre la chorégraphie des annonces.
Le contexte Trump polarise la discussion : beaucoup voient ce rapprochement comme une réponse aux menaces tarifaires américaines qualifiant le projet de « laughable », tandis qu'un avis minoritaire y voit du théâtre politique destiné à justifier le soutien canadien au financement européen de l'aide à l'Ukraine — ce que d'autres contredisent en invoquant les intérêts géopolitiques propres du Canada (frontière arctique avec la Russie). Enfin, des débats internes à HN sur la modération et une supposée partialité pro-UE affleurent, sans apporter d'éléments factuels.
-
Why I didn’t sign the Fields medallists’ letter
Timothy Gowers explique pourquoi il n'a pas signé la lettre de 25 médaillés Fields mettant en garde contre l'IA en mathématiques. Il commence par une anecdote personnelle : enfant, il a cherché à prouver le dernier théorème de Fermat, sans succès, mais en découvrant empiriquement les suites de différences — illustration de l'idée défendue par la lettre qu'on apprend beaucoup même sans résoudre un problème.
S'il est d'accord avec l'idée qu'une crise existe, il ne souscrit pas à l'argument central de la lettre, qui présente la résolution de problèmes comme un simple outil au service de la compréhension conceptuelle. S'appuyant sur son essai « The Two Cultures of Mathematics », il soutient qu'il existe un spectre d'attitudes chez les mathématiciens — certains motivés par la résolution de problèmes, d'autres par la compréhension conceptuelle — et que cette diversité est une richesse qu'il ne veut pas décréter « fausse ». Il craint aussi que la communauté mathématique ne se divise amèrement.
Il précise sa situation : il a des contacts chez OpenAI et un accès anticipé à certains modèles, mais n'a jamais été payé par eux ; son groupe de Cambridge sur la démonstration automatique de théorèmes a dû « avaler la bitter lesson », puisque les LLM prouvent désormais des théorèmes intéressants sans les insights sur le raisonnement humain que son équipe cherchait à exploiter.
La discussion porte sur l'essai de Timothy Gowers expliquant pourquoi il n'a pas signé la lettre des médaillés Fields critique envers les entreprises d'IA. Les commentateurs relèvent que l'essai lui-même (aussi attribué à Tao dans un commentaire, probablement par confusion ou mauvaise attribution) adopte une posture conciliatrice : plutôt que de reprocher aux IA de produire trop de résultats trop vite, il faut reconnaître les changements à venir et organiser la transition. Plusieurs soulignent la tension centrale de l'article : une vague de résultats majeurs non « digérés » par la communauté serait acceptable si elle s'accompagne d'un accroissement des résultats réellement assimilés, le vrai risque étant la destruction des structures sociales qui permettent cette digestion.
Deux lignes de désaccord se dégagent. D'un côté, certains jugent que la lettre des médaillés n'a jamais apporté d'arguments convaincants sur le financement de mathématiciens dont le rôle serait seulement de comprendre, ni sur la survie du pipeline postdocs/tenure ; ils estiment que les outils existent et qu'il faut gérer cela comme un problème de court terme, pas une cause structurelle. De l'autre, un avis critique estime que les entreprises d'IA « exploitent » les problèmes ouverts (comme la mine de Navier-Stokes) pour un coup de communication, sans souci du champ, et qu'elles perturbent un système de collaboration humain-IA pourtant fonctionnel — l'IA prenant en charge le travail de répétition, l'humain restant plus efficace pour cibler les directions prometteuses.
Les retours concrets incluent le parallèle avec le génie logiciel, où le recrutement de juniors chute et « casse l'échelle » qui produit les seniors — risque identique pour la mathématique si les doctorants délaissent la carrière académique pour mieux payer dans l'industrie. Un commentateur note que l'IA rend triviales des tâches difficiles mais pousse à des problèmes plus durs : le plancher et le plafond montent. D'autres s'interrogent sur la valeur d'une preuve de 1000 pages vérifiable seulement par machine, ce qui oppose les deux « cultures » mathématiques (résoudre vs comprendre).
-
The American Religion of Self-Storage Facilities
Chronique en forme de road trip à travers les États-Unis sur l'industrie du self-storage (garde-meubles). L'auteur, fasciné par la place du stockage d'objets personnels dans la culture américaine, détaille l'ampleur du secteur : environ 90 % de la capacité mondiale, des revenus annuels estimés à plus de quarante milliards de dollars, plus d'établissements que les Starbucks, McDonald's, Walmart et autres enseignes réunis. Il explore les moteurs du marché (décès, divorce, déménagement, réduction de logement, et l'illusion que les enfants voudront l'héritage), le secteur devenu une classe d'actifs institutionnels avec les REIT et les fonds de private equity, et raconte des anecdotes de clients et d'opérateurs, dont un ami ayant construit une installation de 145 unités dans les années 1990.
La discussion déplace rapidement le débat : plusieurs commentateurs estiment que l'article pose la mauvaise question. Le vrai mystère n'est pas la demande des consommateurs mais l'abondance de l'offre, portée par un modèle économique très attractif pour les investisseurs : faible coût de construction et de terrain, quasi aucun employé, faible risque juridique, charges minimales et flux de trésorerie mensuel fiable. Un intervenant cite une analyse de Modern MBA allant dans le même sens, tout en rappelant que les clients typiques traversent un événement de vie (déménagement, décès, divorce, réduction de logement — les « 4 D »). Un autre nuance toutefois ce tableau : la demande n'est pas élastique, et construire une deuxième installation dans une ville ne crée pas mécaniquement de nouveaux clients.
Les retours de terrain divergent sur l'usage réel des unités. Certains décrivent des usages rationnels : résidents de petits logements stockant matériel de camping ou boîtes d'origine d'écrans, artisans et petites entreprises utilisant les box comme mini-entrepôts (parfois même des usages surprenants comme un stand de tir ou un atelier de tatouage en Floride), stockage saisonnier avec rotation régulière. À l'inverse, plusieurs témoignages illustrent la dérive : un parent payant plus de 500 dollars par mois depuis 18 ans pour des conteneurs valant environ 5 000 dollars, des frais mensuels qui montent sans transparence, et des témoignages de claustrum qui s'étend pour remplir tout l'espace disponible. Plusieurs regrettent que des terrains destinés au logement accueillent des entrepôts de stockage.
Deux points contredisent ou complètent l'article : un commentateur souligne qu'il ignore le marché du logement — en habitat dense, le stockage à domicile est impossible et l'unité de location relève de la nécessité plus que d'une « religion » du rangement. D'autres ajoutent des critiques du secteur lui-même : certains États exonèrent légalement les opérateurs de toute responsabilité en cas de vol, et les tarifs au-delà de quelques mois sont impossibles à obtenir.
-
Australia says it could follow Canada in forging deeper ties with EU
L'Australie se déclare alignée avec le Canada, qui cherche à nouer une « alliance unique » avec l'UE — et non une adhésion pleine — face à la escalade du différend commercial avec les États-Unis. Le ministre australien du commerce Don Farrell dit suivre avec intérêt les démarches du premier ministre canadien Mark Carney, sans préciser quelle forme prendrait un rapprochement avec Bruxelles.
Les discussions Canada–UE porteraient sur la libre circulation des biens, services et travailleurs dans des secteurs clés (IA, énergie, défense, minéraux critiques), avec des projets d'infrastructure communs (câbles sous-marins, data centers, cloud, satellites), et sur la libre circulation des personnes. L'Australie, frappée par des tariffs américains malgré son traité de sécurité et son accord de libre-échange avec Washington, a signé en mars un accord de libre-échange avec l'UE après huit ans de négociations.
La discussion tourne autour de la fiabilité du rapprochement Australie/UE annoncé : plusieurs commentateurs australiens jugent que leur gouvernement est trop timoré et trop aligné sur les États-Unis pour faire un geste concret, et qu'on restera sur la « voie du milieu » classique — commercer avec tout le monde sans choix géopolitique tranché. Beaucoup y voient surtout un signal symbolique envoyé à Washington, à l'image du Canada, plutôt qu'une véritable intégration politique. Un point technique important corrige l'article : le statut d'« membre associé » de l'UE n'existe pas dans les traités, il n'a donc pas encore de contenu défini ; plusieurs notent que le Canada a déjà CETA avec l'UE et un accord avec l'AELE, ce qui laisse penser qu'un « associé » irait au-delà du simple libre-échange, sans doute vers un modèle type Norvège/Suisse ou une forme d'EFTA « lite » avec libre circulation, ce que certains jugent peu réaliste vu la réciprocité exigée par l'UE.
Côté australien, les échanges sont nourris : l'économie repose sur l'exportation de matières premières (minerais, agriculture) et non sur une industrie manufacturière, ce qui explique l'intérêt pour la baisse des barrières commerciales plutôt que pour une union politique ; mais la dépendance envers la Chine est relativisée par un commentateur qui rappelle que les exportations progressent aussi vers les États-Unis, l'Inde et le Japon. Un autre corrige l'idée d'un « fossé » économique : la forte croissance repose en partie sur une immigration massive (~1,5 %/an), au prix de la crise du logement. Le dossier des sous-marins américains (800 M$ déjà payés pour des bateaux qui pourraient ne jamais être construits) et le précédent du contrat français annulé reviennent comme preuves d'une alliance jugée déséquilibrée.
Le clivage principal porte sur la pérennité du rejet de Trump : une partie estime que les relations avec les États-Unis sont durablement dégradées et que le « statu quo » a changé, l'autre que la frénésie actuelle retombera une fois Trump parti — même si on lui répond que les alliés devront continuer à anticiper 2032 tant que le problème constitutionnel américain n'est pas réglé.
-
HarnessTax: How Much Does the Harness Matter for Coding Agents?
Article (dont seul le titre est disponible) portant sur HarnessTax, une analyse de l'importance du harnais — l'infrastructure outillant l'agent — dans la performance des agents de codage. Aucun contenu au-delà du titre n'est fourni.
La discussion autour de l'étude « HarnessTax » nuance fortement ses conclusions. Plusieurs commentateurs s'accordent avec l'idée centrale : le harnais est indispensable mais les différences entre harnais sont exagérées — l'expérience de terrain confirme qu'un fin wrapper autour de bibliothèques comme Pydantic-AI suffit souvent, et qu'un harnais minimal facilite la maîtrise du code. Certains soulignent que Pi se révèle étonnamment aussi efficace en tokens que Codex ou Claude Code, et d'autres notent qu'il semble plus stable sur les modèles locaux de petite taille, où la gestion du contexte doit être déléguée au harnais.
La principale objection : qualifier la différence de « taxe » est jugé trompeur. Un avis critique rappelle que le poids supplémentaire de Claude Code et Codex sert (en théorie) à la sécurité et au sandboxing, et que Pi omet volontairement toute garde-fou — même si un autre répond qu'on peut sandboxer Pi (avec bubblewrap) à coût de tokens quasi nul, l'étude portant surtout sur la taille du system prompt. D'autres critiques relèvent que l'analyse est trop simpliste : elle ignore l'exécution parallèle, les sous-agents, la délégation multi-modèles et les modes « plan », qui influencent fortement coût et performance. Un praticien ajoute un facteur clé absent de l'étude : chaque modèle est optimisé pour les outils de son harnais natif (Edit pour Claude, apply_patch pour GPT), et les modèles récents gèrent moins bien les outils personnalisés proches mais différents.
Points concrets : le vrai levier serait davantage le contexte consommé (deux harnais peuvent faire un nombre d'appels similaire mais brûler très différemment le contexte) ; les prompts système bloatés de Claude Code/Codex, payés à l'API, rendent presque tout harnais alternatif moins cher ; les benchmarks sont par ailleurs difficiles car les harnais propriétaires changent plusieurs fois par semaine ; et le middleware du fournisseur d'inférence (deepinfra vs together.ai) peut lui-même dégrader les taux de réussite des éditions. Un point pratique : l'abonnement Codex est officiellement utilisable avec Pi, contrairement à celui de Claude Code.