![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
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 tomandmaria.com: Los Alamos bets on ENIAC: Nuclear Monte Carlo simulations, 1947–1948 (2014) [pdf]](https://hn.urlbox.com/shots/renders/2026/10/1/b4d72e53-57fb-489e-98ff-90821d31e684.jpg)
Los Alamos bets on ENIAC: Nuclear Monte Carlo simulations, 1947–1948 (2014) [pdf](tomandmaria.com)
48 points by nill0 | 1 comments
A 2014 IEEE Annals of the History of Computing paper by Haigh, Priestley and Rope reconstructing the 1948 ENIAC Monte Carlo nuclear simulations run for Los Alamos.
Tufte CSS(edwardtufte.github.io)
161 points by avinassh | 40 comments
![Screenshot of janmidtgaard.dk: Property-Based Testing of OCaml 5's Runtime System [pdf]](https://hn.urlbox.com/shots/renders/2025/9/27/2ff34b9b-ed7f-4f16-bc1a-ba3e73a4ff9c.jpg)