Taming LLMs: Using Executable Oracles to Prevent Bad Code

"Our goal should be to give an LLM coding agent zero degrees of freedom"

Wouldn't that just be called inventing a new language with all the overhead of the languages we already have? Are we getting to the point where getting LLMs to be productive and also write good code is going to require so much overhead and additional procedures and tools that we might as well write the code ourselves. Hmmm...

> JustHTML was effectively tested into existence using a large, existing test suite.

I love the phrase “tested into existence”.

Has anyone had success using 2 agents, with one as the creator and one as an adversarial "reviewer"? Is the output usually better or worse?

Now is Haskell's time to shine.

[dead]

[dead]

[dead]

[dead]

[flagged]