HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11659 articles Page 190/1166 Sans filtre

How well do agents use test/verification techniques?

L'expérience a testé si des consignes simples demandant à des agents de programmation d'utiliser des techniques ou bibliothèques de test (26 conditions, dont méthodes formelles, tests basés sur les propriétés, fuzzing, TDD et plusieurs "skills") améliorent la correction d'une implémentation Zstd en Rust. Les résultats montrent qu'aucune condition ne surpasse largement les autres, que la condition par défaut (sans instructions) fait mieux que la moyenne, que le TDD a sous-performé et que les méthodes formelles n'ont pas apporté d'amélioration notable. En pratique, les agents utilisaient la plupart des techniques de manière superficielle ou incorrecte, écrivaient des tests peu pertinents (entrées aléatoires majoritairement invalides, tests qui encodent des comportements erronés, propriétés triviales) et ne tiraient pas parti des outils formels. L'utilisation de skills volumineux augmentait souvent le coût en tokens sans améliorer la correction, tandis qu'une petite skill personnalisée a légèrement aidé mais sans éliminer les modes d'échec principaux. L'auteur en déduit que des solutions structurées — former les modèles sur des environnements RL dédiés au testing ou encadrer finement les agents avec audits et tests ciblés — seraient probablement nécessaires pour que les agents produisent des tests et des vérifications réellement efficaces.

danluu.com Resume pret HTTP 200 Commentaires

TALA Is Open-Source

TALA est désormais open source sous licence MPL-2.0 et intégré à D2 v0.9.0, utilisable localement avec --layout=tala ou via play.d2lang.com. Il s'agit d'un algorithme d'agencement automatique conçu pour les diagrammes d'architecture logicielle qui privilégie un rendu orthogonal proche des croquis sur tableau blanc plutôt que les approches DAG unidirectionnelles. L'algorithme combine des idées tirées de travaux de recherche et des techniques originales pour satisfaire plusieurs objectifs esthétiques tels que la symétrie, la distance médiane, le flux et le regroupement de nœuds, et des comparaisons avec Dagre et ELK sont présentées sur des exemples D2 publics. Il prend en charge le verrouillage de positions et de tailles de nœuds ainsi qu'un mode hybride où certains nœuds sont positionnés manuellement et d'autres automatiquement, ce qui facilite des usages assistés par IA tout en déléguant le routage. Les compromis incluent une composante aléatoire basée sur des graines pouvant produire des changements importants après de petites modifications, des performances moins bonnes sur les longs DAGs et une montée en coût non linéaire sur de grands diagrammes, et les auteurs invitent la communauté à contribuer.

d2lang.com Resume pret HTTP 200 Commentaires

I tested 10 model/harness combinations on the same Three.js task

L'auteur a testé un même prompt en /goal mode sur plusieurs modèles et configurations de harness pour déterminer lesquels fournissent les meilleurs résultats. Le prompt demandait une page HTML autonome en JavaScript avec une scène Three.js représentant un hangar sci‑fi, drones en suspension, lumières d'alerte animées, bandes de piste émissives, plans de brume volumétrique subtils, bascule de formation des drones et trajectoire de caméra cinématographique. Les résultats présentés incluent temps d'exécution, tokens d'entrée et de sortie, sous-comptes de raisonnement quand disponibles, taux de réussite et indicateurs tels que erreurs d'outil ou blocages pour chaque configuration testée. Toutes les exécutions GLM sont étiquetées GLM 5.3 Flash Max et les tokens d'entrée incluent des entrées mises en cache, tandis que le comptage des tokens de sortie englobe la génération totale y compris le raisonnement. La DSH n'isole pas le raisonnement dans ses rapports, cumule les durées actives des deux tours en excluant la pause entre eux, et les tirets indiquent des données non disponibles.

alvins82.github.io Resume pret HTTP 200 Commentaires

I've factored the RSA keys of a Certificate Authority from the 90s

