Berbicara dengan @ncsgy tentang verifikasi formal, karat, AI, dan peta jalan ethereum. Kami saling menabrak kopi Fruto kami. Nico adalah salah satu orang yang paling dapat dipercaya dan otentik di industri kami. Selalu menyenangkan untuk berbicara dengannya, dia seperti Lambda. Dia terlibat dalam berbagai proyek berbeda dan dia memiliki pendapat menarik yang selalu didukung oleh argumen teknis.