Idris: Towards Version 1.0 | Hacker News Reader