HN
Hacker News
Top
New
Best
Ask
Show
Jobs
thaliaarchi
819 karma · joined April 6, 2020
thalia.dev
submissions
comments
Curly braces: An evolution of Unix and C
thalia.dev
·
68 pts
·
thaliaarchi
·
26
Go's History in Code (2020)
seh.dev
·
3 pts
·
thaliaarchi
·
2
Coq typeclass resolution is Turing-complete
thaliaarchi.github.io
·
90 pts
·
thaliaarchi
·
24