How to implement dependent type theory I (2012)(math.andrej.com)41 points by todsacerdoti 3 years ago | 6 comments
Marvelous Arithmetics of Distance(mathenchant.wordpress.com)92 points by mathgenius 3 years ago | 18 comments
How did people deal with punch cards?(blog.computationalcomplexity.org)148 points by zdw 3 years ago | 158 comments