Comment by keybored
12 hours ago
That you anticipated a retort isn’t enough. You also have to refute it.
Yeah compilers are deterministic and LLMs are not. The response to that?
The answer could very well be something like what’s in TFA namely formal verification. But an answer here is needed.
Human programmers are not deterministic either - give the same spec/task to 3 programmers and you'll get three different implementations.
Yet somehow this didn't stopped a giant software industry existing.
I have millions of years of training data on the non-determinism or whatever of humans. That’s how, uh, humans can interoperate with humans.
So you agree hard formal non-determinism is not required, just a sort of convergence of code and spec. Turns out LLMs can do this non-formal-deterministic human-deterministic programming too.
1 reply →