Zero-Degree-of-Freedom LLM Coding using Executable Oracles

Our goal should be to give an LLM coding agent zero degrees of freedom. This is aspirational at present, but it’s where we should be trying to go.

• John Regehr

The whole thing is worth reading.

via masto