HN
Hacker News
Top
New
Best
Ask
Show
Jobs
hikingsimulator
555 karma · joined September 22, 2020
ML PhD candidate
submissions
comments
Introduction to Homotopy Type Theory
arxiv.org
·
2 pts
·
hikingsimulator
·
1