HN Digest
Briefing personnel.

Lire vite.
Garder l'essentiel.

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

11474 articles Page 103/1148 Sans filtre

Markdown in /src

L'article observe que le Markdown tend à devenir la source d'implémentation plutôt que de la simple documentation dans les workflows d'IA générant du code. Il propose de stocker ces fichiers Markdown dans un répertoire /src/md à côté du code pour améliorer la localité et fournir un contexte lisible par les humains et les agents. Le Markdown stocké devrait contenir décisions architecturales, choix de niveau source et descriptions des modèles de données, et rester principalement rédigé et curaté par des humains. Les tests doivent être dérivés de ce Markdown et placés séparément (par exemple dans /test) afin de fournir une confirmation automatisée du comportement attendu. L'objectif est de préserver l'intention du logiciel et d'éviter la dispersion de connaissances dans des sessions de prompt éphémères ou des documents dispersés.

Show HN: Mini-AGI – Dynamic continual learning model trained on 8GB VRAM

Il s'agit d'un modèle de langage au niveau des octets qui s'entraîne en continu sur un seul GPU grand public (≥8 Go) en stockant les poids sur disque et en paginant dynamiquement les experts en VRAM. L'architecture combine deux blocs d'entrée et un bloc récurrent appliqué jusqu'à 24 fois avec un mécanisme de profondeur adaptative (PonderNet) et un routage soft top‑8 par application qui assemble des experts partageant des paramètres. La piscine d'experts croît par recombinaison de composants entraînés et se réduit quand des experts n'ont plus d'adresses, les fichiers d'experts (avec leurs moments Adam) vivent sur disque, sont mis en cache en RAM et seuls environ 32 experts sont résidents en VRAM à la fois. La prévention de l'oubli catastrophique repose principalement sur un taux d'apprentissage réduit pour le tronc (≈0,1× celui des experts), une stratégie qui, dans les expériences, a conservé plus de 99 % du progrès après des centaines de milliers de caractères d'une seule matière. Le projet est présenté comme une preuve de concept modeste plutôt qu'un modèle de pointe, utilisable et réentraînable sur des données personnelles sur une machine grand public avec des outils fournis (le dossier weights constitue l'état du modèle), et les résultats montrent une courbe d'apprentissage cohérente dépendante du matériel, des données et du temps d'entraînement.

Show HN: Foremerge – Catch intent conflicts between parallel coding agents

Le protocole coordonne des agents de codage qui travaillent dans des worktrees isolés en partageant des intentions, des revendications sémantiques, des ChangeSets provisoires, des décisions, des validations et la provenance. Chaque agent publie à l'avance les cibles qu'il compte modifier et le système détecte de façon déterministe des conflits sémantiques — même lorsque Git ne remarque aucune collision textuelle — en signalant les chevauchements et en proposant des suggestions de résolution. L'implémentation MVP est locale et pré‑1.0: une seule binaire Rust fournit une CLI, une API JSON, un serveur MCP et une base SQLite placée dans le répertoire commun Git pour partager l'état entre worktrees sur la même machine. Le flux impose une garde par validation: publier une intention, revendiquer la portée, publier un ChangeSet, exécuter des validations localement gérées, accepter le ChangeSet propre et enfin enregistrer le commit d'intégration sans fusion automatique. Le système émet uniquement des avertissements sans verrouiller les fichiers, ne sandboxe pas les validations, ne réplique pas la base SQLite entre machines et ne remplace pas la revue de code, l'architecture, le CI ou les règles d'hébergement Git.

In Search of a Compositional Theory of Self-Stabilization

L'auteur réexamine les défaillances métastables en revenant aux principes de la stabilisation automatique et cherche une théorie compositionnelle applicable. Il étudie un article de 2017 sur les contrats paramétriques assume-guarantee qui remplace une promesse conditionnelle unique par une famille de contrats indexés par le niveau de charge. Ce formalisme est limité parce qu'il modélise des composants sans mémoire et un unique scalaire de "mauvaiseté", ce qui empêche de représenter les files d'attente et le raisonnement de convergence. En appliquant ces idées à un modèle concret avec deux files (travail frais et doublons), l'auteur calcule une matrice linéarisée de gains dont un des valeurs propres dépasse 1, expliquant la croissance des perturbations. Des remèdes pratiques comme un budget de retries, un service priorisant le travail frais ou un plafond sur les files suppriment le couplage instable et laissent penser que les éléments du formalisme paramétrique sont réutilisables mais insuffisants pour une composition pratique complète.

Copper-Rs: Live Telemetry Deterministic Twins for Robots

La pile Copper normale peut conserver un journal embarqué .copper, mais ce journal devient optionnel si l'on utilise le streaming de logs. On peut définir une série d'entrées minimales déterministes pour contrôler de façon reproductible tout ce qui arrive en aval. Copper émet ses copperlists en intégrant un codage de correction d'erreurs (FEC) en envoyant ensuite des paquets de correction rétroactifs pour les paquets perdus. Le Twin Copper décode, corrige et réordonne le flux provenant d'une connexion imparfaite grâce à la redondance du protocole, et la pile peut émettre des points de récupération auto-réparants pour redémarrer depuis n'importe quel point si trop de pertes se produisent. La pile Twin Copper peut piloter un robot en production, générer un journal .copper déterministe standard et fournir un affichage de télémétrie montrant messages, états de tâches, erreurs et champs structurés comme sur une instance Copper locale.