Gespräch mit @ncsgy über formale Verifikation, Rust, KI und den Ethereum-Fahrplan. Wir sind uns in unserem Kaffee Fruto begegnet. Nico ist einer der vertrauenswürdigsten und authentischsten Menschen in unserer Branche. Es ist immer eine Freude, mit ihm zu sprechen, er ist wie Lambda. Er ist an mehreren verschiedenen Projekten beteiligt und hat interessante Meinungen, die immer durch technische Argumente untermauert sind.