Naur's "Programming as Theory Building" and LLMs replacing human programmersratfactor.com108 pointsbertmana year ago