Andrej Karpathy: Software in the era of AI [video]

Post by OJFord » Fri, Jun 20, 2025, 2:08 AM UTC

    def __main__:
        You are a calculator. Given an input expression, you compute the result and print it to stdout, exiting 0.
        Should you be unable to do this, you print an explanation to stderr and exit 1.

Post by AdieuToLogic » Fri, Jun 20, 2025, 2:23 AM UTC

furyofantares wrote: post #233

AdieuToLogic wrote: post #33

Earlier quoted context omitted.

>> A recurring theme presented, however, is that LLM's are somehow not controlled by the corporations which expose them as a service. The presenter made certain to identify three interested actors (governments, corporations, "regular people") and how LLM offerings are not controlled by governments. This is a bit disingenuous. > I don't think that's what he said, he was identifying the first customers and uses. The po…

Yeah that's explicitly about first customers and first uses, not about who controls it. I don't see how it minimizes the control corporations have to note this. Especially since he's quite clear about how everything is currently centralized / time share model, and obviously hopeful we can enter an era that's more analogous to the PC era, even explicitly telling the audience maybe some of them will work on making that…

Post by kevinventullo » Fri, Jun 20, 2025, 2:32 AM UTC

sponnath wrote: post #570

uncircle wrote: post #530

Earlier quoted context omitted.

> This thread perfectly captures what Karpathy was getting at. We're witnessing a fundamental shift where the interface to computing is changing from formal syntax to natural language. Yes, telling a subordinate with natural language what you need is called being a product manager. Problem is, the subordinate has encyclopedic knowledge but it's also extremely dumb in many aspects. I guess this is good for people that…

I think the only places where the entry-level coder is being killed are corps that never cared about the junior to senior pipeline. Some of them love off-shoring too so I'm not sure much has changed.

Post by dang » Fri, Jun 20, 2025, 3:20 AM UTC

Aeroi wrote: post #656

dang wrote: post #573

Earlier quoted context omitted.

Maybe so, but please don't post unsubstantive comments to Hacker News. (Thoughtful criticism that we can learn from is welcome, of course. This is in the site guidelines: https://news.ycombinator.com/newsguidelines.html .)

I'd argue that expressing contrarian sentiment can be substantive. Otherwise this would be an echo-chamber of agreement.

Post by practal » Fri, Jun 20, 2025, 3:28 AM UTC

andrepd wrote: post #646

practal wrote: post #50

Great talk, thanks for putting it online so quickly. I liked the idea of making the generation / verification loop go brrr, and one way to do this is to make verification not just a human task, but a machine task, where possible. Yes, I am talking about formal verification, of course! That also goes nicely together with "keeping the AI on a tight leash". It seems to clash though with "English is the new programming l…

Not gonna lie, after skimming the website and a couple preprints for 10 minutes my crank detector is off the charts. Your very vague comments adds to it. But maybe I just don't understand.