luke.thunk.it
twitter.com/lukens
:
2010: A Formal Display of the Obvious
— 6 months ago
