Praten met @ncsgy over formele verificatie, rust, AI en de Ethereum-routekaart. We kwamen elkaar tegen bij onze koffie Fruto. Nico is een van de meest betrouwbare en authentieke mensen in onze industrie. Het is altijd een genoegen om met hem te praten, hij is als Lambda. Hij is betrokken bij meerdere verschillende projecten en hij heeft interessante meningen die altijd worden ondersteund door technische argumenten.