Hacker Newsnew | past | comments | ask | show | jobs | submit | saithound's submissionslogin
1.
Some Junk Theorems in Lean (github.com/james-hanson)
91 points by saithound 29 days ago | past | 61 comments
2.
ArXiv is hiring, moving to Google Cloud (arxiv.org)
3 points by saithound on June 14, 2023 | past
3.
Hungary fines Booking.com operator 6.1M pounds for unfair practices (marketscreener.com)
30 points by saithound on April 28, 2020 | past | 6 comments

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

Search: