HN
Hacker News
Top
New
Best
Ask
Show
Jobs
generationP
1,249 karma · joined October 14, 2019
submissions
comments
Kevin Buzzard: Mechanizing Modern Mathematics Interview
typetheoryforall.com
·
4 pts
·
generationP
·
1
ArXiv Down for 4 Hours
2 pts
·
generationP
·
0