Ho creato un nuovo blog e ho già pubblicato alcuni post. Ecco uno che parla di come sono caduto nella tana del coniglio mentre esploravo LatticeFold, alla ricerca di un sistema di prova con ricorsione efficiente e campi adatti all'hardware.