So You Think You Know C? (2020) [pdf](wordsandbuttons.online)97 points by signa11 3 years ago | 59 comments
The Surprising Predictability of Long Runs (2012) [pdf](csun.edu)36 points by alexmolas 2 years ago | 10 comments
Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 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
Evolution of the Unix System Architecture: An Exploratory Case Study(ieeexplore.ieee.org)39 points by rodrigo975 3 years ago | 6 comments
![Screenshot of wordsandbuttons.online: So You Think You Know C? (2020) [pdf]](https://hn.urlbox.com/shots/renders/2023/9/17/8ecc1e43-3436-473e-bac8-f34e0ceaa7c1.jpg)
![Screenshot of people.maths.bris.ac.uk: Turing and the Primes (2016) [pdf]](https://hn.urlbox.com/shots/renders/2024/10/21/835bedbb-71a0-48cd-8111-edd3692e6032.jpg)
![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 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 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 linear.axler.net: Linear Algebra Done Right [pdf]](https://hn.urlbox.com/shots/renders/2024/9/1/ef0f3e71-b247-4c32-ba70-30592116fcaa.jpg)
