![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)
First screen, captured .
Looks similar
![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)
![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.
The ABC Programming Language(homepages.cwi.nl)
55 points by TheFreim | 6 comments
Lithp.py (~2008)(fogus.me)
28 points by wglb | 5 comments
![Screenshot of vfxforth.com: Compiling Prolog to Forth [pdf]](https://hn.urlbox.com/shots/renders/2026/3/7/f5a104a8-c3cd-4d0e-9f60-aec6e0bebed6.jpg)
Compiling Prolog to Forth [pdf](vfxforth.com)
114 points by PaulHoule | 9 comments