‹ BackHN Continuity

Thread

Learning Programming in an Age of LLMs

263 points · 195 comments · moneroloop2018

  1. js8 · · focus · HN ↗
    I answered this to myself - stop worrying about LLMs. It's pretty simple: due to Curry-Howard isomorphism, programming languages are just notations for some type of formal logic.

    Now ask yourself a question, what language do you want to maintain the programs in? Do you think natural language is going to be easier and more maintainable than formal logic?

    The answer is no. So you need programmers, people who can read the formal description and adapt it to new requirements.

    LLMs are amazing technology, but the truth is - natural language just kinda sucks. Therefore, you don&#x27;t really need them (see also <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;AI_effect" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;AI_effect ).

    I think people love LLMs for the same reasons they love magicians. But just like the magician employs a hidden trick, LLM just runs some algorithm you don&#x27;t see or understand.

    So worrying about LLMs taking programming job is kinda like worrying that a magician will take a warehouse worker job, because they can levitate stuff. Meanwhile, we already have automated programmer - it&#x27;s called a compiler.

    1. sanderjd · · focus · HN ↗
      I totally agree with the skepticism that we&#x27;ll ever get to a point where natural language becomes the &quot;formalism&quot; and stop needing people who understand the actual formalism underneath. And I agree that you don&#x27;t need LLM based tools.

      But things that you don&#x27;t need can still be (and often are) incredibly useful. Nobody needs an IDE, nobody needs vim or emacs or bash or even compilers or assemblers.

      But we have all those tools and they are useful. That is, their utility is net positive.

      Using LLMs to generate code currently also has (wildly) net positive utility. Maybe that will change because some part of the calculation changes. But this is the situation right now.

      1. jopsen · · focus · HN ↗
        Also not everything needs to be formal.

        I might want the REST API for a webshop to be solid, payment and checkout process, sure.

        But the UI. So long as the LLM doesn&#x27;t falsify product information, why customize the layout, theme, look and feel for each and every single customer.

        Okay, maybe don&#x27;t, but point is: you could take bigger risks, you maybe don&#x27;t need to review UI changes as much.

        1. apsurd · · focus · HN ↗
          The bit about &quot;but the UI&quot; sounds like a developer thinking &quot;UI is a solved problem&quot; in the same way MBAs are told &quot;coding is a solved problem&quot;.

          Product people do seem to think it worth exploring &quot;personalized software for everyone&quot; like literally each person gets their own custom UI. This does sound like a support mess but it&#x27;s not obviously wrong when you think about the Microsoft Word alternative.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.