Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)(paulgazzillo.com)79 points by g0xA52A2A 2 years ago | 14 comments
Death by Thomas Nagel (1970) [pdf](rintintin.colorado.edu)31 points by wjb3 2 years ago | 19 comments
Data structures as topological spaces (2002) [pdf](mgs.spatial-computing.org)154 points by cpp_frog 2 years ago | 42 comments
The Surprising Predictability of Long Runs (2012) [pdf](csun.edu)36 points by alexmolas 2 years ago | 10 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 math.uchicago.edu: The Fourier Uncertainty Principles [pdf] (2021)](https://hn.urlbox.com/shots/renders/2024/9/3/9febeac6-4aa9-4f22-818f-135970252a6b.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 rintintin.colorado.edu: Death by Thomas Nagel (1970) [pdf]](https://hn.urlbox.com/shots/renders/2023/12/31/5db5b0c1-ce44-4c27-8e4e-ab36b7d11957.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 usenix.org: Meta’s Microservice Architecture [pdf]](https://hn.urlbox.com/shots/renders/2023/7/11/5e29b21d-5d6a-42d6-a314-35c47f4e2d3c.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)