![Screenshot of fertrevino.com: From GPT-4 to GPT-5: Measuring progress through MedHELM [pdf]](https://hn.urlbox.com/shots/renders/2025/8/21/24a7dc79-1ce6-487a-945c-3ab365b313d1.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 interlisp.org: The Medley Interlisp Project: Reviving a Historical Software System [pdf]](https://hn.urlbox.com/shots/renders/2025/6/29/f9589f39-f7ed-44b1-b348-ccfcbc5947ed.jpg)
![Screenshot of courses.cs.washington.edu: An Efficient Implementation of SELF (1989) [pdf]](https://hn.urlbox.com/shots/renders/2025/10/25/c0ce6013-615d-4beb-a910-8c2c7802decf.jpg)
![Screenshot of research.gold.ac.uk: SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf]](https://hn.urlbox.com/shots/renders/2026/3/12/5d8c0e21-2e05-400b-8130-d3a018da0a90.jpg)
![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