Soon, we’ll use semantically vague human language, to prompt, cajole, nudge LLM agents to produce programs that are (lossy) statistical approximations of what might be correct programs.

That seems vanishingly unlikely next to the potential of using strongly typed, verifiable-at-compile-time languages.

If humans move further and further away from actual code, what do they care what language the product is made in?