This is exactly the kind of stuff I am slowly realising with the increased adoption of agentic runtimes in enterprise SaaS products.

We will move into formal verification alongside AI tools, thus generation of executables via translation to 3 GLs is going to be a transition step, just like Assembly coders wary of optimising compilers always wanted to manually check the generated Assembly code.

And yes, many of us will have to search another source of income as an outcome of "progress".