On proving a concept | Hacker News Reader