R ratfactor.com Naur's "Programming as Theory Building" and LLMs replacing human programmers 108 points bertman 1 year ago 129 comments