與 @ncsgy 討論正式驗證、Rust、AI 和以太坊路線圖。我們在咖啡 Fruto 不期而遇。 Nico 是我們行業中最值得信賴和真誠的人之一。與他交談總是一種樂趣，他就像 Lambda。他參與多個不同的項目，並且有著有趣的觀點，這些觀點總是有技術論據支持。