markus_zhang Karma 8,457 Created 7 years ago Recent Submissions 1. ▲ Lean me softly: A satire about a dystopian future for mathematics (proofsandprompts.com) 1 point · 17 hours ago · 0 comments All submissions on HN · View profile on HN