L'article rappelle que la sécurité de RSA dépend de la difficulté à factoriser un semiprime et note que des tailles autrefois courantes (1024 bits et moins) sont désormais considérées comme faibles, avec récemment la factorisation de la clé RSA‑260 (862 bits). L'auteur a extrait des certificats racines depuis des archives d'installateurs d'Internet Explorer et de Netscape sur archive.org et a utilisé un outil LLM pour générer une page listant ces anciens certificats. Il a identifié deux certificats racines RSA 512 provenant d'E‑Certify inclus dans Netscape 4.51, qu'il a factorisés avec CADO‑NFS sur un Ryzen 9 5950X en environ 32 et 29 heures pour obtenir les clés privées. Pour vérifier le fonctionnement, il a écrit un serveur TLS en Go compatible avec les capacités très anciennes de Netscape 4.51, publié le site e-certify.fly.dev et mis les clés et outils dans un dépôt GitHub. L'article signale aussi d'autres clés RSA 512 (dont une CA de test VeriSign dans IE 3.02) facilement factorables, souligne les implications de sécurité de laisser de telles clés et suggère d'explorer ou d'évaluer ces archives avec prudence.

mcpherrin.ca Resume pret HTTP 200 Commentaires

We have a year to fix security everywhere

La sortie de GLM 5.3‑flash, un grand modèle de langage à poids ouverts et peu coûteux à exécuter localement, le rend accessible à des individus et organisations disposant d'un budget matériel modeste. Des versions modifiées avec suppression des refus et des résultats élevés sur des benchmarks comme CyberGym et ExploitBench indiquent que ces modèles peuvent identifier et parfois exploiter des vulnérabilités. La combinaison d'un accès large, de faibles coûts d'exploitation et d'une capacité croissante signifie que des attaques automatisées et continues deviennent plus probables tandis que le déploiement des correctifs reste le principal goulot d'étranglement. L'auteur préconise des mesures publiques visant à financer l'ingénierie de sécurité, à obliger des tests d'intrusion fréquents et à encadrer le triage et la correction des failles plutôt que d'interdire les modèles. Il recommande également aux entreprises et aux projets open source d'embaucher des ingénieurs en sécurité, d'utiliser les modèles de pointe pour la détection et la correction contrôlées, de durcir l'accès aux identifiants, d'améliorer la chaîne d'approvisionnement logicielle et d'accélérer les processus de déploiement et de récupération.

jyn.dev Resume pret HTTP 200 Commentaires

Icy Moons Are Ocean Worlds

Les missions Voyager, Galileo et Cassini, avec l’appui des télescopes Hubble et Webb et de la modélisation, ont transformé les lunes glacées en candidats majeurs pour des océans souterrains potentiellement habitables. Six lunes sont aujourd’hui confirmées comme possédant des océans (Europe, Encelade, Titan, Mimas, Callisto et Ganymède) et plusieurs autres corps (Dioné, Pluton, Miranda, Ariel, Triton, Obéron) sont de sérieux candidats. Europe présente une croûte jeune et un océan accessible par chauffage de marée, Ganymède et Callisto abritent de très profonds océans séparés par des glaces à haute pression, tandis qu’Encelade, Titan et Mimas montrent des configurations où l’eau peut être en contact avec le manteau rocheux. Encelade a été directement échantillonnée par Cassini et révèle des panaches salins contenant éléments bioessentiels, silice et hydrogène, et Titan combine un océan souterrain salé avec des mers de surface à base d’hydrocarbures offrant deux voies potentielles pour la vie. Les priorités d’exploration privilégient le contact eau-roche, l’ancienneté et la remise à neuf des océans, la présence de radioéléments internes et de panaches exploitable, expliquant l’intérêt marqué pour Europe et Encelade comme cibles astrobiologiques.

mceglowski.substack.com Resume pret HTTP 200 Commentaires

IBM Quantum Nighthawk R2

Le processeur Nighthawk r2 d'IBM utilise un reset de qubit indépendant et très rapide, permettant d'exécuter plus de 100 000 circuits par seconde, soit jusqu'à 25 fois le débit de la flotte Heron. Ce reset actif abaisse l'erreur d'initialisation d'environ 25 fois tout en préservant la fidélité des portes de classe Heron et en n'affectant pas les qubits voisins. La puce combine 120 qubits programmables, 218 coupleurs et 120 éléments de reset pour un total de 458 éléments physiques, augmentant la complexité de contrôle. Le reset en milieu de circuit et les circuits dynamiques facilitent la recherche en correction d'erreur et opérations tolérantes aux fautes, et le système a produit des estimations exactes sur des circuits de plus de 7 500 portes, un jalon de la feuille de route 2026. Disponible maintenant sur la plateforme IBM Quantum, le système permet d'accroître la capacité de calcul utile pour des charges de travail répétitives et applicatives, avec des gains pratiques rapportés jusqu'à environ 10 à 12 fois selon les tests.

www.ibm.com Resume pret HTTP 200 Commentaires