Polynomial Functors: A Mathematical Theory of Interaction [pdf](topos.site)41 points by solomonb 3 years ago | 17 comments
A tutorial for the sam command language (1986) [pdf](doc.cat-v.org)35 points by networked 3 years ago | 9 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
FP2: Fully In-Place Functional Programming [pdf](microsoft.com)187 points by chriscbr 3 years ago | 20 comments
Science and Statistics (1976) [pdf](www-sop.inria.fr)77 points by dredmorbius 3 years ago | 4 comments
Lessons I wish I had learned before teaching differential equations [pdf] (1997)(web.williams.edu)315 points by itronitron 2 years ago | 232 comments
![Screenshot of topos.site: Polynomial Functors: A Mathematical Theory of Interaction [pdf]](https://hn.urlbox.com/shots/renders/2023/7/10/f4318706-c124-429f-a6bc-9242ac8bcfd6.jpg)
![Screenshot of math.ucr.edu: Polymathematics: Is mathematics a single science or a set of arts? (1999) [pdf]](https://hn.urlbox.com/shots/renders/2024/6/6/56c82f18-968c-4b6e-9f11-650638379171.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)
![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 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 www-sop.inria.fr: Science and Statistics (1976) [pdf]](https://hn.urlbox.com/shots/renders/2023/6/22/a94ca2dd-63c9-4229-bb7b-d68baffe72ab.jpg)
![Screenshot of web.williams.edu: Lessons I wish I had learned before teaching differential equations [pdf] (1997)](https://hn.urlbox.com/shots/renders/2023/11/13/61682431-f03a-453a-831a-205404241de5.jpg)