This needs to be qualified with "to the degree that you have a specification of what that software should do." The better the spec, the more leeway you can give

This needs to be qualified with "to the degree that you have a specification of what that software should do." The better the spec, the more leeway you can give the optimizer. A very thorough spec lets you give the LLM total free rein to run optimization passes over your codebase.