1 pointby mooreds3 hours ago2 comments

taylodl2 hours ago
> I trust the output of my compiler
I'm old enough to remember when this wasn't the case. Compilers back in the 80s and even early 90s had bugs. Heck, even Intel processors had bugs!
The bigger problem though with treating LLMs as a compiler is they're non-deterministic. The same prompt can generate two different outputs at two different times. One may be correct, the other may have subtle bugs. In the end, we should be focusing on what we should have been focusing on all along: what evidence do I have that this code is correct?
chrisjj3 hours ago
> These usages of LLMs require us to trust the output of the LLM without having a human read and understand it.
Would be nice if it was true. Whereas in fact anyone can put out parrot-generated code without trusting anything except that it saved time and effort.