Lockstep – Can a language model run a logic circuit in its head? (lockstep.greg.technology)