Génie logiciel cs.SE

Le brouillard s'épaissit autour de la ligne « def max(a: Int, b: Int): Int ». Que fait-elle ? Elle retourne le plus grand de deux nombres, mais comment le vérifier ? On peut écrire une dizaine de tests avec des paires concrètes : max(2,3)=3, max(5,5)=5, max(-1,0)=0. Et pourtant, une inquiétude demeure : et si, pour un million et moins un million, elle se cassait ?

Stuttgart, 2025. Un ingénieur logiciel branche son ordinateur portable sur une voiture d'essai, non pas pour un diagnostic, mais pour changer « l'identité » du véhicule — comme on flashe le firmware d'un smartphone. Mais au lieu d'une mise à jour instantanée, il est confronté à une cascade d'incompatibilités.

Les dispositifs quantiques ne sont plus des curiosités de laboratoire. On les assemble, on les règle et on les répare comme du matériel ordinaire — sauf qu'à l'intérieur, il n'y a pas simplement du courant, mais des enchevêtrements de particules capables d'être dans plusieurs états à la fois.

Les assistants logiciels d'écriture de code agissent souvent comme un cuisinier qui, pour faire cuire un seul œuf, relit tout son livre de recettes. Face à une demande de correction minuscule, ils rouvrent des dizaines de fichiers et vérifient des liens connus depuis longtemps. C'est du travail inutile — de l'énergie gaspillée.