HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11978 articles Page 747/1198 Sans filtre

Where OpenClaw Security Is Heading

L'objectif est de faire d'OpenClaw un moyen de confiance pour exécuter un assistant IA puissant sur une machine réelle. Pour réduire les risques liés au système de fichiers, OpenClaw a rassemblé des primitives fs-safe pour imposer des racines de travail et prévenir les traversées de chemin et écritures hors-espace de travail. Pour contrôler la sortie réseau et limiter les risques SSRF, OpenClaw a introduit Proxyline, une couche de routage Node qui dirige le trafic vers un proxy configuré où s'appliquent les politiques d'egress et l'observabilité. La confiance des plugins passe par ClawHub, qui attache des preuves de scan, modération et provenance aux versions, peut quarantiner ou refuser des releases et vise des niveaux de confiance supérieurs pour éditeurs officiels. Des protections supplémentaires incluent des validations de commandes plus précises pour réduire la fatigue de validation et une analyse statique (OpenGrep et CodeQL) pour détecter et prévenir la réapparition de classes de bugs, tout en reconnaissant qu'aucun système n'est sans risque.

openclaw.ai Resume pret HTTP 200 Commentaires

Schanuel's Conjecture and the Semantics of Triton's FPSan

FPSan est un outil développé pour faciliter la vérification de l'équivalence algébrique de programmes Triton qui utilisent l'arithmétique en virgule flottante. Il remplace chaque opération flottante par des opérations entières via une injection bijective φ entre les flottants IEEE‑754 et l'anneau des entiers modulo 2^32, de sorte que des programmes algébriquement équivalents produisent des résultats identiques après transformation. La fonction φ mélange les bits de l'encodage IEEE‑754 en préservant φ(−x)=−φ(x), φ(0)=0 et φ(1)=1, et FPSan traduit fadd, fsub et fmul en opérations additives et multiplicatives dans Z/2^32Z tandis que exp(x) devient φ^-1(C^φ(x)) pour un C ≡ 5 (mod 8). Sous l'hypothèse de la conjecture de Schanuel, l'article reprend un résultat de Macintyre pour montrer que tout circuit arithmétique construit avec {−,+,×,exp} (et étendu à sin et cos en supposant la version complexe) conserve ses identités algébriques après application de FPSan via un homomorphisme vers l'anneau modulo 2^32. FPSan gère aussi le mélange de précisions en définissant des embeddings pour autres formats flottants et en convertissant des primitives comme la multiplication matricielle en opérations entières scalaires, tout en notant que la transformation n'est pas conçue pour préserver les performances.

cp4space.hatsya.com Resume pret HTTP 200 Commentaires

Apple Silicon costs more than OpenRouter

