Tech
reins — ne garder du Quest CLI que le domaine, le ratchet devient un framework
how-make-quest enseignait à bâtir un Quest CLI à mains nues. Mais dès le deuxième CLI, on réécrit le même ratchet, les mêmes scan/next/submit, la même agrégation. reins extrait cet invariant en framework — le ratchet, le squelette de commandes, l'agrégation et l'export sont fournis par reins, et vous n'implémentez que la porte de votre domaine (les 4 méthodes de gate.Definition). La porte est un catalogue de règles de défense anti-cheese, et le defeat graph de toulmin renvoie à l'agent un guide stratégique « pourquoi tu as perdu, et quoi changer pour gagner ».
Comment créer un Quest CLI — bâtir soi-même l'outil qui laisse la machine juger de l'achèvement
L'IA dit « C'est fait ». En réalité, ce ne l'est pas. Cet article explique comment bâtir soi-même l'outil qui résout ce problème — un Quest CLI. Du principe (le pourquoi) au squelette de commandes cobra (le comment), cet article unique suffit à ce qu'un agent crée un Quest CLI en Go. huma en est l'exemple pratique.
filefunc × Hono — Du code lisible par un agent en un passage : de 60 lignes à 18
Nous avons refactorisé Hono, un framework réel à 23k étoiles, avec filefunc. Les 4419 tests passent intégralement. Et la mesure révèle — quand un agent lit un concept, la médiane de lignes lues passe de 60 à 18, soit une réduction de 71 %. Ce qui compte, ce n'est pas le nombre de fichiers, mais la longueur de lecture.
GEO : Comment faire citer votre contenu par l'IA
Si votre contenu n'est pas cité dans les réponses générées par l'IA, c'est comme s'il n'existait pas. Selon l'article GEO : citation de sources +30 %, statistiques +32 %, citations directes +41 % de visibilité. Infrastructure, sitemap, Wayback Machine, références académiques, activité sociale — cinq axes pour assurer votre visibilité auprès de l'IA.
huma -- Un cliquet qui ne saute aucun endpoint
Quand vous demandez a un agent IA de tester 42 endpoints il declare avoir fini vers le 15e. huma transforme la liste des endpoints en session cliquet pour que l agent ne puisse en sauter aucun. scan next write verify.
codistill -- Extraire le SSOT du code existant
Faut-il commencer par le SSOT pour utiliser yongol? Non. codistill extrait automatiquement OpenAPI DDL et requetes sqlc du code Go+Gin NestJS et FastAPI existant.
Hurl stoppe la derive du vibe coding
Le vibe coding s'effondre sous la derive logique en 3 mois. Les cas CMU, METR, DORA et Amazon le prouvent. Declarez des contrats API en texte brut avec Hurl et verrouillez-les avec un cliquet -- supprimez la derive structurellement sans limiter la liberte de l'IA.
Le code a cliquet qui retourne IFEval a son avantage
Le biais de flagornerie des LLM n'est pas un defaut mais un atout. En combinant la capacite de suivi d'instructions mesuree par IFEval avec un retour deterministe, meme un modele local de 4.5B produit une boucle de convergence generant du code correct.
yongol — La quille du SaaS code par IA
Le vibe coding s'effondre a 200 endpoints parce que l'IA ne peut pas distinguer les decisions des details d'implementation. yongol deplace la cible de travail de l'IA du code vers 10 specifications declaratives et impose la coherence inter-couches avant la compilation. Harness with reins.
Ratchet Pattern — comment forcer un agent à aller jusqu'au bout
J'ai demandé à un agent AI d'écrire les tests de 527 fonctions. Il s'est arrêté à 40 et a déclaré : 'C'est fait.' Le Ratchet Pattern confie la décision d'achèvement à un verifier mécanique, forçant l'agent à aller jusqu'au bout.
tsma -- La ligne de defense contre les regressions du code legacy
Un outil CLI qui indexe toutes les fonctions, detecte la presence de tests, mesure le coverage et fournit un feedback precis a l'agent LLM. Une seule commande pour construire une ligne de defense contre les regressions dans le code legacy.
toulmin — un moteur de regles qui calcule les contrats
Pendant 60 ans, les moteurs de regles ont traite leurs entrees comme des faits (facts). toulmin les traite comme des assertions (claims). Le modele d'argumentation de Toulmin, implemente en Go.
filefunc — un fichier, un concept
L'unité de navigation d'un agent de code IA, c'est le fichier. filefunc est une convention de structure et un outil CLI qui impose un seul concept par fichier dans les projets Go.
Feature Chain — Tracer tout le stack avec un seul operationId
Quels fichiers faut-il toucher pour modifier une seule fonctionnalité ? Feature Chain prend un operationId et extrait automatiquement toute la portée — spécification API, schéma de BD, politique d'autorisation, diagramme d'états, implémentations de fonctions, scénarios de test et frontend.
whyso — ce que git blame ne montre pas
git blame montre qui, quand et quoi a changé. whyso montre pourquoi. Un outil qui extrait automatiquement l'historique des modifications par fichier à partir des données de session Claude Code.
La solution au changement climatique serait dans l'espace ? Oui, vraiment.
Installer un pare-soleil entre le Soleil et la Terre pour inverser le climat. Il suffit de retirer le revêtement de l'usine à miroirs Dyson, il vole sans propergol, et si on le retire tout revient à la normale. Les calculs tiennent la route.
SSaC — Service Sequences as Code
Un concept independant du langage qui decompose le flux metier a l'interieur des fonctions de service en blocs declaratifs (sequences). Declarez uniquement le what avec 10 types fixes, et le codegen se charge du how.
Penser avec l'IA par les premiers principes : une méthode en 5 étapes avec études de cas
Ne demandez pas de réponses à l'IA. Utilisez-la comme caisse de résonance pour valider, déconstruire et reconstruire vos hypothèses. Une méthode en 5 étapes illustrée par deux études de cas réels.
Cuisiner avec la chaleur perdue ? Potentiel et réalité des appareils de cuisson à pompe à chaleur avec récupération de chaleur résiduelle
La technologie de pompe à chaleur haute température avec récupération de chaleur résiduelle qui réduit considérablement le gaspillage énergétique des appareils de cuisson traditionnels — où en sommes-nous et comment l'améliorer ?
Construire un barrage avec du sable du désert, et 30 ans plus tard, ce barrage devient une forêt
La technologie Oasis Pellet transforme le sable inutile du désert en réservoir d'eau grâce à un liant biologique, puis en sol fertile une fois sa durée de vie écoulée.
La batterie ininflammable qui transforme l'electricite perdue en engrais et en chauffage
L'electricite gaspillee par l'ecretement solaire est stockee dans des batteries Edison ininflammables, et l'hydrogene produit permet de fabriquer engrais et solution d'uree en autosuffisance — un modele d'integration energie-agriculture.