ME:: tl;dr-ing: You have to constrain LLMs with software that tests software and assures correctness and then they might be useful ; John Regehr:: Zero-Degree-of-Freedom LLM Coding using Executable Oracles

Discovered: Mar 27, 2026 14:39 (UTC) ME:: tl;dr-ing: You have to constrain LLMs with software that tests software and assures correctness and then they might be useful ; John Regehr:: Zero-Degree-of-Freedom LLM Coding using Executable Oracles QUOTE Read the whole thing: John Regehr:: zero_dof_programming When I teach software testing to CS students, one aspect that I emphasize is that testing is a creative activity, not a mindless pinning down of input->output mappings. When I look ...