Hacker News new | ask | show | jobs
Musings on a New Interface for Mathematics (2020) (jeremykun.com)
4 points by blewboarwastake 1555 days ago