HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11521 articles Page 122/1153 Sans filtre

US Military had close call after using AI for hallucinated intelligence report

Un rapport d'intelligence, alimenté par un chatbot, a faussement affirmé qu'un navire chinois en Moyen-Orient transportait des composants d'armes nucléaires et a déclenché une alerte militaire américaine. Des forces armées américaines se préparaient à intercepter et à embarquer sur le navire, une opération qui aurait pu dégénérer en conflit armé avec la Chine avant que l'erreur ne soit découverte. L'incident a mis en lumière l'adoption rapide et décentralisée de l'IA par l'armée et les services de renseignement, sans normes uniformes ni vérification systématique des informations générées. Des responsables mettent en garde contre les « hallucinations » des outils d'IA et la pression pour produire des analyses plus vite, facteurs qui peuvent entraîner des décisions catastrophiques lorsque les analystes leur font trop confiance. Malgré ces risques, le Pentagone pousse à démocratiser l'IA au sein de ses effectifs pour accélérer la prise de décision tactique et stratégique face à des rivaux comme la Chine.

edition.cnn.com Resume pret HTTP 200 Commentaires

A search-and-inference database from scratch in pure Zig

Antfly a réécrit son moteur de recherche et de stockage de Go vers Zig pour poursuivre l'objectif ambitieux d'une « recherche parfaite » tout en reprenant la maîtrise complète de ses dépendances. La décision s'appuie sur des principes premiers: maximiser la fiabilité, viser des résultats asymétriques, et concevoir la plateforme pour pouvoir embarquer et contrôler ressources et comportements à tous les niveaux. Zig a été choisi plutôt que Rust pour sa portabilité et son interopérabilité C natives, le contrôle explicite des allocations et des vérifications, et la facilité de produire des builds sans dépendances externes. La version 0.2 intègre des tests de simulation VOPR et une pile complète maison (LSM, B+tree, WAL, Raft, HTTP/3) ainsi que des moteurs de documents, vecteurs denses et clairsemés, recherche full-text, graphes, enrichissements multimodaux et runtime de modèles. Le résultat est une plateforme embarquable et évolutive (binaire unique, API C, WASM, opérateur Kubernetes) conçue pour des cas RAG, OCR et systèmes de mémoire, accompagnée d'un quickstart et d'une suite d'évaluations publiques.

antfly.io Resume pret HTTP 200 Commentaires

I vibed a proof of Conway's conjecture

L'auteur a entrepris d'utiliser des modèles d'IA (Claude, ChatGPT, Codex) et la vérification formelle avec Lean pour aborder la conjecture de raffinement de Conway sur les entiers omnifics dans le cadre des nombres surréels. Le travail a été itératif et chaotique : nombreux essais avec des agents multi‑rôles, production de .tex hallucinatoire, sorties grandiloquentes ou incohérentes, et échecs répétés jusqu'à ce qu'on impose une discipline et une formalisation rigoureuse. En rebâtissant le projet, l'équipe IA a d'abord vérifié et formalisé des articles de référence, découvert et confirmé quelques erreurs, puis démontré et formalisé un résultat nouveau sur la primalité en degré fini, ce qui a servi de base solide. Après audits, isolation des preuves et simplifications partielles, l'auteur affirme disposer désormais d'une preuve formalisée dans Lean de la conjecture de Conway, qui reste toutefois à valider indépendamment par des mathématiciens. Les leçons retenues insistent sur la nécessité d'un chaînage Lean strict, d'une nomenclature standardisée, d'une supervision humaine, de workflows modulaires, de modèles complémentaires, et l'auteur mentionne un coût d'environ 40 000 dollars en tokens tout en invitant à signaler d'éventuelles erreurs.

overreacted.io Resume pret HTTP 200 Commentaires

We made Playwright 2x faster and 80% more token efficient

Il s'agit d'un SDK multiplateforme (TypeScript, Python et Go) conçu pour permettre à des agents d'interagir avec des sites web et d'extraire des données structurées. Il propose des API de type Playwright (goto, click, locator, screenshot) et des primitives en langage naturel — observe, act et extract — qui renvoient des sélecteurs réels, s'auto-réparent et retournent des données validées par schéma. Le fonctionnement inclut la persistance de sessions via cookies, une extension côté navigateur pour réduire la latence et une optimisation des tokens grâce au filtrage de l'arbre d'accessibilité, ainsi que le support des iframes imbriquées et du Shadow DOM fermé. L'outil peut être exécuté localement avec Chrome ou sur la plateforme cloud pour bénéficier de mise en cache, d'un Model Gateway, de proxies résidentiels, de contextes persistants et d'enregistrements de session pour des exécutions plus rapides. Le projet est open source sous licence MIT, fournit documentation, exemples et intégrations, et invite la communauté à contribuer et à signaler des bugs.

