[pvillano]

I really look forward to the day AI-driven algorithm design + formal verification becomes the norm for performance critical computing.

A programmer translates a natural-language spec into a machine-readable spec, feeds it to an AI-assisted compiler, and out pops an implementation that's more optimized than any human could ever hope to write, along with a lean proof of its correctness.

[jplusequalt]

>A programmer

It won't be a programmer doing this work, because they will have gone the way of the dodo.

It'll be workers specific to a certain domain (e.g. engineer, architect, accountant) doing this on top of their usual work.

The software industry will collapse.

[CuriouslyC]

The architect/accountant won't be doing it either, they'll just be a liability lightning rod for people who are closer to devs than architects doing the actual day to day work. Sort of like a doctor will "manage" a team of nurse practitioners.