upvote
> The difference is that a compiler is a rigorous, (nearly) determinisic, heavily tested artrifact built by expert humans.

How do you know your compiler is a rigurous and deterministic? Did you review all of its code?

reply
Compilers have specifications, test suites, and teams of human beings (over decades) to ensure that what the compiler produces is nearly deterministic relative to code input. This is testable without even opening the black box.

LLMs are intentionally not deterministic, nor is their output subject to any known specification. Output is a point in a high dimensional manifold, determined by the input vector, but this manifold is unknowable in a real and intractable sense.

These are not equivalent constructions and it demeans you to conflate them.

reply
So write the thing that proves the black box of magic output satisfies the solution?
reply
Bad faith argument. You know this comparison is ridiculous
reply
deleted
reply