Modular Hardware Design with Timeline Types [pdf](rachit.pl)39 points by luu 2 years ago | 3 comments
Off-Path Network Traffic Manipulation via Revitalized ICMP Redirect (2022) [pdf](usenix.org)35 points by TechBro8615 3 years ago | 5 comments
Sequent Calculus as a Compiler Intermediate Language (2016) [pdf](simon.peytonjones.org)59 points by swatson741 2 years ago | 7 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 tutorial for the sam command language (1986) [pdf](doc.cat-v.org)35 points by networked 3 years ago | 9 comments
![Screenshot of rachit.pl: Modular Hardware Design with Timeline Types [pdf]](https://hn.urlbox.com/shots/renders/2023/11/22/4f8bd5fd-2cd8-43b6-87a4-621a8ea7c1b5.jpg)
![Screenshot of harold.thimbleby.net: Don't use 7-segment displays (2011) [pdf]](https://hn.urlbox.com/shots/renders/2024/7/9/f4a7438d-e29c-4a7b-933e-d59ff4a82299.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 humprog.org: Some were meant for C [pdf]](https://hn.urlbox.com/shots/renders/2023/6/21/a8b0b2a9-202b-474a-b630-4f6165424f5e.jpg)
![Screenshot of simon.peytonjones.org: Sequent Calculus as a Compiler Intermediate Language (2016) [pdf]](https://hn.urlbox.com/shots/renders/2024/3/3/d240bb84-c226-408c-a0b4-1fb416400df8.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 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)