8 ms·

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

• sarchertech 7mo 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 7mo ago
    [deleted]
  • anthonyrstevens 7mo ago
    "rigorously" is doing a lot of heavy lifting here.
    • sarchertech 7mo ago
      Let's substitute rigorously with "in an extremely thorough, careful, and methodical way."