Hacker News
- Mathematics and Computation https://www.math.ias.edu/avi/book 22 comments
- Mathematics and Computation [pdf] https://www.math.ias.edu/files/Website03-25-19.pdf 14 comments
- Avi Wigderson, "Mathematics and Computation" [pdf] https://www.math.ias.edu/files/mathandcomp.pdf#page=1 9 comments compsci
- I don't know if this has been posted yet, but it just came to my attention that there is a paper which appeared on arxiv (as of Jan. 10) that may have provided a proof to the graph dichotomy conjecture. https://www.math.ias.edu/csdm/files/08-09/gkun_a_new_line_of_attack_on_the_dichotomy_conjecture.pdf 27 comments math
- Vladimir Voevodsky's push for computer-checked mathematical proofs (slides from IAS talk on March 26) http://www.math.ias.edu/~vladimir/site3/univalent_foundations_files/2014_ias.pdf 10 comments math
- Voevodsk'y slides on the motivations behind Univalent Foundations http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf 4 comments coq
- The P != NP problem explained by greatest computer scientist in the world [pdf] http://math.ias.edu/~avi/publications/mypapers/w06/w06.pdf 30 comments programming