Discuter avec @ncsgy de la vérification formelle, de Rust, de l'IA et de la feuille de route d'Ethereum. Nous nous sommes croisés dans notre café Fruto. Nico est l'une des personnes les plus dignes de confiance et authentiques de notre secteur. C'est toujours un plaisir de parler avec lui, il est comme Lambda. Il est impliqué dans plusieurs projets différents et il a des opinions intéressantes qui sont toujours étayées par des arguments techniques.