RIP Aravind Joshi | Hacker News Reader