La fin des compilateurs ? Vraiment ?
🔗 publié par Olivier Poncet le 23/03/2026 à 12:30
Dans cette nouvelle vidéo, j’aborde un sujet d’actualité : les compilateurs et leur supposée fin annoncée par quelques personnes en mal de punchline. Nous verrons pourquoi ils vont continuer à exister à l’ère de l’AI et pourquoi ils vont même se renforcer.
Sommaire du live du 23 mars 2026
- 00:01 - Bienvenue
- 01:30 - La fin des compilateurs ?
- 02:07 - L’IA et les LLM pour coder
- 05:11 - L’IA vient bouleverser nos outils
- 06:38 - Les compilateurs
- 09:54 - La fin des développeurs ?
- 10:50 - La disparition des compilateurs ?
- 11:46 - Les LLM peuvent écrire du code machine
- 12:15 - Les LLM concurrents des compilateurs ?
- 13:39 - Les LLM pour écrire du code pas du binaire
- 16:37 - Antrhropic a écrit un compilateur C
- 19:50 - Les compilateurs sont des automates
- 21:35 - Les domaines industriels
- 22:18 - Les normes MISRA
- 24:38 - Les compilateurs vont intégrer de l’IA
- 27:47 - Réserver les LLM à la sémantique
- 28:15 - Les compilateurs certifiés par preuve formelle
- 31:20 - Et si j’écris des bugs ?
- 33:05 - La production de code est une facilité
- 35:00 - L’avenir des compilateurs
- 36:14 - Quelques commmentaires
- 40:49 - Conclusion
Le live
Les liens
- https://x.com/r0ck3t23/status/2021805528309956905
- https://www.anthropic.com/engineering/building-c-compiler
- https://intelligence-artificielle.developpez.com/actu/380059/Nous-avons-charge-Claude-Opus-4-6-d-utiliser-des-equipes-d-agents-pour-construire-un-compilateur-C-ce-que-cela-nous-a-appris-sur-l-avenir-du-developpement-logiciel-autonome/
- https://intelligence-artificielle.developpez.com/actu/380409/Des-tests-revelent-les-lacunes-profondes-du-compilateur-C-cree-par-l-IA-Claude-d-Anthropic-pour-20-000-dollars-l-outil-est-nettement-moins-efficace-que-GCC-et-peine-a-realiser-des-optimisations-de-base/
- https://fr.wikipedia.org/wiki/Rocq_(logiciel)
- https://fr.wikipedia.org/wiki/CompCert
- https://fr.wikipedia.org/wiki/MISRA_C