github.com Resume pret HTTP 200 Commentaires

Flock Offers Employees Buyouts as Customers Flee

Flock Safety a annoncé un programme volontaire de séparation offrant un package de départ qualifié de "généreux" aux employés, avec candidature ouverte jusqu'au 2 octobre. La société prévoit d'accepter la majorité des demandes et a précisé que les employés sauraient le 9 octobre si leur départ était accepté, la plupart quittant l'entreprise d'ici le 29 octobre. L'initiative intervient alors que Flock perd des clients et voit l'ambiance interne détériorée en raison d'une réprobation croissante liée à son réseau de lecteurs de plaques d'immatriculation, à des accusations d'abus et à des actes de vandalisme ciblant ses caméras. Flock a levé des fonds importants et avait une valorisation supérieure à 8 milliards, mais des contrats non renouvelés, des coûts imprévus et la possibilité de ventes d'actifs poussent la direction à réduire les effectifs ou proposer des départs volontaires. Le package inclut des montants de départ rapportés en dizaines de milliers de dollars, plusieurs mois de couverture santé et un délai prolongé pour exercer les options d'achat d'actions, tandis que l'entreprise développe aussi des outils d'enquête et des fonctions de surveillance alimentées par l'IA.

www.wired.com Resume pret HTTP 200 Commentaires

C++26: Trivial infinite loops are no longer undefined behaviour

Jusqu'à C++26, une boucle comme while (true); était considérée comme undefined behaviour en C++ et les compilateurs pouvaient l'optimiser away, provoquant des comportements surprenants tels que l'exécution de code placé après la boucle. Cette possibilité découlait de la garantie de progression d'exécution (forward progress) qui autorisait l'implémentation à supposer qu'un thread finirait par effectuer une opération observable, tandis que le langage C interdisait explicitement de présumer la terminaison pour les boucles à expression constante. La proposition P2809R3, acceptée pour C++26, introduit la notion de « trivial infinite loop » et spécifie que le corps de telles boucles est remplacé par un appel à std::this_thread::yield(), leur donnant les sémantiques de progression nécessaires. Une boucle infinie triviale est strictement définie comme une instruction d'itération au corps littéralement vide (; ou {}) dont l'expression de contrôle est une constante évaluant à true, et toute autre forme n'est pas couverte par cette règle. Sur les environnements freestanding, la substitution par std::this_thread::yield() est implementation-defined et peut donc modifier le comportement attendu sur du bare metal, mais au global C++26 corrige l'écart avec C et améliore la sûreté pour les cas embarqués.

www.sandordargo.com Resume pret HTTP 200 Commentaires

The Implications of Linguistic Illegibility for LLM Security

Les auteurs montrent que les sorties linguistiques externes et les caractéristiques linguistiques extraites mécaniquement des grands modèles de langage peuvent être un indicateur peu fiable des calculs internes du modèle. Ils introduisent le terme « illisibilité linguistique » pour désigner les situations où les artefacts linguistiques produits par un modèle ne reflètent pas sa manière réelle de penser. Ils soutiennent que cette illisibilité est inévitable lorsque les calculs internes sont des opérations mathématiques sur des espaces d'activations avec des traductions lossy entre ces espaces et le langage naturel. En conséquence, les mécanismes de sécurité reposant sur l'auto-déclaration linguistique du modèle, tels que la surveillance du raisonnement, l'auto-critique constitutionnelle ou le sondage d'activations pour des vecteurs linguistiques, ne peuvent jamais être entièrement sûrs. Les auteurs proposent le suivi de taint comme approche prometteuse pour sandboxer les modèles et discutent d'autres mesures complémentaires, comme la virtualisation robuste et l'audit tiers des configurations, qui établissent un plancher de sécurité et auraient atténué des exploits récents.

arxiv.org Resume pret HTTP 200 Commentaires

Alibaba open-sources AI model that can detect cancer and nearly 150 conditions

Damo Academy, la branche recherche d'Alibaba, a publié en open source un modèle d'intelligence artificielle capable d'identifier près de 150 affections abdominales à partir de scanners CT. Le modèle vision-langage, nommé Damo Radar, analyse des scanners TDM avec produit de contraste couvrant 18 organes abdominaux pour détecter maladies et anomalies, y compris les tumeurs malignes. Il a été entraîné sur des couplages d'images CT et de rapports cliniques issus d'examens réels. Sur près de 40 000 examens du monde réel, il a obtenu une AUC moyenne de 0,913 pour 146 diagnostics cliniques, l'AUC de 1,0 représentant une précision parfaite. L'équipe de recherche indique que la méthode pourrait s'étendre à d'autres types d'imagerie médicale et qualifie le modèle de premier modèle généraliste de niveau expert pour l'imagerie médicale.

www.scmp.com Resume pret HTTP 200 Commentaires