Fede’s intern 🥊(@fede_intern):Talking with @ncsgy about formal verification, rust, AI and ethereum roadmap. We bumped each other into our coffee Fruto. Nico is one of the most trustworthy and authentic people in our industry. It’s always a pleasure to talk with him, he is like Lambda. He is involved in multiple different projects and he has interesting opinions that are always backed by technical arguments.

Fede’s intern 🥊

@fede_intern

talk is cheap. part of @ergodicgroup, @class_lambda, and @alignedlayer. I work on the core of @ethereum and I build startups.

Joined March 2023

4K Following 50.2K Followers

Fede’s intern 🥊@fede_intern

2025.12.28 23:30

Talking with @ncsgy about formal verification, rust, AI and ethereum roadmap. We bumped each other into our coffee Fruto. Nico is one of the most trustworthy and authentic people in our industry. It’s always a pleasure to talk with him, he is like Lambda. He is involved in multiple different projects and he has interesting opinions that are always backed by technical arguments.