Hacker Next
A Generalized Algebraic Theory of Directed Equalityjacobneu.phd
63 points by matt_d 11 days ago | 26 comments