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
FP2: Fully In-Place Functional Programming [pdf](microsoft.com)187 points by chriscbr 3 years ago | 20 comments
The Internet Is Broken: Idealistic Ideas for Building a GNU Network [pdf] (2014)(w3.org)48 points by todsacerdoti 2 years ago | 6 comments
Neatroff – a new implementation of the Troff typesetting system (2017) [pdf](litcave.rudi.ir)46 points by smartmic 2 years ago | 6 comments
A tutorial for the sam command language (1986) [pdf](doc.cat-v.org)35 points by networked 3 years ago | 9 comments
![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 rachit.pl: Modular Hardware Design with Timeline Types [pdf]](https://hn.urlbox.com/shots/renders/2023/11/22/c574c259-c544-488e-9b6f-4aa0ac0b0248.jpg)
![Screenshot of microsoft.com: FP2: Fully In-Place Functional Programming [pdf]](https://hn.urlbox.com/shots/renders/2023/6/25/5a0770ec-f122-49a1-9f67-26cbc48205f8.jpg)
![Screenshot of bitvm.org: BitVM: Compute Anything on Bitcoin [pdf]](https://hn.urlbox.com/shots/renders/2023/10/17/44edef61-c5c9-45e3-80f2-8fcde690e5c6.jpg)
![Screenshot of w3.org: The Internet Is Broken: Idealistic Ideas for Building a GNU Network [pdf] (2014)](https://hn.urlbox.com/shots/renders/2024/8/6/052a6f1c-6e1b-45b6-a73f-a5a89315a670.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 doc.cat-v.org: A tutorial for the sam command language (1986) [pdf]](https://hn.urlbox.com/shots/renders/2023/10/20/ff543c5a-9d76-4cd6-9b94-7d04b720689c.jpg)