![Screenshot of mathsquad.com: Three hundred words you can spell on a calculator [pdf]](https://hn.urlbox.com/shots/renders/2024/11/24/300e7098-fd39-4116-b41a-9f7ccfe7937b.jpg)
![Screenshot of simon.peytonjones.org: Sequent Calculus as a Compiler Intermediate Language (2016) [pdf]](https://hn.urlbox.com/shots/renders/2024/3/3/aefdb8fc-df97-40b9-adff-056a99fe2b8b.jpg)
First screen, captured .
Looks similar
![Screenshot of ifca.ai: What Satoshi Did Not Know (2015) [pdf]](https://hn.urlbox.com/shots/renders/2023/10/6/79347264-92da-4e9e-a7c8-857d3fdea6e0.jpg)
What Satoshi Did Not Know (2015) [pdf](ifca.ai)
32 points by g4zj | 37 comments
![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 cs.rpi.edu: λ Calculus (2013) [pdf]](https://hn.urlbox.com/shots/renders/2023/8/18/c5c09236-6650-4d73-8cd3-9542a1337ca8.jpg)
λ Calculus (2013) [pdf](cs.rpi.edu)
157 points by behnamoh | 57 comments
![Screenshot of arxiv.org: Destruction of nuclear bombs using ultra-high energy neutrino beam (2003) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/6/9321eca3-4c9f-4220-ab6d-c78ce6b4d054.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)
First screen, captured .
32 points by g4zj | 37 comments
157 points by behnamoh | 57 comments