Peter Naur – Programming as Theory Building | Hacker News Reader