Meaningful short names | Hacker News Reader