Programming as Theory Building – Peter Naur | Dark Hacker News