BP: Formal Proofs, the Fine Print and Side Effects (2018) [pdf](people.scs.carleton.ca)47 points by luu 3 years ago | 5 comments
Oral History of Robert P. Colwell – Chief Architect for Intel's IA32 [pdf](sigmicro.org)46 points by areoform 2 years ago | 9 comments
Off-Path Network Traffic Manipulation via Revitalized ICMP Redirect (2022) [pdf](usenix.org)35 points by TechBro8615 3 years ago | 5 comments
So You Think You Know C? (2020) [pdf](wordsandbuttons.online)97 points by signa11 3 years ago | 59 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
D-Expressions: Lisp power, Dylan style [pdf](people.csail.mit.edu)79 points by fanf2 2 years ago | 45 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 terebess.hu: The Seneca Effect: Growth is slow but collapse is rapid (2017) [pdf]](https://hn.urlbox.com/shots/renders/2024/1/6/3624b4eb-0911-4d97-83ea-f2573f3b94d1.jpg)
![Screenshot of sigmicro.org: Oral History of Robert P. Colwell – Chief Architect for Intel's IA32 [pdf]](https://hn.urlbox.com/shots/renders/2023/11/29/9ac62491-8636-439d-9fa1-67caef6ebee1.jpg)
![Screenshot of usenix.org: Off-Path Network Traffic Manipulation via Revitalized ICMP Redirect (2022) [pdf]](https://hn.urlbox.com/shots/renders/2023/6/18/8a1e2ea3-7a32-419d-be8f-8c2eec74442e.jpg)
![Screenshot of wordsandbuttons.online: So You Think You Know C? (2020) [pdf]](https://hn.urlbox.com/shots/renders/2023/9/17/8ecc1e43-3436-473e-bac8-f34e0ceaa7c1.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 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)