Legible Mathematics, sketches of a new arithmetic for programming | Hacker News Reader