Après Shopify, la vérification formelle comme futur standard du développement avec agents (en)

Shopify et Coinbase abandonnent React Native au profit d’applications natives, rendues viables par les agents de code qui font chuter le coût d’écriture et de portage entre plateformes. L’auteur avance que le vrai enjeu est la correction du code, et que les agents pourraient rendre la vérification formelle courante, avec des outils comme Dafny qui génère du C# ou du Go. Il rappelle aussi les limites actuelles : la fragilité du solveur SMT et des preuves qui peuvent expirer après un simple renommage.