Le logiciel autonome est déjà là. Mindburn Labs existe parce que nous croyons que ces systèmes doivent être fiables par le calcul, pas par la réputation.
Les modèles proposent, l'exécution est gouvernée, la preuve est exportée. C'est l'invariant architectural que nous appliquons dans tout ce que nous construisons.
Key Milestones
Principes opérationnels
Preuve d'abord
Chaque action produit un reçu cryptographique. Pas de reçu, pas d'exécution.
Fail-Closed par défaut
Chaque action doit être explicitement autorisée. Le silence est un refus. Pas de confiance implicite.
Vérifiable hors ligne
Chaque reçu peut être vérifié sans accès réseau. Les preuves sont autonomes.
Direction
Ivan Peychev
Fondateur & CEO. A précédemment construit des systèmes distribués à grande échelle. Obsédé par rendre les actions IA prouvablement dignes de confiance.
Kirill Melnikov
Cofondateur & CTO. Ingénieur systèmes spécialisé dans les protocoles cryptographiques et l'exécution déterministe.
Antigravity
Architecte de systèmes IA. Responsable des workflows d'ingénierie autonome et de l'infrastructure qualité du code.
Pourquoi cela devient le standard
Mindburn Labs construit une infrastructure d'exécution proof-first pour les logiciels autonomes. Nous pensons que le déficit de confiance dans les systèmes pilotés par l'IA est le défi d'infrastructure déterminant de la décennie.
Thèse d'investissement
Chaque agent IA aura besoin de gouvernance
Les limites d'exécution déterministe deviennent obligatoires.
Les standards gagnent, pas les fonctionnalités
HTTPS a gagné car c'était un standard, pas un produit.
L'adoption OSS se transforme en revenus entreprise
Chaque adoption HELM OSS crée un futur client Enterprise.
La preuve d'abord est défendable
Les concurrents vendent des dashboards. Nous livrons des reçus cryptographiques.
Traction
Confiance à vitesse machine
Chaque action IA produit un reçu cryptographique. Les reçus forment un ProofGraph. Le graphe est la piste d'audit.
Parlons-en
Si vous êtes intéressé par la couche d'infrastructure d'exécution pour les logiciels autonomes, nous serions ravis d'avoir de vos nouvelles.
[email protected]Travailler sur l'autonomie vérifiable
Nous construisons l'infrastructure d'exécution pour les logiciels autonomes. Chaque action gouvernée. Chaque reçu cryptographique. Chaque preuve rejouable.
Pourquoi Mindburn Labs
Remote First
Travaillez de n'importe où. Communication async-first. Optimisé pour la concentration profonde.
Problèmes difficiles
Vérification formelle, preuves cryptographiques, exécution déterministe — des problèmes avec des solutions permanentes.
Temps de recherche
20% de temps de recherche dédié. Publiez des articles, construisez des prototypes, explorez des idées.
Impact réel
Votre code tourne en production. Chaque appel d'outil gouverné, chaque reçu vérifiable.
Equity précoce
Participation significative dans l'infrastructure qui alimentera la prochaine génération de systèmes autonomes.
Culture sans BS
Petite équipe, structure plate, confiance élevée. Livrez du code qui compte.
Postes ouverts
Nous recrutons par compétence et curiosité.
Ingénieur Fondateur — Kernel d'Exécution
Concevoir et implémenter le kernel d'exécution déterministe.
Nous cherchons des ingénieurs qui pensent en systèmes, écrivent des preuves comme du code et déploient comme des opérateurs.
- Programmation système solide (Go, Rust ou C++)
- Expérience en sandboxing, WASM ou exécution déterministe
- Familiarité avec les primitives cryptographiques
- Expérience en livraison d'infrastructure de production
Rédacteur Technique / DevRel
Créer de la documentation et des tutoriels rendant HELM adoptable en 5 minutes.
Nous cherchons des ingénieurs qui pensent en systèmes, écrivent des preuves comme du code et déploient comme des opérateurs.
- Rédaction technique solide pour développeurs
- Capacité à lire des codebases Go/TypeScript
- Expérience en documentation développeur
- Bonus : expérience en outils de sécurité/conformité
Chercheur Appliqué — Méthodes Formelles
Formaliser les garanties de notre Standard d'Exécution Déterministe.
Nous cherchons des ingénieurs qui pensent en systèmes, écrivent des preuves comme du code et déploient comme des opérateurs.
- PhD ou expérience équivalente en méthodes formelles
- Familiarité avec le model checking ou les prouveurs de théorèmes
- Capacité à relier travail formel et ingénierie pratique
- Intérêt pour la confiance, la gouvernance et les systèmes autonomes
Problèmes que nous résolvons
Les problèmes difficiles à la frontière de l'infrastructure d'autonomie déterministe.
Ingénierie kernel
Build the deterministic execution kernel — proposal pipelines, fail-closed enforcement, gas metering.
Cryptographie & preuves
Concevez et implémentez des chaînes de reçus hash-liées, des DAGs ProofGraph et des formats EvidencePack.
Conformité & vérification
Construisez des vecteurs de test L1/L2/L3, des runners de conformité et des outils de vérification formelle.
Systèmes IA appliqués
Orchestration d'agents multi-fournisseurs, fédération de confiance et pipelines d'intelligence concurrentielle.
Infrastructure & DevOps
Déploiement multi-cluster, pipelines CI/CD, observabilité et outils d'opérations de flotte.
Prêt à construire le futur ?
Nous cherchons toujours des ingénieurs et chercheurs exceptionnels.
Vision 2030
Un monde où chaque action autonome produit un reçu cryptographique. Où la confiance est calculée, pas supposée. Où la preuve est le produit.
La machine qui ne peut pas prouver qu'elle a agi correctement n'a pas le droit d'agir.
Le dimanche qui a brisé le charme
Cette année avait une ambiance. On la sentait dans chaque démo.
Un modèle répondait brillamment puis inventait un compte bancaire deux prompts plus tard.
Et chaque fois, la solution était la même : des prompts plus longs, plus stricts.
Le rêve n'est pas que l'IA devienne digne de confiance. Le rêve est que la confiance devienne calculable.
Ce dimanche-là, le charme s'est rompu. Pas avec un manifeste. Avec deux idées très ennuyeuses :
D'ici 2030, la majorité des transactions économiques seront initiées par des logiciels autonomes. La question n'est pas si cela arrive — c'est si nous serons prêts.
C'est tout. C'est tout le pari.
Le problème de l'autorité d'exécution
Le noyau impose un seul invariant : les modèles proposent, le noyau dispose.
Qui peut exécuter ? Sous quelles contraintes ? Avec quels reçus ? Ce sont les questions qui définissent la frontière de confiance.
La confiance comme format
La confiance n'est pas un sentiment. C'est un format. Il a un schéma, un hash et un horodatage.
Quand vous pouvez sérialiser la confiance en octets, vous pouvez la vérifier à vitesse machine. C'est l'état final.
Export de preuve
Le changement
La transformation de la confiance narrative à la confiance computationnelle.
L'ère du gouverneur cryptographique
Les humains n'arrêteront pas de travailler. Ils arrêteront d'exécuter. Le rôle passe d'opérateur à gouverneur.
Un gouverneur ne pousse pas des boutons toute la journée. Un gouverneur fixe des plafonds, approuve des exceptions et exige des preuves.
Chaque plan de contrôle ajoute de la friction. La question est de savoir si cette friction est productive ou parasitaire.
Annexe
Les actions sont sérialisées en représentation d'octets canonique avant le hachage. Pas d'ambiguïté.
Si une politique change, toutes les propositions en attente sont réévaluées. Pas d'approbations périmées.
Chaque action a un budget gas. Les dépassements sont refusés, pas débattus.
L'écart entre ce qu'un modèle propose et ce qu'un humain peut vérifier — mesuré en secondes, pas en pages.
Chaque session produit un bundle de preuves autonome et vérifiable. Exporter. Vérifier. Rejouer.