Federico Carrone
federicocarrone.com
Personal website of Federico Carrone, covering Ethereum infrastructure, programming languages, and formally verified systems.
Federico Carrone's site collects his writings on Ethereum infrastructure and programming language theory. The posts delve into formally verified systems and the principles behind building robust software. It is a resource for developers who value rigorous engineering and long-term thinking.
Checked with Google Web Risk · 2 hours ago
- language
- EN
- here since
- July 2026