knotthebest Karma 7 Created 1 year ago Recent Submissions 1. ▲ Terence Tao, "Machine Assisted Proof" [video] (youtube.com) 2 points · 1 year ago · 1 comment All submissions on HN · View profile on HN