[jcranmer]

Compilers are some of the largest, most complex pieces of software out there. It should be no surprise that they come with bugs as all other large, complex pieces of software do.

[Kye]

This seems to apply easily to LLMs as language coprocessors that can output code. How long was it before people trusted compilers?

[sarchertech]

If you don't understand the difference between something that rigorously translates one formal language to another one and something that will spit out a completely different piece of software with 0 lines of overlap based on a one word prompt change, I don't know what to tell you.

[anthonyrstevens]

"rigorously" is doing a lot of heavy lifting here.

[sarchertech]

Let's substitute rigorously with "in an extremely thorough, careful, and methodical way."