-
Ensayo
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.
-
Ethereum
El nuevo backend financiero del mundo
Ethereum está surgiendo como un backend financiero neutral, que baja el costo de los servicios financieros globales al codificar la propiedad y las obligaciones en infraestructura compartida.
-
Ethereum
La institución que le falta a internet
Internet abarató el movimiento de la información, pero dejó la propiedad en manos de plataformas y jurisdicciones. Ethereum es un intento de arreglar esa capa faltante.
-
Ensayo
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.