Musings on a New Interface for Mathematics (2020) | Hacker News Reader