Achronyme: Un Lenguaje para Pruebas Zero-Knowledge
Presentamos Achronyme — escribe codigo legible, genera pruebas criptograficas. Un lenguaje, dos modos de ejecucion, cero ceremonia.
Leer artículo
Pensamientos sobre software, diseño y aprendizaje continuo.
Presentamos Achronyme — escribe codigo legible, genera pruebas criptograficas. Un lenguaje, dos modos de ejecucion, cero ceremonia.
Cómo un experimento fallido de DSP me enseñó que la gestión de memoria lo es todo, y por qué estoy reescribiendo mi lenguaje para el ecosistema Zero-Knowledge.
Un nuevo comienzo enfocado en la esencia de la ingeniería de software y los retos por venir.
Reflexiones sobre el rediseño y los objetivos de este nuevo espacio personal.