Programming as Theory Building – Peter Naur | Hacker News Reader