There are 10 types of people: | Hacker News Reader