[pbronez]

Interesting take, what do you think comes next? A programming language optimized for coding agents?

[pjmlp]

Kind of, more in line with formal specs used in high integrity computing, instead of classical programming languages.