= 27d567bc2d48d9f40e9ccc20ea370b15)
paper-machine comments on Open Thread, October 1-15, 2012 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (477)
I saw this pop on arXiv, but I doubt it will be very useful to anyone who doesn't know most of the stuff in it beforehand. The exposition is pretty terse, and there are well over 1000 stated theorems.