B blog.computationalcomplexity.org The new Gödel Prize winner tastes great and is less filling 110 points baruchel 1 year ago 47 comments
