For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | generationP's submissionsregister
1.
Kevin Buzzard: Mechanizing Modern Mathematics Interview (typetheoryforall.com)
4 points by generationP on Jan 16, 2023 | past | 1 comment
2.
ArXiv Down for 4 Hours
2 points by generationP on Nov 7, 2019 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You