design-by-contract

3 posts

La safety stack de l’AI: types, contracts, property tests et mutation gates

Si vous voulez que du code généré par AI tienne en production, le code review seul ne suffit pas. Il faut une safety stack en couches, des type constraints jusqu’au mutation testing et au runtime containment.

Le vrai danger du code généré par AI n’est pas qu’il soit toujours faux. Le vrai danger, c’est qu’il est souvent suffisamment plausible pour être mergé. C’est…

Pourquoi de grandes idées d’ingénierie sont restées de niche jusqu’à ce que l’AI les rende viables

Design by contract, property-based testing, mutation testing et model checking n’étaient pas de mauvaises idées. Elles demandaient trop d’expertise spécialisée pour être maintenues. L’AI change cette équation.

Le software engineering est rempli d’idées qui paraissent immédiatement justes dès qu’on les lit. Bien sûr que des contracts devraient définir ce qu’une…