![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 paulgazzillo.com: SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)](https://hn.urlbox.com/shots/renders/2024/3/9/191f22a9-3100-4e5c-902f-6ce85438db79.jpg)
First screen, captured .
Looks similar
![Screenshot of open-std.org: Polymorphic Types in C [pdf]](https://hn.urlbox.com/shots/renders/2024/1/18/aa5dc922-8277-4379-b39e-983508fa24cc.jpg)
Polymorphic Types in C [pdf](open-std.org)
90 points by sigsev_251 | 85 comments
![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 klab.tch.harvard.edu: Augmenting biological intelligence with RL in C.elegans using optogenetics [pdf]](https://hn.urlbox.com/shots/renders/2024/6/17/49075edf-f4a6-4840-aa4b-a3739a02a464.jpg)
![Screenshot of mgs.spatial-computing.org: Data structures as topological spaces (2002) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/16/d9708222-e2a1-4851-86eb-fde5780f65d5.jpg)
![Screenshot of vldb.org: Sortledton: A Universal, Transactional Graph Data Structure [pdf]](https://hn.urlbox.com/shots/renders/2024/11/2/e1dc63bc-9852-4325-a7e7-ba2f02427cc8.jpg)
First screen, captured .
90 points by sigsev_251 | 85 comments
32 points by ingve | 36 comments