Conversando com @ncsgy sobre verificação formal, ferrugem, IA e roteiro de Ethereum. Nós nos esbarramos no nosso café Fruto. Nico é uma das pessoas mais confiáveis e autênticas do nosso setor. É sempre um prazer conversar com ele, ele é como o Lambda. Ele está envolvido em vários projetos diferentes e tem opiniões interessantes que sempre são sustentadas por argumentos técnicos.