Hacker Newsnew | past | comments | ask | show | jobs | submit | samsartor's favoriteslogin
1.
Sumerian dog jokes, or the difficulty of translating dead languages (twitter.com/linmanuelrwanda)
462 points by jsnell on March 21, 2022 | 315 comments
2.
New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io)
340 points by namanyayg on April 23, 2024 | 162 comments

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

Search: