![Screenshot of lamport.azurewebsites.net: How to Write a 21st Century Proof (2011) [pdf]](https://hn.urlbox.com/shots/renders/2025/12/21/8f3a8d47-1a34-40ff-be5c-91fa1c4c16c4.jpg)
First screen, captured .
Looks similar
![Screenshot of courses.csail.mit.edu: Mathematics for Computer Science (2018) [pdf]](https://hn.urlbox.com/shots/renders/2026/1/9/ae2aa14e-4a6c-4954-86ba-c8b6fc82ba70.jpg)
Mathematics for Computer Science (2018) [pdf](courses.csail.mit.edu)
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.
![Screenshot of lamport.azurewebsites.net: Paxos Made Simple (2001) [pdf]](https://hn.urlbox.com/shots/renders/2026/7/14/bfbf5a11-605f-4394-8b53-a50255aa601f.jpg)
![Screenshot of cs.cornell.edu: Type theory and functional programming. (1999) [pdf]](https://hn.urlbox.com/shots/renders/2025/10/1/c857d85d-1f99-434e-a047-5b20b08f4fe9.jpg)
![Screenshot of cs.cornell.edu: Type Theory and Functional Programming (1999) [pdf]](https://hn.urlbox.com/shots/renders/2025/10/1/d230b483-e079-4cd0-a35f-4c9438242320.jpg)
