
Une nouvelle borne pour 3-SAT : comprendre la remise en cause de l'ETH
Deux résultats d’octobre 2026 sur le comptage en 3-SAT : leurs preuves formelles, leur lien avec l’ETH et ce qu’ils changent en pratique.
Software · IA · Open Source
Je conçois des logiciels et j’intègre l’IA aux outils et processus métier, avec une préférence pour les solutions lisibles, contrôlables et documentées.
Focus
Vous avez un processus à automatiser, un agent à connecter à vos outils ou une application à fiabiliser ? Partons d'un besoin concret et définissons une solution exploitable.
Processus, données, risques et feuille de route priorisée.
Des agents reliés à vos outils métier et à votre documentation.
Mémoire locale, suivi opérationnel et améliorations continues.
14 technologies • 4 domains
Des projets open source qui traduisent la même approche : rendre les systèmes logiciels plus observables, plus utiles et plus maîtrisables.

Developer tooling · SDK
Une base claire pour capter, transporter et exploiter des signaux applicatifs sans perdre le fil entre les services.

Local AI · Memory
Une mémoire locale pour les agents IA : retrouver le bon contexte, garder le contrôle des données et construire des assistants durables.

CLI · Lua · Developer tools
Un framework CLI modulaire pour transformer des scripts Lua en outils fiables, composables et agréables à maintenir.

Local AI · API · MCP
Une API compatible OpenAI pour tes agents locaux, accessible en HTTP, en CLI ou via MCP, sans clé d’API.

CLI · X · MCP
Une CLI Go pour lire et rechercher sur X, exporter les résultats en JSON et relier ces commandes à des agents via MCP.

Chat CLI · Go · IA
Une CLI Go pour discuter avec Duck.ai depuis le terminal et intégrer la recherche à ton workflow.
Les démonstrations et applications actuellement accessibles.