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
D-Expressions: Lisp power, Dylan style [pdf](people.csail.mit.edu)79 points by fanf2 2 years ago | 45 comments
A lot of toast, with a side-order of roast (2002) [pdf](www2.math.upenn.edu)31 points by jstrieb 2 years ago | 2 comments
Death by Thomas Nagel (1970) [pdf](rintintin.colorado.edu)31 points by wjb3 2 years ago | 19 comments
![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 theory.stanford.edu: Basics of Proofs (2017) [pdf]](https://hn.urlbox.com/shots/renders/2023/6/17/9a3d9284-5bdd-4a3f-9c17-9e12177c3354.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 people.csail.mit.edu: D-Expressions: Lisp power, Dylan style [pdf]](https://hn.urlbox.com/shots/renders/2024/5/20/f7125974-e805-468f-859a-c8b11bb01ecc.jpg)
![Screenshot of ifca.ai: What Satoshi Did Not Know (2015) [pdf]](https://hn.urlbox.com/shots/renders/2023/10/6/79347264-92da-4e9e-a7c8-857d3fdea6e0.jpg)
![Screenshot of www2.math.upenn.edu: A lot of toast, with a side-order of roast (2002) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/28/54b5a13d-7d7e-42ba-9952-7e2cfabd284f.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)