• terabyterex@lemmy.world
    link
    fedilink
    arrow-up
    21
    arrow-down
    2
    ·
    9 days ago

    as someone who uses ai to help on researching an issue/question - i have no understanding whyvpeople just submit generated code. i realize i just dont use it to generate stuff. i use it to find stuff.

    when this forst came out, i thought non devs would use it for creating an app that they use at home just for them. but no, i constantly see people posting about their project and trying to getvpeople involved. a project fully generated by an llm. or as in the issue here, generating code to be merged into a project…why? i jist dont get it.

        • tatterdemalion@programming.dev
          link
          fedilink
          arrow-up
          2
          arrow-down
          2
          ·
          7 days ago

          Not always. Prototyping can be valuable in many circumstances when you don’t know the shape you’d like the code to take. Sometimes you need to try something before you know if it’s right. I’d rather throw away prototype code written by an LLM than code I had to write the hard way.

          • spartanatreyu@programming.dev
            link
            fedilink
            arrow-up
            1
            arrow-down
            1
            ·
            5 days ago

            Not always.

            Yes always. To paraphrase Feynmann: What you did not create, you have not understood.

            Prototyping can be valuable in many circumstances when you don’t know the shape you’d like the code to take.

            Yes

            Sometimes you need to try something before you know if it’s right.

            Yes

            I’d rather throw away prototype code written by an LLM than code I had to write the hard way.

            No.

            If you consider writing your own code “the hard way”, then your goal should be becoming better at prototyping yourself. It’s a skill that you need to requires purposeful effort to strengthen. But once you have it, you get both the understanding behind the code and the prototype.

            • tatterdemalion@programming.dev
              link
              fedilink
              arrow-up
              2
              ·
              4 days ago

              What you did not create, you have not understood.

              So just because I didn’t write a book means I could never understand it from reading it? Are editors useless in the world of book publishing? Then what is the point of code review?

              You act as if my LLM-assisted prototyping implies I made no decisions and didn’t read any code. That’s obviously a terrible way to use LLMs.

              • spartanatreyu@programming.dev
                link
                fedilink
                arrow-up
                2
                arrow-down
                1
                ·
                4 days ago

                So just because I didn’t write a book means I could never understand it from reading it?

                Reading a book does not give you the same knowledge as the author.

                The author may have had to choose between two different pieces of exclusive information to add to the book, they may have written information then had to remove it for some reason, or may have had to exclude certain information it altogether.

                You would never know if they did, or the reasons behind why they did what they did if you only read the book.


                Are editors useless in the world of book publishing? Then what is the point of code review?

                The difference between your book analogy and human code review is you can actually talk with the author in a bi-directional channel to gain a deeper understanding of what they did, and why they did it.

                Book editors and human code reviewers are the same in that respect, they develop the deeper understanding that simply reading does not provide.


                When it comes to LLMs: that bi-directional channel doesn’t exist, only the illusion of one.

                LLMs don’t have the capacity to think things through, their reasoning is actually post-hoc justifications for their previous output, not a result of a priori thought. There is no actual understanding that could be gleaned because it literally doesn’t exist.

                To train an LLM you need more data and feedback than can be manually tagged, so tags and feedback are generated automatically. This means that they are not being trained against ground truths, they’re being trained against a confidence checker. To an LLM, there is literally no difference between a correct answer and a confident answer.

                That’s why they seem so stupid when they give an answer that is obviously incorrect.

                They are confidence machines, they produce confident sounding answers.

                The problem is that human psychology is wired not to be discern the difference when the output’s falseness isn’t immediately obvious.

                • tatterdemalion@programming.dev
                  link
                  fedilink
                  arrow-up
                  1
                  ·
                  4 days ago

                  Again, no one suggested that I would prototype with the LLM and then completely trust what it tells me about the code and what it learned from writing it. That is stupid.

                  You get the LLM to write code quickly and then you review it and perform experiments manually.

                  • spartanatreyu@programming.dev
                    link
                    fedilink
                    arrow-up
                    1
                    ·
                    3 days ago

                    You get the LLM to write code quickly and then you review it and perform experiments manually.

                    I think this is where the issue is, the word “review”.

                    Reviewing comes in two different types: non-trivial reviews and trivial reviews.


                    Non-trivial change example: Create a presentation where the user flow follows a flow chart.

                    Someone could go to an LLM, prompt it with “create a presentation that follows this flow chart” followed by the mermaid syntax of the flowchart.

                    The LLM will give you back an array of slides where certain functions/actions/triggers/etc… navigates to a different slide based on its index within the array.

                    But if you ask a person to do it, they might sit there for a while, try a few different attempts to understand the problem better, then come back to you with some typed generics and a map/dictionary/object/associative-array/etc… with slides in it, and functions/actions/triggers/etc… that navigate to a flow chart by a slide’s id.

                    Two different bits of code to review from two different sources.

                    You can choose to do one of the following:

                    • “LGTM” the changes (in which case it wasn’t actually reviewed),
                    • Read through the entire change to try and comprehend it until you find a part that you don’t understand
                      • Sidenote: If you didn’t find a part that you didn’t understand, then the change isn’t actually non-trivial, so you can refer to the “trivial change example” below. This section is about non-trivial changes.

                    When asking the LLM a question about the part that you didn’t understand, it will either give you:

                    • A completely different changeset, so now you have something completely different to review. And by the fact of the longest part of programming being digesting code you didn’t write, in effect you’ve taken a long-cut and could have written it yourself faster. (This is part of where the “LLMs make programmers take longer” observation comes from)
                    • A post-hoc justification for it. Which would by it’s nature not have take place before the code was written, which makes it unable to have actually affected the code, and thus not actually be a valid reason for why the code is the way it is. So you don’t get a valid answer, you just get a convincing one.

                    When asking the person why they did it, they’ll tell you they tried a few attempts to get their head around it, and mid-attempt they accidentally commented-out one of the slides which created an unseen error when one of the functions/actions/triggers/etc… tried to go to a slide that didn’t exist. So to prevent that problem from occurring again, they wrote another attempt where they used types/generics such that every slide’s id and reference to every slide’s id was type checked. That way, if a reference was ever incorrect or initially correct but made incorrect by a later change somewhere else, the editor would alert you before you even tried to compile your code. With that response, you now have the reasoning behind the non-trivial thing you didn’t understand.


                    Trivial change example: Changing a color from “orange” to “red”.

                    Someone could go to an LLM’s chat window and type, “Change the color to red”.

                    But it’d be faster to just double click the word “orange” to select it, then type the word “red”.

                    So for trivial examples, it doesn’t really make much sense to use an LLM, it’s literally faster to do it yourself then review your own trivial changes in a diff.


                    Coming back to the problem of the word “review”:

                    You get the LLM to write code quickly and then you review it and perform experiments manually.

                    • Non-trivial reviews require back and forth communication. Reviews can be convincing without being valid. The review’s validity depends upon the validity of reasoning within that communication.
                    • Trivial reviews are trivial, so there’s no point to using an LLM in the first place

                    That means that reviews of LLM outputted code by their nature are either invalid and/or non-optimal.

                    My advice: cut out the crutch/middle-man and do the hard work of establishing that rock-solid understanding. You’ll be much better off in the long run.

    • Dave.@aussie.zone
      link
      fedilink
      arrow-up
      4
      arrow-down
      24
      ·
      edit-2
      9 days ago

      Ok it occurs to me that people use this like they use a spellinng/grammar checker in a word processor.

      Spellcheck:

      • They have an idea.
      • They type up the idea.
      • They run spellcheck and it churns through their document and it fixes mistakes that it can see.
      • They send it to someone for review.

      LLM coding:

      • They have an idea.
      • They type up the idea.
      • LLM churns on the idea and spits out a solution-of-sorts.
      • They send it to someone for review.

      Regardless of other opinions of it, they see it as a tool that helps take the effort out of getting ideas into reality.

      Edit: Oh wait, this is c/programming. Fuck. Ok, give me 5 minutes for me to sharpen my pitchfork and come up with something that matches the groupthink, I’ll be right back.

      • spectrums_coherence@piefed.social
        link
        fedilink
        English
        arrow-up
        12
        arrow-down
        1
        ·
        edit-2
        7 days ago

        Asking LLM to turn “idea” (instead of detailed spec) into a gigantic codebase is like asking your spell checker to write your essays.

      • StrikeForceZero@programming.dev
        link
        fedilink
        arrow-up
        5
        ·
        8 days ago

        You missed the part where they are SUPPOSED to meticulously review the “solution” themselves and have deep foundational understanding of what’s going on to know if it’s a good solution or not.

        Ideas are a dime a dozen. It’s not useful when the person lacks the ability to fully vet the solution before passing someone else to review. That just makes them middlemen. When instead the actual maintainer or reviewer could have done the same thing but have that foundational understanding.

      • onlinepersona@programming.dev
        link
        fedilink
        English
        arrow-up
        1
        arrow-down
        3
        ·
        8 days ago

        Not all of us are doggedly against LLM, it’s just the LLM-haters that are preponderantly loud. They are like the anti-feminists that have to show up in every post about women.