Yeah that's what I was just thinking. Once we somehow synthesize this LLM into a new type of programming language it gets interesting. Maybe a more natural language that gets the gist of what you are trying to do. And then a unit test to see if it works. And then you verify. Not sure if that can work.

TBH I'm a bit shocked that programmers are already using AI to generate programming, I only program as a hobby any more. But it sounds interesting. If I can get more of my ideas done with less work I'd love it.

I think fundamentally, philosophically there are limits. Ultimately you need language to describe what you want to do. You need to understand the problem the "customer" has and formulate a solution and then break it down into solvable steps. AI could help with that but fundamentally it's a question of describing and the limits of language.

Or maybe we'll see brain interfaces that can capture some of the subtleties of intend from the programmer.

So maybe we'll see the productivity of programmers rise by like 500% or something. But something tellse me (Jevons paradox) the economy would just use that increased productivity for more apps or more features. But maybe the needed qualifications for programmers will be reduced.

Or maybe we'll see AI generating programming libraries and development suits that are more generalized libraries. Or like existing crusty libraries rewritten to be more versatile and easier to use by AI powered programmers. Maybe AI could help us create a vast library of more abstract / standard problem+solutions.