picafrost Karma 1,090 Created 1 year ago About picafrost proton me Recent Submissions 1. ▲ Mathematics Distillation Challenge – Equational Theories (terrytao.wordpress.com) 110 points · 1 month ago · 5 comments All submissions on HN · View profile on HN