From QED to Neovim | Dark Hacker News