Tag Archives: preuves formelles

Demander à un agent IA de modifier votre code fonctionne souvent très bien… jusqu’au jour où ça ne fonctionne pas, et où le bug introduit passe inaperçu pendant des semaines. C’est précisément ce problème que Victor Taelin, développeur remarqué pour son précédent projet Bend, tente de résoudre avec Bend 2, une réécriture complète présentée mi-septembre 2026 sous un titre qui …

Lire la suite »