The joy of abstract mathematical thinking – with Eugenia Cheng | Hacker News Reader