Parlando con @ncsgy di verifica formale, rust, AI e roadmap di ethereum. Ci siamo incontrati al nostro caffè Fruto. Nico è una delle persone più affidabili e autentiche nel nostro settore. È sempre un piacere parlare con lui, è come Lambda. È coinvolto in diversi progetti e ha opinioni interessanti che sono sempre supportate da argomentazioni tecniche.