André Weil and the Hodge Conjecture(jiahao116.github.io)29 points by caojiahao 1 month ago | 11 comments
λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
Terry Tao's generals (2012)(web.math.princeton.edu)269 points by ishan0102 3 years ago | 119 comments
Unix and Beyond: An Interview with Ken Thompson (1999)(cs.princeton.edu)62 points by pncnmnp 2 years ago | 21 comments