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