HN Digest
Briefing personnel.

Edition quotidienne

Lire vite. Garder l'essentiel.

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

7042 articles Page 1/705 Sans filtre

06:06

The Annotated JEPA

Le texte présente Joint Embedding Predictive Architectures (JEPA), une famille d'approches de self‑supervised learning qui apprennent à prédire des représentations latentes plutôt que des pixels afin d'extraire des caractéristiques sémantiques et éviter de gaspiller de la capacité sur le bruit. L'instanciation image, I‑JEPA, utilise un encodeur de contexte qui ne voit que des patches visibles, un encodeur cible qui voit l'image complète mis à jour par moyenne mobile exponentielle, et un prédicteur qui estime les embeddings des régions masquées avec une perte MSE dans l'espace des représentations. Les auteurs détaillent l'architecture complète, le schéma d'échantillonnage des blocs masqués, l'implémentation PyTorch pédagogique (ViT, prédicteur, générateur de masques) et une boucle d'entraînement avec mise à jour EMA et planification du momentum. Les extensions V‑JEPA et V‑JEPA 2 adaptent le principe aux vidéos en masquant des blocs spatio‑temporels et montrent que la prédiction dans l'espace latent facilite non seulement l'apprentissage de représentations transférables mais aussi la prévision et le planification action‑conditionnée. LeJEPA propose une alternative théorique en évitant heuristiques comme l'EMA via SIGReg, une régularisation distributionnelle qui pousse les embeddings vers une gaussienne isotrope par projections aléatoires pour prévenir l'effondrement, et le texte insiste sur les diagnostics nécessaires car la baisse de la perte auto‑supervisée n'implique pas automatiquement une meilleure utilité downstream.

06:06

Prismata: Confining cross-site prompt injection in web agents

L'essor des agents web autonomes les expose aux mêmes surfaces d'attaque que le web, notamment parce que l'interprétation du langage naturel permet aux contenus tiers et générés par les utilisateurs de détourner l'agent par injection de consignes. Les auteurs présentent une défense qui applique le principe de moindre privilège contextuel en limitant à la fois ce que l'agent voit et ce qu'il peut faire. Cette approche dérive dynamiquement des étiquettes de permission pour le contenu des pages avec des garanties de confinement structurel inspirées des modèles classiques d'intégrité, de sorte que les erreurs d'étiquetage ne peuvent qu'abaisser les privilèges et restent bornées. Le confinement mécanique met en œuvre ces étiquettes en masquant le contenu et en restreignant les capacités de l'agent sans nécessiter d'annotations des développeurs, ce qui permet de couvrir un grand nombre de sites web. Dans des évaluations sur des attaques publiées, y compris des variantes adaptatives, la défense réduit substantiellement le succès des attaques tout en préservant l'utilité pour des tâches bénignes.

06:05

In Emacs, everything looks like a service

L'article explique que cet éditeur n'est pas un système d'exploitation mais fonctionne comme une plate-forme capable d'orchestrer applications et utilitaires au-dessus du noyau. Il présente le modèle client-serveur et identifie trois responsabilités du client : interface utilisateur, couche de communication et base de données locale. Une liste de bibliothèques intégrées et externes est fournie pour couvrir l'interface, le réseau et le stockage local, permettant d'implémenter un client complet. Un exemple concret montre, via le langage de script intégré, la création d'un client pour wttr.in qui récupère du JSON et affiche la météo dans le mini-buffer, avec une alternative déléguant le travail à un utilitaire en ligne de commande. La conclusion souligne que tout y apparaît comme un service et que la nature dynamique de l'environnement facilite l'improvisation et l'intégration rapide d'outils externes.

06:05

Cpp2Rust: Translates C++ to safe Rust automatically

Cet outil traduit automatiquement du C++ en Rust entièrement sûr en s'appuyant sur l'AST générée par clang et décrit par une publication PLDI 2026. Le traitement consiste à parser les fichiers C++ avec clang, parcourir l'AST, émettre des chaînes de code Rust en insérant des appels à la runtime libcc2rs lorsque nécessaire, puis formater le résultat avec rustfmt dans un unique fichier .rs. Par défaut le modèle de comptage de références produit du Rust entièrement sûr, tandis qu'un modèle produisant du Rust unsafe est disponible via l'option --model=unsafe pour des comparaisons de performances ou du débogage. La bibliothèque d'exécution libcc2rs fournit le type Ptr<T> qui modélise la sémantique des pointeurs C (null, arithmétique et aliasing) tout en respectant le vérificateur d'emprunts grâce à des vérifications à l'exécution. Le projet fournit des instructions de compilation et d'exécution (dépendances Ubuntu, cmake/ninja), des commandes pour traduire un fichier ou un répertoire utilisant compile_commands.json, et une suite de tests accessible via ninja check et cibles associées.

06:05

FreeCAD in the Browser

