The Surprising Predictability of Long Runs (2012) [pdf](csun.edu)36 points by alexmolas 2 years ago | 10 comments
Death by Thomas Nagel (1970) [pdf](rintintin.colorado.edu)31 points by wjb3 2 years ago | 19 comments
Terse: A language with hi-level look-and-feel, low-level control (1995) [pdf](terse.com)58 points by sph 2 years ago | 19 comments
Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
Neatroff – a new implementation of the Troff typesetting system (2017) [pdf](litcave.rudi.ir)46 points by smartmic 2 years ago | 6 comments
![Screenshot of csun.edu: The Surprising Predictability of Long Runs (2012) [pdf]](https://hn.urlbox.com/shots/renders/2024/10/11/293d609f-e9f2-4fb5-aed4-e16f7904ab11.jpg)
![Screenshot of cs.stanford.edu: Don Knuth letter about libraries increasingly unable to afford prices (2003) [pdf]](https://hn.urlbox.com/shots/renders/2024/3/18/67ab7e66-527d-4b7a-9097-3e2ecd422a9c.jpg)
![Screenshot of rintintin.colorado.edu: Death by Thomas Nagel (1970) [pdf]](https://hn.urlbox.com/shots/renders/2023/12/31/5db5b0c1-ce44-4c27-8e4e-ab36b7d11957.jpg)
![Screenshot of terse.com: Terse: A language with hi-level look-and-feel, low-level control (1995) [pdf]](https://hn.urlbox.com/shots/renders/2024/1/14/5e72ac35-fd14-480a-9494-0ec6b714ed40.jpg)
![Screenshot of theory.stanford.edu: Recursive Program Synthesis using Paramorphisms [pdf]](https://hn.urlbox.com/shots/renders/2024/7/12/2823f00e-4a20-4194-a7ec-21cdfccb7c97.jpg)
![Screenshot of litcave.rudi.ir: Neatroff – a new implementation of the Troff typesetting system (2017) [pdf]](https://hn.urlbox.com/shots/renders/2024/1/20/0327dad4-e2cf-45f8-963e-dfb93e3e9c75.jpg)
![Screenshot of open-std.org: Implication for C++ [pdf]](https://hn.urlbox.com/shots/renders/2023/10/20/a1ffb045-b88b-42fe-96dd-57f4fef01925.jpg)