与@ncsgy谈论形式验证、Rust、AI和以太坊路线图。我们在咖啡Fruto碰面了。 尼科是我们行业中最值得信赖和真实的人之一。与他交谈总是一种乐趣，他就像Lambda。他参与了多个不同的项目，并且总是有有趣的观点，这些观点总是有技术论据支持。