EpisodesBits and Bobs 3/9/26It's way cheaper to generate code than to verify it.It's way cheaper to generate code than to verify it.2026-03-09 · Bits and Bobs 3/9/26It's way cheaper to generate code than to verify it.Christian Catalani's new paper shows that the cost to generate code is crashing, but the cost to verify it is remaining flat.