BP: Formal Proofs, the Fine Print and Side Effects (2018) [pdf](people.scs.carleton.ca)47 points by luu 3 years ago | 5 comments
Spike in short selling in Israeli-company ETF days before Oct 7 [pdf](img.haarets.co.il)53 points by tecc501 2 years ago | 29 comments
A simple proof that pi is irrational [pdf] (1946)(ams.org)62 points by pipopi 2 years ago | 39 comments
Evolution of the Unix System Architecture: An Exploratory Case Study(ieeexplore.ieee.org)39 points by rodrigo975 3 years ago | 6 comments
What made Apollo a success? (1971) [pdf](ntrs.nasa.gov)76 points by wallflower 2 years ago | 54 comments
![Screenshot of people.scs.carleton.ca: BP: Formal Proofs, the Fine Print and Side Effects (2018) [pdf]](https://hn.urlbox.com/shots/renders/2023/7/22/fd1e2749-4473-4ddb-91b0-13809cd2f88d.jpg)
![Screenshot of groups.csail.mit.edu: It's time for a new old language (2017) [pdf]](https://hn.urlbox.com/shots/renders/2023/11/26/cbad87f9-b529-418a-8342-10c6d375a00d.jpg)
![Screenshot of img.haarets.co.il: Spike in short selling in Israeli-company ETF days before Oct 7 [pdf]](https://hn.urlbox.com/shots/renders/2023/12/4/85a3523c-6c9a-44a8-b9d2-af02f76cfbd9.jpg)
![Screenshot of ams.org: A simple proof that pi is irrational [pdf] (1946)](https://hn.urlbox.com/shots/renders/2024/8/11/73262829-6ef0-4cd9-933f-46e90b8f4a7c.jpg)
![Screenshot of sgp.fas.org: Welding of Plutonium (1958) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/18/02ed26e2-ecd3-430f-b7ed-fd83b085518a.jpg)
![Screenshot of ntrs.nasa.gov: What made Apollo a success? (1971) [pdf]](https://hn.urlbox.com/shots/renders/2023/12/18/a76c4449-2c9e-412a-848f-3e9642d4b23b.jpg)