Programming as Theory Building | Hacker News Reader