Hacker News new | ask | show | jobs
by Kye 99 days ago
This seems to apply easily to LLMs as language coprocessors that can output code. How long was it before people trusted compilers?
1 comments

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