Mathematics Without Mathematicians(borretti.me)
34 points by varjag | 38 comments
34 points by varjag | 38 comments
101 points by smilelamp | 53 comments
Guest post by Jeremy Avigad on Terence Tao's blog discussing the future of mathematics, framed by historical transformations of the subject.
219 points by ayoisaiah | 88 comments
85 points by surprisetalk | 21 comments
366 points by vismit2000 | 62 comments
PDF of the 2018 revision of the MIT textbook Mathematics for Computer Science by Eric Lehman, F. Thomson Leighton, and Albert R. Meyer.
10 points by synthetictask | 2 comments