Hacker Newsnew | past | comments | ask | show | jobs | submit | thaliaarchi's submissionslogin
1.
Go's History in Code (2020) (seh.dev)
3 points by thaliaarchi on May 19, 2024 | past | 2 comments
2.
Coq typeclass resolution is Turing-complete (thaliaarchi.github.io)
90 points by thaliaarchi on April 16, 2023 | past | 24 comments

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

Search: