HN Explorer

thaliaarchi

↗ HN profile [ 70.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Curly braces: An evolution of Unix and C (thalia.dev)
    68 points 10
  2. Go's History in Code (2020) (seh.dev)
    3 points 2
  3. Coq typeclass resolution is Turing-complete (thaliaarchi.github.io)
    90 points 24