From QED to Neovim | Hacker News Reader