I made a new blog, and already have a few posts. Here's one about falling down the rabbit hole while looking into LatticeFold, in search of a proof system with efficient recursion and hardware-friendly fields.