HN
Hacker News
Top
New
Best
Ask
Show
Jobs
knotthebest
7 karma · joined January 25, 2024
submissions
comments
Terence Tao, "Machine Assisted Proof" [video]
youtube.com
·
2 pts
·
knotthebest
·
1