A Beautiful Technique for Some XOR Related Problems(codeforces.com)45 points by blobcode 1 year ago | 4 comments
Rosser's Theorem via Turing Machines (2011)(scottaaronson.blog)59 points by dargscisyhp 2 years ago | 8 comments
Decomposing factorial of 300K as the product of 300K factors larger than 100K(gus-massa.blogspot.com)90 points by gus_massa 1 year ago | 9 comments