← Back to context

Comment by skywhopper

13 hours ago

This article takes a very tiny, questionable bit of data and extrapolates a lot of iffy assertions.

In general I’m tired of the “humans need never, and should never look at the code” LLM triumphalism articles. Do these folks ever work with real systems, I wonder.

I remember when "real programmers" were supposed to look at the assembly code generated by compilers because it was bloated, inefficient, and totally unsuitable to use in a real system.

Cue in "non-determinism" retort.

  • Hardware restrictions might have contributed to that. Anyway, analogs and metaphors do not prove what they sneakily try to imply. They might help thinking about a problem, but they leave out the actual argument, and in this case, the jump is substantial.

  • I think the problem is less determinism than predictability. Hashing algorithms are deterministic.

    Will people start .gitignore-ing their src directories and only save prompts?

  • 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.

      3 replies →