Hacker News new | past | comments | ask | show | jobs | submit | thaliaarchi's submissions login

1. Go's History in Code (2020) (seh.dev) 3 points by thaliaarchi 18 days ago | 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: