Разговаривал с @ncsgy о формальной верификации, Rust, AI и дорожной карте Ethereum. Мы столкнулись друг с другом в нашем кафе Fruto. Нико — один из самых надежных и искренних людей в нашей отрасли. Всегда приятно с ним общаться, он как Lambda. Он участвует в нескольких различных проектах и у него есть интересные мнения, которые всегда подкреплены техническими аргументами.