Software Is Changing (Again) - Andrej Karpathy

Software 3.0 guy: 'If only there was some way we could precisely tell the computer what to do! Oh well let's try refactoring the prompt some more."

That screen tearing on Primes monitor had me poking mine, thinking I have to buy a new one. Now I do have to buy a new one 😭

10:20 "Stochastic Compiler" is the coolest way to put that

@52:05 Totally agree - the more you use LLMs, the more you feel distant from the code. You lose confidence and clarity on how to shape it better. You feel like you're on a fast trip that ends quickly, rather than a slow trip where you see yourself moving much further forward.

1) maths is created in the same way chess is created (rules, axioms) 2) maths is explored in the same way chess is explored (follow the rules and find out) 3) maths is perfect in the same way chess is perfect (only locally, within the rules) also note that there is no such thing as an "actually" formal system, because the topmost parent is always informal. (wikipedia, primitive notions.) a bonus for the interested would be to look into constructive mathematics, where the point is to be explicit about building from the ground up.

A.I certainly changed the way this guy writes presentations.

This man gave us 10 different analogies, none of which could extrapolate anything. He must be a manager, no way he's a dev

QWERTY keyboards were on the ASR-33 and ASR-35 teletype terminals that date way back in time. These had paper tape punches and readers. To save a program, you list the source when the paper tape punch was enabled.

Y Combinator is a plague on society

@1:10:25 so true, coding has never been the main issue. Knowing what to code is the big concern and LLMs dont help with that.