Hice un nuevo blog y ya tengo algunas publicaciones. Aquí hay una sobre caer por el agujero del conejo mientras investigaba LatticeFold, en busca de un sistema de prueba con recursión eficiente y campos amigables con el hardware.