![Screenshot of linear.axler.net: Linear Algebra Done Right [pdf]](https://hn.urlbox.com/shots/renders/2024/9/1/ef0f3e71-b247-4c32-ba70-30592116fcaa.jpg)
![Screenshot of cs.utexas.edu: The Bitter Lesson (2019) [pdf]](https://hn.urlbox.com/shots/renders/2023/8/16/a473d309-2d93-473c-9cf7-e8d26d5d064d.jpg)
First screen, captured .
Looks similar
![Screenshot of bitvm.org: BitVM: Compute Anything on Bitcoin [pdf]](https://hn.urlbox.com/shots/renders/2023/10/17/44edef61-c5c9-45e3-80f2-8fcde690e5c6.jpg)
BitVM: Compute Anything on Bitcoin [pdf](bitvm.org)
111 points by wslh | 66 comments
![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 cidrdb.org: Database Gyms [pdf]](https://hn.urlbox.com/shots/renders/2023/6/19/e1c383b9-eaac-4738-9dc3-006db2ed0c0a.jpg)
Database Gyms [pdf](cidrdb.org)
105 points by greghn | 8 comments
![Screenshot of theory.stanford.edu: Recursive Program Synthesis using Paramorphisms [pdf]](https://hn.urlbox.com/shots/renders/2024/7/12/2823f00e-4a20-4194-a7ec-21cdfccb7c97.jpg)