Coder à trois : le développeur, l’auditeur, l’arbitre

Comment développe-t-on, seul, un logiciel dont chaque chiffre doit pouvoir être prouvé ? Ma réponse, après des mois de pratique : on ne développe pas seul. On organise le doute. Sur CoDIR-IA, nous…