Hacker Next
Telescopes Are Tries: A Dependent Type Shellac on SQLitephilipzucker.com
15 points by matt_d 2 days ago | 0 comments