Mluvím s @ncsgy o formálním ověření, Rustu, AI a roadmapě Etherea. Narazili jsme do naší kávy, Fruto. Nico je jedním z nejdůvěryhodnějších a nejautentičtějších lidí v našem oboru. Vždy je potěšením s ním mluvit, je jako Lambda. Podílí se na několika různých projektech a má zajímavé názory, které jsou vždy podloženy technickými argumenty.