Tacit programming(en.wikipedia.org)
118 points by tosh | 69 comments
First screen, captured .
Looks similar
Connes Embedding Problem(en.wikipedia.org)
19 points by jerlendds | 1 comments
SKI Combinator Calculus(en.wikipedia.org)
28 points by barrister | 0 comments
Flexagon(en.wikipedia.org)
156 points by jerbear4328 | 34 comments
Visual calculus(en.wikipedia.org)
195 points by larion1 | 32 comments
Nicolas Bourbaki(en.wikipedia.org)
52 points by SMAAART | 26 comments