#adr

Intentional engineering : écrire l'intention, faire vérifier le reste par la machine

Un LLM génère de façon non déterministe, un compilateur vérifie de façon déterministe. Retour d'expérience sur huit mois passés à exploiter cet écart.