At what point are “rigorous specs” just another, higher-level programming language? We’ve already moved the needle on language “high-level”-ness without AI. The

At what point are “rigorous specs” just another, higher-level programming language? We’ve already moved the needle on language “high-level”-ness without AI. The Kotlin and Java I write today is orders of magnitude more expressive than the C of the 70s. What about AI is going to change how programming languages climb the abstraction ladder?