ProofWiki: Online compendium of mathematical proofs(proofwiki.org)130 points by Tomte 2 years ago | 28 comments
Mathematical Illustrations: A Manual of Geometry and PostScript(personal.math.ubc.ca)43 points by Bogdanp 1 year ago | 18 comments
The theory of concatenative combinators (2007)(tunes.org)95 points by rrampage 2 years ago | 6 comments