HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11615 articles Page 952/1162 Sans filtre

Go hard on agents, not on your filesystem

Des utilisateurs signalent déjà des fichiers perdus, des arbres de travail vidés et des répertoires personnels effacés après avoir donné aux outils d'IA un accès ordinaire à leur machine. jai propose une solution intermédiaire : une commande unique qui crée une frontière légère pour les flux de travail locaux sans images ni Dockerfiles. Le répertoire de travail reste accessible en lecture/écriture, le répertoire personnel est monté en overlay copy-on-write pour capturer les modifications, et le reste du système est verrouillé en lecture seule avec /tmp et /var/tmp privés. Trois modes (casual, strict, bare) offrent différents niveaux d'isolation et de confidentialité — du simple overlay protégeant l'intégrité des originaux à une isolation plus stricte — mais aucune option ne garantit une sécurité équivalente à un conteneur durci ou à une VM. Cet outil est un logiciel libre développé par le groupe de recherche Stanford Secure Computer Systems et la Future of Digital Currency Initiative, conçu pour réduire le rayon d'impact des agents d'IA dans un usage courant plutôt que pour remplacer les solutions d'isolation fortes.

jai.scs.stanford.edu Resume pret HTTP 200 Commentaires

Show HN: New Causal Impact Library

Il s'agit d'un port fidèle du package R CausalImpact implémentant un estimateur bayésien de séries temporelles causales en Python, avec le noyau d'échantillonneur de Gibbs écrit en Rust via PyO3 pour accélérer de 10 à 30 fois. La méthode n'est valide que si les séries de contrôle ne sont pas contaminées par l'intervention, la relation traitement-contrôles est stable entre les périodes pré/post et la période pré-intervention est suffisamment longue (règle empirique : au moins trois fois la période post-intervention), sinon il faut considérer DID ou synthetic control. Le package nécessite Python 3.10+, s'installe par pip ou en développement en construisant l'extension Rust localement, et fournit une API CausalImpact(data, pre_period, post_period, model_args, alpha) avec des paramètres MCMC par défaut tels que niter=1000 et standardize_data=True. Le projet impose des tests d'équivalence numérique et une CI stricte comparant les sorties à R bsts sur plusieurs scénarios, incluant des contrôles déterministes ±1%, des tests TOST et des analyses ROPE pour garantir la parité statistique. La bibliothèque implémente les fonctionnalités R (niveau local, composantes saisonnières, spike-and-slab, régression dynamique) et ajoute des extensions Python comme le prior horseshoe, les tests placebo, l'inférence conforme et la sélection de contrôles par DTW, tout en affichant des gains de performance substantiels dans les benchmarks.

github.com Resume pret HTTP 200 Commentaires

Taming LLMs: Using Executable Oracles to Prevent Bad Code

Les agents de programmation basés sur des modèles de langage peuvent être très efficaces sur des tâches fortement contraintes, mais ils produisent souvent du code incorrect ou de faible qualité lorsque des degrés de liberté restent ouverts. L'auteur propose de supprimer ces degrés de liberté en utilisant des oracles exécutables — outils automatisés comme des suites de tests, des fuzzers, des testeurs basés sur des propriétés, des profileurs de performance et des outils de couverture — pour encadrer et vérifier les résultats. Des exemples concrets montrent que des oracles appropriés peuvent réduire nettement les erreurs et améliorer la qualité (prévenir des miscompilations, guider l'optimisation ou permettre la synthèse de fonctions de transfert), tandis que des aspects tels que l'architecture logicielle ou l'ergonomie d'interface exigent encore une intervention humaine. Pour être efficaces, ces oracles doivent être rapides, déterministes, exploitables en sandbox, produire des sorties concises et disposer d'interfaces de ligne de commande documentées, car les LLMs ont tendance à contourner ou à manipuler des métriques faibles et nécessitent une supervision attentive. L'objectif visé est d'atteindre zéro degré de liberté en tant que contrainte aspiratoire, mais comme des dimensions importantes du code — sécurité, maintenabilité, modularité — restent difficiles à mesurer automatiquement, le code généré par les LLMs n'est pas encore adapté aux cas critiques.

john.regehr.org Resume pret HTTP 200 Commentaires

Building a Blog with Elixir and Phoenix

L'auteur décrit la composition d'un blog construit avec Elixir et Phoenix en rendu côté serveur, les pages de billets étant générées à partir de fichiers Markdown via NimblePublisher. La stack est minimaliste sans base de données, utilise Tailwind pour le style et Makeup pour le surlignage de code, avec Earmark configuré pour injecter des classes CSS dans le HTML généré. Le flux CI/CD repose sur GitHub Actions, un Docker multi-étapes pour les images, et le déploiement automatique est assuré par Dokploy exécuté sur des serveurs Hetzner, avec bunny.net en CDN. Des fonctionnalités additionnelles incluent un flux RSS, un générateur de sitemap, une redirection pour conserver les anciens liens de blog, des balises SEO et des fichiers llms.txt pour l'indexation par IA. Le dépôt source est public et l'auteur souligne que cette approche offre un pipeline de publication rapide et simple, recommandable pour les développeurs Elixir souhaitant un site personnel flexible.

jola.dev Resume pret HTTP 200 Commentaires

Show HN: Veil – Dark mode PDFs without destroying images, runs in the browser

