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