Snakker med @ncsgy om formell verifisering, rust, AI og ethereum-veikart. Vi støtet borti hverandre i kaffe-Fruto-en vår. Nico er en av de mest pålitelige og autentiske personene i bransjen vår. Det er alltid en glede å snakke med ham, han er som Lambda. Han er involvert i flere forskjellige prosjekter og har interessante meninger som alltid støttes av tekniske argumenter.