EpisodesBits and Bobs 9/28/26Alan Perlis.Alan Perlis.2026-09-28 · Bits and Bobs 9/28/26Alan Perlis. "One can't proceed from the informal to the formal by formal means."But now you can move from informal to formal via informal means.LLMs can bazooka-proof their way into formal results.