Cette application propose un véritable mode sombre pour les PDF qui inverse le texte tout en préservant l'apparence des images et en laissant intacts les documents déjà sombres. Tout le traitement — OCR, rendu et exportation — s'effectue uniquement sur l'appareil de l'utilisateur, les fichiers ne quittent pas le navigateur et l'outil peut fonctionner hors ligne. Le logiciel analyse les images contenues dans les PDF pour extraire leur texte et rendre sélectionnables les éléments intégrés comme légendes de figures, axes et en-têtes de tableaux. L'export produit des PDF sombres de haute qualité, recherchables et compatibles avec n'importe quel lecteur, tout en conservant les liens internes et externes tels que la table des matières et les DOI. Conçu pour les chercheurs et étudiants qui lisent tard la nuit, le service est disponible sur bureau et propose un modèle de soutien pour maintenir la gratuité.

veil.simoneamico.com Resume pret HTTP 200 Commentaires

Cloudflare's Gen 13 servers: trading cache for cores for 2x performance

Cloudflare a comparé ses serveurs Gen 12 basés sur AMD Genoa‑X avec la génération 13 Turin et a constaté que Turin augmente fortement le nombre de cœurs tout en réduisant le cache L3 par cœur, ce qui pose un risque pour les charges sensibles à la localité. Les compteurs de performance ont montré une hausse marquée des défauts de cache L3 et une dépendance accrue aux accès DRAM, ce qui augmentait sensiblement la latence sous FL1 malgré un gain de débit brut. Des optimisations matérielles et des réglages (préfetchers, affinités, PQOS) ont apporté des gains marginaux mais n’étaient pas suffisants pour maintenir les SLA à haute utilisation. La réécriture complète en Rust du plan de traitement des requêtes (FL2) a réduit la dépendance au cache, amélioré les motifs d’accès mémoire et permis d’exploiter la montée en cœurs de Turin. En production, l’association Gen 13 Turin + FL2 a permis de doubler le débit par rapport à Gen 12 tout en abaissant la latence et en améliorant l’efficacité énergétique d’environ 50 %, entraînant un déploiement à grande échelle.

blog.cloudflare.com Resume pret HTTP 200 Commentaires

Zero Days: Electric Motorcycles Are a Security Nightmare

Les auteurs ont évalué la sécurité de l'application Android et du firmware des motos électriques Zero, débutant par des tentatives de dépotting du PCB qui ont été abandonnées après identification d'un encapsulant polyuréthane difficile à enlever. L'application Android contenait des informations sensibles (URL et token) et l'API FOTA permettait de récupérer des archives de firmware exploitables, y compris des fichiers .map facilitant la rétro‑ingénierie. Les firmwares et le bootloader vérifiaient uniquement un SHA‑512 salé statique (même sel sur toutes les machines) pour autoriser les mises à jour, et le mécanisme d'authentification BMS reposait sur un calcul local prévisible, rendant possible la génération de codes valides. La communication CAN et le protocole de mise à jour Bluetooth étaient dépourvus d'authentification adéquate, permettant via un script Frida ou un dongle CAN peu coûteux d'écrire des firmwares malveillants sur les ECUs et d'implanter un C2 capable d'altérer le comportement et la sécurité du véhicule. Après des mois de tentatives de divulgation restées sans réponse, CERT/CC a contacté le fabricant, qui a depuis mis le serveur FOTA hors ligne, désactivé l'accès séquentiel BOM et commencé les tests d'une signature ECDSA asymétrique pour les firmwares.

persephonekarnstein.github.io Resume pret HTTP 200 Commentaires

Fast regex search: indexing text for agent tools

Depuis grep (1973), les outils ont évolué vers des index syntaxiques et des LSP, mais les agents continuent d'utiliser des recherches par expressions régulières comme grep ou ripgrep pour fournir du contexte. ripgrep est nettement plus rapide que grep mais souffre d'un goulot d'étranglement majeur lorsqu'il doit parcourir l'intégralité d'immenses monorepos, ce qui dégrade les workflows agentiques. L'approche classique consiste à construire un index inversé de trigrammes pour limiter le sous-ensemble de fichiers à vérifier, ce qui accélère beaucoup les requêtes regex mais implique des compromis de taille d'index et de précision. Des solutions alternatives améliorent ce schéma, notamment les tableaux de suffixes, les postings enrichis par des masques probabilistes de type Bloom pour simuler des quadgrammes, et les sparse n-grams déterministes pondérés par fréquence pour réduire le nombre de consultations d'index. Pour minimiser la latence et préserver la confidentialité, l'indexation et l'interrogation sont effectuées côté client avec un format compact mmapable et des mises à jour basées sur l'état Git, ce qui augmente sensiblement l'efficacité des Agents sur de grands dépôts.

cursor.com Resume pret HTTP 200 Commentaires

Personal Encyclopedias

L'année dernière, en rangeant 1 351 photos anciennes chez sa grand-mère, l'auteur a trié, scanné et regroupé des images couvrant plusieurs générations. L'auteur a interrogé sa grand-mère pour reconstituer l'ordre et le contexte des photos, puis a rédigé des pages encyclopédiques en local avec MediaWiki. Il a ensuite expérimenté avec des modèles de langage et des métadonnées EXIF pour générer automatiquement des brouillons et identifier lieux et personnes à partir de photos et vidéos. En combinant photos, exports de données (localisation, transactions, trajets, musique et messages) et modèles, il a produit des pages détaillées reliant événements, lieux et échanges personnels, constituant peu à peu une encyclopédie personnelle. Le projet a été publié en open source pour fonctionner localement et préserver les données personnelles, et l'expérience a permis de révéler, documenter et raviver de nombreuses histoires familiales.

whoami.wiki Resume pret HTTP 200 Commentaires