Federico Carrone
I build and write at the intersection of technology and culture. At LambdaClass we make Ethrex, Concrete, and Lambdaworks, and with our partners we built pamm.wtf: billions of dollars flow through these systems every month. Over the last two decades, with the teams I’ve worked with, I’ve helped build systems used by millions of people across different industries. On the culture side I’m building 421, a magazine about culture and technology. I direct the academic committee of the Centro de Criptografía y Sistemas Distribuidos at the University of Buenos Aires, and through Ergodic Group I hold companies across distributed systems, AI, gaming, wine, and culture. Here I write about things that take a long time to play out.
Earthrise, Apollo 8, 24 December 1968. Photo: William Anders, NASA, public domain.
Latest
All articles
Essay
When Civilization Escapes the Human
Most analyses of how AI will impact society focus on the economy. Why we should focus not only on the economic impact of artificial intelligence, but also on purpose and agency.
Orbital twilight over the city lights of Europe, seen from the International Space Station above southern France, 9 May 2021. Photo: NASA, public domain.
-
Essay
Solving Futbol Like Chess
European futbol optimized what is measurable and converged on a monoculture. On variance, the duel, deep blocks, and the danger of optimizing proxies.
-
Concrete
Nutrition Labels for Trust
Vitalik Buterin wants trust nutrition labels for software. Concrete shows what the machine-and-math half looks like when the compiler produces it instead of a vendor writing prose.
-
Essay
A Proof Is Only as Good as Its Spec
Formal verification doesn't eliminate risk. It relocates it into the spec, the model, and the trusted base. Five runnable Lean 4 proofs that compile cleanly and still sit on real bugs.
Start here
- Notes on permanence, time, and ergodicity The philosophical foundation behind everything else.
- The missing institution of the Internet Why Ethereum matters as infrastructure, not speculation.
- Transforming the Future with ZKPs The cryptography that makes trustless systems possible.
- The Tail Hedge Debate The practical portfolio case for convexity.
- At the Core of Finance Lies Geometry Compounding, Kelly, Jensen, and survival.
- The Death of the Inner Self On consciousness, identity, and what technology dissolves.
- Friction as Luxury Why scarcity and difficulty create value.
- Fede's Guide to a Healthier Life An ordered, evidence-based health guide for nerds.
