Artículos
10 ensayos traducidos al español. Las series y el resto del sitio están, por ahora, en inglés.
2026
-
Resolver el fútbol como si fuera ajedrez
El fútbol europeo optimizó lo medible y convergió en un monocultivo. Sobre la varianza, el uno contra uno, los bloques bajos y el peligro de optimizar indicadores indirectos.
-
Una prueba vale lo que vale su spec
La verificación formal no elimina el riesgo. Lo traslada a la spec, al modelo y a la trusted base. Cinco pruebas ejecutables en Lean 4 que compilan sin errores y aun así esconden bugs reales.
-
La disciplina sin amor optimiza la variable equivocada
Sobre el dolor, construir, el capitalismo, la disciplina, y darme cuenta de que había tratado al amor como algo que venía después del trabajo.
-
CommitLLM: cómo verificar una inferencia de un LLM
Las APIs de LLM te piden que confíes en que el proveedor corrió el modelo y la configuración que anuncia. CommitLLM agrega recibos criptográficos y auditorías sin el costo de un prover de conocimiento cero.
-
Programas autorreplicantes que emergen del ruido aleatorio
La Turing completitud es un pozo poco profundo en el que uno cae. La autorreplicación es uno todavía menos profundo. Un paper reciente muestra que los programas autorreplicantes emergen espontáneamente de sopas de código aleatorio, sin que nadie los diseñe.
-
La guía de Fede para una vida más sana
Una guía de salud ordenada y basada en evidencia para nerds que alguna vez creyeron que el cuerpo no importaba.
-
China intenta commoditizar el complemento
¿Qué pasa con la ventaja de Occidente en servicios cuando los modelos de IA potentes son gratis, portables y corren en cualquier laptop?
-
La guía de Fede sobre sistemas de tipos: de generics a tipos dependientes
Una guía práctica de sistemas de tipos, desde los generics de todos los días hasta los tipos dependientes que prueban corrección, con ejemplos en Rust, Scala e Idris
2025
-
Gracias al Senado de la Nación Argentina
El Senado argentino me otorgó una Mención de Honor al Valor Científico. Gracias, y una nota sobre quiénes se la ganaron de verdad.
-
Doctrina cripto
Cripto encontró product-market fit donde la confianza es más débil: economías con inflación o censura, y comunidades nativas de internet que necesitan coordinación y mercados programables.