Pratar med @ncsgy om formell verifiering, rost, AI och Ethereums färdplan. Vi stötte ihop varandra i vår kaffe-Fruto. Nico är en av de mest pålitliga och autentiska personerna i vår bransch. Det är alltid ett nöje att prata med honom, han är som Lambda. Han är involverad i flera olika projekt och har intressanta åsikter som alltid stöds av tekniska argument.