Hablando con @ncsgy sobre verificación formal, óxido, IA y hoja de ruta de Ethereum. Nos topamos con nuestro café Fruto. Nico es una de las personas más fiables y auténticas de nuestra industria. Siempre es un placer hablar con él, es como Lambda. Participa en varios proyectos diferentes y tiene opiniones interesantes que siempre están respaldadas por argumentos técnicos.