![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 wescottdesign.com: PID Without a PhD (2016) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/26/047031c0-24c8-4acd-85fe-964f2a06fa0f.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 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 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 paulgazzillo.com: SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)](https://hn.urlbox.com/shots/renders/2024/3/9/57e5751d-6921-4758-80c8-bff8b956aca0.jpg)
![Screenshot of jmlr.org: Large-Scale Dimension Reduction with Both Global and Local Structure (2021) [pdf]](https://hn.urlbox.com/shots/renders/2024/11/20/397a0dce-4952-40ec-921b-e499c63307bc.jpg)
First screen, captured .
32 points by ingve | 36 comments
43 points by xo5vik | 32 comments