Un port complet de FreeCAD a été réalisé en WebAssembly, empaquetant OCCT, Coin3D, CPython, PySide6 et un sous-ensemble de VTK/SMESH dans un module wasm unique d'environ 196 Mo (≈96 Mo compressé au premier chargement). Le chantier a exigé une chaîne d'outils sur mesure avec Qt 6.11 compilé pour wasm avec JSPI et exceptions wasm natives, ainsi qu'un lien statique de tous les modules Python via l'inittab. Les défis techniques majeurs ont porté sur l'émulation des appels OpenGL fixe‑fonction pour WebGL2 avec un rendu hors écran, la normalisation des encodages d'exceptions wasm et le port inédit de PySide6/shiboken6 vers wasm. Un grand nombre de bogues d'exécution, de désaccords ABI, de ressources manquantes et de chemins critiques (proxies de focus, vertex arrays, expat/VKT, etc.) ont été résolus, et des optimisations de composition et de VBO ont amélioré les performances. La version fonctionnelle cible Chromium récent (JSPI), offre 17+ workbenches, scripting Python embarqué et affichage FEM en lecture, mais reste mono‑threadée, volumineuse au chargement et avec certaines fonctionnalités hors ligne (remesh, solve, addons) limitées.

06:05

Gary Kildall's Death Investigation

Gary Kildall, pionnier des micro-ordinateurs et créateur de CP/M et GEM, a été longtemps éclipsé par Microsoft et Apple malgré ses innovations. Sa mort le 11 juillet 1994 a engendré de nombreuses rumeurs contradictoires et une mythification comparable à celle entourant sa prétendue affaire d'avion en 1980. Les archives indiquent qu'un incident de santé s'est produit le 8 juillet au Franklin Street Bar & Grill à Monterey, qu'il a d'abord refusé des soins, puis a été hospitalisé par intermittence avant de décéder trois jours plus tard. L'autopsie a révélé une hémorragie cérébrale causée par un caillot sanguin et aucune charge ni preuve crédible d'une bagarre ou d'un homicide n'ont été retenues. Malgré la persistance des théories conspirationnistes, le déroulement des faits, l'absence de témoins d'une agression et la décision rapide de la famille rendent l'explication médicale et accidentelle la plus vraisemblable.

06:05

The Clouds of Hiroshima

L'article examine les photographies emblématiques du champignon atomique d'Hiroshima, en particulier celles prises depuis les avions impliqués dans la mission et par des appareils de reconnaissance. Il compare deux clichés de S/Sgt. George Caron pris depuis l'Enola Gay, notant des recadrages, des différences d'angle et de moment qui affectent l'échelle et la lisibilité du nuage. L'auteur distingue le nuage créé par la détonation immédiate du « mushroom cloud » du pyrocumulus de fumée plus tardif causé par l'incendie, et critique l'usage fréquent de photos prises plusieurs heures après l'attaque pour illustrer la déflagration. Plusieurs photographies prises du sol par des Japonais, notamment Mitsuo Matsushige et Seizo Yamada, offrent des perspectives impressionnantes et immédiates du nuage, bien que le moment exact de certaines prises soit débattu. Le texte conclut en soulignant l'immensité du nuage et la difficulté d'en déterminer la hauteur précise, et annonce un futur article sur les images et témoignages relatifs à Nagasaki.

06:04

Show HN: Phobos – A tiny scale-free kernel language with tile-DAG support

L'auteur a développé Phobos, un petit langage noyau inspiré de Triton qui compile via MLIR/LLVM/NVPTX en PTX et s'exécute sur GPU NVIDIA. Phobos est centré sur des types de tenseurs et de tuiles de première classe et expose des constructions pour le tiling, l'autotuning et l'abstraction des threads via des intrinsics comme program_id. Sur une RTX 2080 SUPER, Phobos atteint environ 76 % du débit GFLOP/s de cuBLAS pour un SGEMM en FP32 (soit ~74 % du pic théorique), avec des variantes utilisant des Tensor Cores en FP16/FP32 présentées comme des comparaisons non strictement équitables. Le compilateur génère du MLIR abaissé en LLVM IR puis en PTX, l'implémentation en Rust s'appuie sur melior et inkwell, et un prototype de planificateur de grappes produit un DAG de tuiles pour orchestrer ALLOC, FETCH, COMPUTE et FREE. Le prototype de cluster a été validé localement sur une seule machine avec nœuds simulés et l'auteur présente ce travail comme un projet de recherche personnel axé sur la compréhension des concepts GPU bas niveau plutôt que comme une solution prête pour le déploiement à grande échelle.

06:04

Show HN: Reviving my 2001 college band with AI

Le projet relance en 2026 des chansons originales du groupe universitaire Fading Maize issues d'une archive de chambre d'étudiant de 2001 grâce à une production assistée par l'IA. Le processus combine les versions d'archive et des éditions "Reimagined" accessibles côte à côte, avec un lecteur permettant de basculer entre les enregistrements en cours de lecture, et il repose sur cinq principes publics : consentement, paternité, provenance, conservation et non-déplacement. La chronologie retrace la genèse vers 2000, l'arrivée du batteur Jacob Graf en 2001, des enregistrements et concerts en 2002, la remise en ligne du site original en 2025 et la parution des éditions 2026. Les crédits maintiennent la primauté des contributions humaines : Charlie (Chuck) Saponara est l'auteur et la voix principale, Jacob Graf pilote la relance et l'architecture technique, et Brad Mott est crédité pour son rôle historique sans participation active imposée. La feuille de route prévoit d'ajouter d'autres paires avant/après, de restaurer des vidéos et photos d'époque et d'offrir des contenus et produits directs aux fans via Bandcamp et autres canaux.