Am discutat cu @ncsgy despre verificare formală, rugină, AI și foaia de parcurs Ethereum. Ne-am dat peste cafeaua noastră Fruto. Nico este una dintre cele mai de încredere și autentice persoane din industria noastră. Este întotdeauna o plăcere să vorbesc cu el, este ca Lambda. Este implicat în mai multe proiecte diferite și are opinii interesante, întotdeauna susținute de argumente tehnice.