In Praise of LACI

This is a short blog post about Prabakhar Ragde&rsquo;s &ldquo;Logic and Computation Intertwined&rdquo;, or &ldquo;LACI&rdquo;, currently available online at https://cs.uwaterloo.ca/~plragde/flaneries/LACI/ Here is a bad thing about LACI: every time I search for it, my search engine steers me toward articles about the tragic life of Laci Peterson. Here is a good thing about LACI: everything else!…