| ▲ | phyzix5761 2 hours ago | |
> any person can write down any list of requirements along with any user interface specs Isn't this just a new programming language? A higher level language which will require new experts to know how to get the best results out of it? I've seen non-technical people struggle with AI generated code because they don't understand all the little nuances that go into building a simple web app. | ||
| ▲ | Chinjut 2 hours ago | parent [-] | |
A programming language with no tractable guarantees about the behavior of any particular program, including in practice no guarantees that the same source code (in this new programming language) will reliably produce the same behavior. This is very different from traditional programming languages and how we can reason about them. | ||