L'auteur calcule que la consommation électrique d'un MacBook Pro M5 (environ 50–100 W) représente seulement quelques cents par heure à environ 0,18–0,20 $/kWh. Le coût matériel (exemple d'un MBP 14" M5 Max affiché à 4 299 $) amorti sur 3, 5 ou 10 ans domine le coût par million de tokens, bien au-delà de la dépense électrique. Avec des vitesses d'inférence mesurées entre 10 et 40 tokens/s, l'amortissement conduit à un coût estimé d'environ 0,40 $ à 4,79 $ par million de tokens selon les hypothèses de durée et de consommation. Par comparaison, OpenRouter propose la Gemma4 31b autour de 0,38–0,50 $ par million de tokens et affiche des débits généralement plus élevés, rendant le cloud souvent moins cher et plus rapide. La conclusion est que la vitesse d'inférence est le facteur déterminant du coût effectif, et malgré les performances remarquables possibles sur appareil grand public, l'inférence locale reste souvent plus lente et potentiellement plus coûteuse que le cloud.

www.williamangel.net Resume pret HTTP 200 Commentaires

How diamonds are made

Les diamants se forment profondément sous la croûte terrestre lorsque des réactions chimiques à très haute pression et température font remonter des roches appelées kimberlites sous forme de cheminées volcaniques, dont seulement environ une sur 200 contient des diamants gemmes âgés d'environ 1 à 3,5 milliards d'années. Pour les localiser, on utilise des relevés magnétiques, la cartographie LiDAR et le forage pour analyser les carottes et estimer les carats par tonne, puis les sites économiquement viables sont exploités par déblaiement, excavation et tirs contrôlés qui fragmentent la kimberlite tout en laissant les diamants intacts. Les blocs extraits sont lavés à l'acide sulfurique pour dissoudre les impuretés, puis triés en diamants gemmes et industriels, la majorité d'entre eux n'étant pas destinés à la joaillerie. La plupart des diamants bruts sont envoyés à Surat en Inde, où des milliers d'ateliers scannent chaque pierre, établissent des plans de taille assistés par ordinateur et laissent des artisans polir et tailler les facettes à la main avec une extrême précision. Des laboratoires impartiaux attribuent un certificat fondé sur les «4C», inscrivent un numéro laser unique, puis les pierres circulent via des places commerciales comme Anvers, Mumbai et Dubaï, sont cotées selon le Rapaport et vendues aux bijoutiers qui remettent au client le certificat d'authenticité.

diamond.jaydip.me Resume pret HTTP 200 Commentaires

Most Americans don't trust AI – or the people in charge of it (2025)

Un rapport du Pew Research Center montre un important fossé entre les experts en IA, majoritairement optimistes, et le grand public, plutôt anxieux et méfiant. Environ trois quarts des experts estiment que l'IA leur sera bénéfique personnellement, contre seulement un quart des adultes américains, et les avis divergent sur l'impact sur l'emploi. Plus de la moitié des deux groupes désirent davantage de contrôle sur l'utilisation de l'IA et une majorité se méfie de la capacité du gouvernement et des entreprises à la réguler de manière responsable. La génération Z utilise massivement des outils d'IA mais se dit plus anxieuse qu'enthousiaste, craint un affaiblissement de la pensée critique et signale souvent l'absence de règles claires dans les écoles et les lieux de travail. Le rapport souligne également des problèmes de représentation et d'inégalités de genre parmi les concepteurs et les utilisateurs d'IA, qui reflètent principalement des perspectives masculines et blanches.

www.theverge.com Resume pret HTTP 200 Commentaires

Design posters showcasing your country's electrical grid

Grid2Poster crée des affiches imprimables des réseaux de transport d'électricité en extrayant et en rendant des données OpenStreetMap à l'aide de GeoPandas, OSMnx et Matplotlib. L'outil prend en charge des échelles nationales, infranationales et continentales ainsi que des régions prédéfinies, et permet d'utiliser un GeoJSON local comme frontière ou de rendre en mode paysage. Il récupère les objets OSM tagués power=line, optionnellement power=minor_line et power=cable, et la complétude des données dépend de la couverture OpenStreetMap locale, que l'initiative MapYourGrid aide à améliorer. L'installation se fait via un environnement virtuel Python et pip, l'exécution génère par défaut des fichiers PNG et SVG dans le dossier posters/ et met en cache les réponses OSM et géométries dans cache/. De nombreuses options contrôlent le rendu et la requête Overpass (taille des tuiles, inclusion de réseaux secondaires ou de câbles, dimensions papier, DPI, projection, export GeoJSON et thèmes), et les rendus continentaux peuvent nécessiter des centaines de requêtes et beaucoup de temps.

github.com Resume pret HTTP 200 Commentaires

Native all the way, until you need text

Un développeur natif macOS/iOS expérimenté a essayé d'implémenter un chat Markdown en Swift/SwiftUI et a découvert des limites hors des écrans simples. SwiftUI offre des performances acceptables pour des interfaces simples, mais il est impossible, par conception, de sélectionner un document Markdown complet construit à partir de primitives SwiftUI. Les alternatives natives (NSTextView/TextKit 2, NSCollectionView) ont posé des problèmes d'intégration, de performances en streaming et d'effets indésirables tels que des cellules clignotantes, rendant la solution native coûteuse en travail pour atteindre la parité fonctionnelle. WebKit a bien rendu le Markdown avec une typographie et des performances satisfaisantes, et une simple application Electron a surpris par sa qualité, offrant d'emblée des opérations textuelles, un bon rendu Markdown et des intégrations macOS. L'auteur conclut que pour des applications centrées sur le chat et le texte riche, les SDKs natifs d'Apple deviennent des contraintes et qu'une approche web-based (Electron/React Native) est souvent la seule alternative viable.

justsitandgrin.im Resume pret HTTP 200 Commentaires

AI is a technology not a product

Steven Levy affirme qu'Apple doit lancer un produit IA « killer » pour s'imposer dans l'ère de l'IA et il craint que des agents toujours actifs ne perturbent l'écosystème iPhone. Ternus et Greg Joswiak répondent que la stratégie d'Apple consiste à livrer des produits, des fonctions et des expériences remarquables plutôt qu'à promouvoir des technologies sous-jacentes. Levy imagine un futur où des agents IA automatiseraient des tâches quotidiennes comme appeler un véhicule sans interaction explicite de l'utilisateur. Le texte critique cette vision comme excessivement spéculative et soutient que le téléphone restera probablement l'outil principal pour des usages comme la commande d'un trajet en 2030. L'argument proposé est que l'IA sera omniprésente et intégrée à tous les appareils, à la manière du Wi‑Fi, plutôt que d'exister comme un unique « appareil IA » révolutionnaire.

daringfireball.net Resume pret HTTP 200 Commentaires

Fabricked: Misconfiguring Infinity Fabric to Break AMD SEV-SNP

La confidentialité des calculs en nuage repose sur des machines virtuelles confidentielles protégées matériellement, notamment par l'extension AMD SEV-SNP qui isole la mémoire et garantit la confidentialité des données en cours d'utilisation. Sur les puces AMD modernes, l'Infinity Fabric assure l'acheminement cohérent des données et la configuration dynamique des règles d'adressage et de routage, une étape partiellement déléguée au firmware UEFI de la carte mère. Des acteurs malveillants disposant d'un accès au firmware UEFI et à l'hyperviseur peuvent modifier la configuration de cet interconnect pour rediriger ou bloquer les transactions DRAM émises par le processeur de sécurité (PSP), en particulier lors de l'initialisation de la structure RMP. En empêchant les écritures du PSP d'initialiser correctement la RMP, l'attaquant laisse des entrées par défaut non sécurisées et obtient des lectures et écritures arbitraires dans l'espace d'adresses des CVM, contournant ainsi les garanties de SEV-SNP. L'attaque a été démontrée sur des processeurs Zen 5, est estimée affecter aussi Zen 3 et Zen 4, nécessite des privilèges UEFI et hyperviseur, opère sans accès physique et a été adressée par AMD via un correctif et le CVE-2025-54510.

xca-attacks.github.io Resume pret HTTP 200 Commentaires