FP2: Fully In-Place Functional Programming [pdf](microsoft.com)187 points by chriscbr 3 years ago | 20 comments
Death by Thomas Nagel (1970) [pdf](rintintin.colorado.edu)31 points by wjb3 2 years ago | 19 comments
Provable Security of Linux-DRBG in the Seedless Robustness Model [pdf](eprint.iacr.org)35 points by zx2c4 2 years ago | 2 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
Fast and Clean: Auditable high-performance assembly via constraint solving [pdf](eprint.iacr.org)67 points by luu 3 years ago | 4 comments
Passive SSH Key Compromise via Lattices [pdf](eprint.iacr.org)70 points by Animux 3 years ago | 37 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 kemendo.com: The Myth of Scarcity and Its Threats to Human Society [pdf] (2023)](https://hn.urlbox.com/shots/renders/2024/3/2/a8537b09-c8e4-4403-815f-e5c4909e8267.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)
![Screenshot of eprint.iacr.org: Provable Security of Linux-DRBG in the Seedless Robustness Model [pdf]](https://hn.urlbox.com/shots/renders/2024/9/16/28f24ad6-2e73-4813-93b8-d09db7a159c4.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 eprint.iacr.org: Fast and Clean: Auditable high-performance assembly via constraint solving [pdf]](https://hn.urlbox.com/shots/renders/2023/10/9/21a99240-5b47-4096-a0f6-962ebb3110a9.jpg)
![Screenshot of eprint.iacr.org: Passive SSH Key Compromise via Lattices [pdf]](https://hn.urlbox.com/shots/renders/2023/11/6/19659ea3-7040-4b71-8da3-7b8cc5499556.jpg)