A conversar com @ncsgy sobre verificação formal, rust, IA e o roteiro do ethereum. Esbarrámos um no outro no nosso café Fruto. O Nico é uma das pessoas mais confiáveis e autênticas da nossa indústria. É sempre um prazer conversar com ele, ele é como a Lambda. Ele está envolvido em vários projetos diferentes e tem opiniões interessantes que estão sempre apoiadas por argumentos técnicos.