Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
Memory Renaming: Fast and Accurate Processing of Memory Communication (1999) [pdf](web.eecs.umich.edu)52 points by mfiguiere 2 years ago | 6 comments
SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)(paulgazzillo.com)79 points by g0xA52A2A 2 years ago | 14 comments
Supreme Court Opinion on Student Loan Forgiveness [pdf](supremecourt.gov)26 points by oatmeal1 3 years ago | 22 comments
Data structures as topological spaces (2002) [pdf](mgs.spatial-computing.org)154 points by cpp_frog 2 years ago | 42 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)
![Screenshot of cidrdb.org: Database Gyms [pdf]](https://hn.urlbox.com/shots/renders/2023/6/19/3923a2d9-754d-4e23-94f2-112166a6b335.jpg)
![Screenshot of open-std.org: Implication for C++ [pdf]](https://hn.urlbox.com/shots/renders/2023/10/20/a1ffb045-b88b-42fe-96dd-57f4fef01925.jpg)
![Screenshot of web.eecs.umich.edu: Memory Renaming: Fast and Accurate Processing of Memory Communication (1999) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/16/bc7547a7-bd3d-4e19-abe3-2616f5513fad.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/57e5751d-6921-4758-80c8-bff8b956aca0.jpg)
![Screenshot of supremecourt.gov: Supreme Court Opinion on Student Loan Forgiveness [pdf]](https://hn.urlbox.com/shots/renders/2023/6/30/0edf8b92-5d32-4c6d-846f-dd506d47dd56.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)