Looks similar
Benchmarks in Leipzig(arxiv.org)
130 points by root-parent | 44 comments
Optimality of Gerver's Sofa(arxiv.org)
111 points by petters | 33 comments
Grothendieck’s use of equality(arxiv.org)
172 points by golol | 110 comments
130 points by root-parent | 44 comments
111 points by petters | 33 comments
172 points by golol | 110 comments