Hablando con @ncsgy sobre verificación formal, rust, IA y la hoja de ruta de ethereum. Nos encontramos en nuestro café Fruto. Nico es una de las personas más confiables y auténticas en nuestra industria. Siempre es un placer hablar con él, es como Lambda. Está involucrado en múltiples proyectos diferentes y tiene opiniones interesantes que siempre están respaldadas por argumentos técnicos.