I very much expect that programming discipline is about to change quite drastically. I expect programmers will have a role that’s somewhere between a mathematician and a business analyst. The core aspect of the process that requires a human in the loop is the verification step. You need a human to actually understand what the requirements are and then ensure that the software meets these requirements. I strongly expect that writing formal contracts that LLMs will fulfill will be the way we develop a lot of software going forward.