![Screenshot of ams.org: Machine-Assisted Proof [pdf]](https://hn.urlbox.com/shots/renders/2024/12/28/78f19787-8c3d-4276-91fd-5354f759bef1.jpg)
Machine-Assisted Proof [pdf](ams.org)
177 points by jalcazar | 91 comments
![Screenshot of classicalstudies.org: Telling Stories in Athenian Law [pdf] (2002)](https://hn.urlbox.com/shots/renders/2024/12/22/c2f517ed-1faf-4901-9c7b-17d0c4559eb5.jpg)
First screen, captured .
Looks similar
![Screenshot of thedaemon.space: The psychonaut field manual [pdf]](https://hn.urlbox.com/shots/renders/2025/1/1/94342e9f-2958-414e-badb-eaba5caab376.jpg)
![Screenshot of inf.ed.ac.uk: The Cognitive Style of PowerPoint (2006) [pdf]](https://hn.urlbox.com/shots/renders/2025/1/2/548c1f7a-043f-48e2-9847-9b28787f4bc1.jpg)
![Screenshot of crisesnotes.com: Doomsday Book (2006) [pdf]](https://hn.urlbox.com/shots/renders/2025/1/7/8b7b0d1d-5df5-4c49-aea4-fe4dc31e10f1.jpg)
Doomsday Book (2006) [pdf](crisesnotes.com)
269 points by Jimmc414 | 195 comments
Agents Are Not Enough(arxiv.org)
185 points by awaxman11 | 131 comments
![Screenshot of pubsonline.informs.org: Richard Bellman on the Birth of Dynamic Programming (2002) [pdf]](https://hn.urlbox.com/shots/renders/2024/12/22/c03615be-4af5-4817-8c0a-1729f49fda7c.jpg)