Jag har skapat en ny blogg och har redan några inlägg. Här är en om att falla ner i kaninhålet när du tittar in i LatticeFold, på jakt efter ett bevissystem med effektiv rekursion och hårdvaruvänliga fält.