Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
FP2: Fully In-Place Functional Programming [pdf](microsoft.com)187 points by chriscbr 3 years ago | 20 comments
SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)(paulgazzillo.com)79 points by g0xA52A2A 2 years ago | 14 comments
Terse: A language with hi-level look-and-feel, low-level control (1995) [pdf](terse.com)58 points by sph 2 years ago | 19 comments
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf](users.cs.utah.edu)73 points by luu 2 years ago | 8 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 csun.edu: The Surprising Predictability of Long Runs (2012) [pdf]](https://hn.urlbox.com/shots/renders/2024/10/11/71a350f3-77d4-4c83-88a8-df08d558c350.jpg)
![Screenshot of microsoft.com: FP2: Fully In-Place Functional Programming [pdf]](https://hn.urlbox.com/shots/renders/2023/6/25/5a0770ec-f122-49a1-9f67-26cbc48205f8.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 open-std.org: Implication for C++ [pdf]](https://hn.urlbox.com/shots/renders/2023/10/20/a1ffb045-b88b-42fe-96dd-57f4fef01925.jpg)
![Screenshot of terse.com: Terse: A language with hi-level look-and-feel, low-level control (1995) [pdf]](https://hn.urlbox.com/shots/renders/2024/1/14/5e72ac35-fd14-480a-9494-0ec6b714ed40.jpg)
![Screenshot of users.cs.utah.edu: High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]](https://hn.urlbox.com/shots/renders/2024/1/12/78d1c585-675c-4c2c-aedb-70347a6f1cea.jpg)