Naur's "Programming as Theory Building" and LLMs replacing human programmers