4 ms·

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 piec

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 8mo ago
This seems to apply easily to LLMs as language coprocessors that can output code. How long was it before people trusted compilers?
- sarchertech 8mo ago
  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.
  - deleted 8mo ago
    [deleted]
  - anthonyrstevens 8mo ago
    "rigorously" is doing a lot of heavy lifting here.
    - sarchertech 8mo ago
      Let's substitute rigorously with "in an extremely thorough, careful, and methodical way."