sharing some recent thoughts I have had about verifying LLM-generated bugfixes automatically with cloud infrastructure: https://lfdepombo.com/cloudbugfix. Today we validate LLM-generated code by looking at it or manually running it within our codebase. However if the expected behavior of the code is verifiable, there is a less painful workflow where the mistakes made by the LLM are not visible to us.