![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)
![Screenshot of oregon.gov: The Oregon Resilience Plan (2013) [pdf]](https://hn.urlbox.com/shots/renders/2023/8/12/682ea62e-ff70-4da5-a2ac-ad8e8fed968f.jpg)
First screen, captured .
Looks similar
![Screenshot of open-std.org: Implication for C++ [pdf]](https://hn.urlbox.com/shots/renders/2023/10/20/a1ffb045-b88b-42fe-96dd-57f4fef01925.jpg)
Implication for C++ [pdf](open-std.org)
32 points by ingve | 36 comments
![Screenshot of isocpp.org: Contracts for C++ (DbC) [pdf]](https://hn.urlbox.com/shots/renders/2024/11/14/12eec603-6521-4c29-b5a3-9eba0bf14e90.jpg)
Contracts for C++ (DbC) [pdf](isocpp.org)
43 points by xo5vik | 32 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 csun.edu: The Surprising Predictability of Long Runs (2012) [pdf]](https://hn.urlbox.com/shots/renders/2024/10/11/293d609f-e9f2-4fb5-aed4-e16f7904ab11.jpg)
![Screenshot of vldb.org: How large language models will disrupt data management [pdf]](https://hn.urlbox.com/shots/renders/2024/7/27/56687121-1f54-48cc-8850-2c98d2177720.jpg)
First screen, captured .
32 points by ingve | 36 comments
43 points by xo5vik | 32 comments