Federico Carrone
Construyo y escribo en la intersección entre tecnología y cultura.
París
Traducción automática del original en inglés, todavía sin revisar. Leer el original.
Empecé a armar empresas en Buenos Aires, donde la gente da por hecho que todo lo que no está diseñado para sobrevivir a una falla tarde o temprano va a fallar. Esa costumbre de esperar que las cosas se rompan me sirvió mucho para construir infraestructura.
Ahora
Hoy la mayor parte de mi tiempo va a:
- Ethrex
- Uno de los clientes de ejecución de Ethereum más rápidos.
- Concrete
- Un lenguaje de programación con un kernel verificado formalmente.
- Lambdaworks
- Una biblioteca de pruebas criptográficas que se usa en producción.
- pamm.wtf
- Infraestructura de Ethereum que construimos con nuestros socios. Por ella pasan miles de millones de dólares por mes.
- Spawned
- Una biblioteca de Rust para límites de concurrencia al estilo de Erlang.
- CommitLLM
- Un protocolo criptográfico de compromiso y auditoría para la inferencia de LLM de pesos abiertos.
- CommitBoost
- Un sidecar para validadores de Ethereum que soporta protocolos de compromiso de proponentes hechos por la comunidad.
- Options Portfolio Backtester
- Un backtester de opciones de código abierto, con ejecución realista y un núcleo en Rust.
- CCSD
- El centro de criptografía y sistemas distribuidos de la Universidad de Buenos Aires. Trabaja en criptografía poscuántica, consenso y privacidad, y dirijo su comité académico.
- 421
- Una revista sobre cultura y tecnología.
En noviembre de 2025 la Comisión de Ciencia y Tecnología del Senado argentino me otorgó una Mención de Honor al Valor Científico. Un agradecimiento, y quiénes se lo ganaron de verdad.
La tecnología es la mayor parte de mi trabajo, pero no todo. También invierto en IA, gaming, vino y cultura, y en todo eso busco cosas que conserven su valor cuando cambian las modas.
Empresas
LambdaClass
Fundé LambdaClass hace más de una década para construir infraestructura de la que dependen otros equipos. Trabajamos en ingeniería de protocolos, programación de sistemas y verificación formal, incluyendo infraestructura de Ethereum, criptografía de conocimiento cero y el lenguaje de programación Concrete.
Ergodic Group
Un holding privado con inversiones en sistemas distribuidos, IA, gaming, vino y cultura. Busco negocios que se vuelvan más valiosos con el tiempo.
El holding lleva el nombre de la convergencia de largo plazo. En la empresa de software intentamos demostrar que nuestros sistemas son correctos en lugar de suponerlo. Lo que escribo trata sobre por qué la paciencia y la fricción importan más que la velocidad. Para mí todo está conectado, porque en todos los casos intento construir cosas que aguanten el paso del tiempo.
Quién soy
Crecí en Argentina leyendo a Julio Verne y con ganas de conocer el mundo. Pasé mis primeros veintipico viajando y tomando más riesgos de los que debía, y me equivoqué bastante en el camino.
Cuando tenía unos veinticinco años almorcé con mi tío en Madrid y le dije, con más confianza que sensatez, que iba a cambiar mi vida y armar empresas. Esa conversación cambió mucho para mí. Fundé LambdaClass hace más de una década, después Ergodic Group, y ahora estoy construyendo 421.
Vivo en Buenos Aires. Tengo una rutina estricta, entreno y leo mucha filosofía e historia. Veo anime y películas y juego videojuegos con la misma atención que le dedico a los papers. Me importan el vino y la arquitectura, y mucho más la gente que tengo cerca.
Cómo pienso
Creo que hay una diferencia entre el tiempo vivido y el tiempo medido. El tiempo medido es igual en todas partes y se puede intercambiar. El tiempo vivido se acumula, y cada año cambia lo que viene después. La mayor parte de lo que importa se pierde cuando lo forzás a entrar en métricas y plazos.
De día trabajo en sistemas formales, pruebas, sistemas de tipos y kernels verificados, donde podés comprobar si algo es correcto en lugar de discutirlo. De noche leo filósofos que dicen que la certeza es imposible.
Creciendo en Argentina vi romperse la moneda más de una vez, y vi que nadie viene a rescatarte cuando pasa. Una moneda rota no pone a prueba tu carácter, simplemente rompe a la gente. Los mercados son una de las mejores formas que encontramos los humanos para coordinarnos, pero no se arreglan solos cuando a alguien le conviene. Por eso construyo sistemas cuyas garantías vienen de cómo están hechos y no de promesas. Confío más en el código que hace cumplir reglas que en las instituciones que dicen hacerlo.
Creo que las personas importan más que las instituciones, y aun así construyo protocolos pensados para que no haga falta confiar en nadie, porque los sistemas que necesitan que todos sean buenos no funcionan. El costo es que podemos terminar construyendo un mundo que no necesita a la clase de persona por la que vale la pena construirlo. Escribí sobre eso en Cuando la civilización se escapa de lo humano.
La tecnología sola no me alcanza. Necesita cultura, belleza y alguna idea de en qué debería convertirse una persona. Por eso empecé 421, y por eso la Biblioteca de este sitio me importa tanto como los ensayos.
Elegir cosas difíciles me hizo bien: entrenar, competir, tomar riesgos y trabajar en cosas que pueden fallar. Las cosas difíciles que simplemente te pasan son distintas, y te pueden romper.
Desde afuera, el software, la criptografía, las finanzas, la educación, el vino, los juegos, la arquitectura y la filosofía parecen intereses separados. Para mí son versiones de la misma pregunta: cómo construir algo que dure y que siga vivo.
Cómo escribo
Hoy escribo con un LLM, sobre todo Claude. Fui escéptico durante años. Lo que realmente tipeo son ideas en borradores rápidos y desprolijos, con mala gramática y peor ortografía, y el modelo las ordena y las mejora. Las ideas y los argumentos son míos, y los errores también. En realidad no escribo esto para otros. Hacerlo público me obliga a mejorarlo.
El proceso es simple. Escribo borradores y los discuto con el modelo hasta que la ortografía, la gramática y el ritmo son los que quiero. Si escribe algo que yo no defendería en persona, esa frase se va. No se publica nada que no sostendría en una discusión.
Las ideas importan solo en la medida en que sobreviven al contacto con la realidad a lo largo del tiempo.
Contacto
Leo todo lo que me llega por mail. Respondo cuando puedo; a veces tardo semanas.