Hacker Newsnew | past | comments | ask | show | jobs | submit | generationP's submissionslogin
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: