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
Supreme Court Opinion on Student Loan Forgiveness [pdf](supremecourt.gov)26 points by oatmeal1 3 years ago | 22 comments
FastLanes Compression Layout: Decoding >100B integers/sec with scalar code [pdf](ir.cwi.nl)15 points by jandrewrogers 2 years ago | 0 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 mgs.spatial-computing.org: Data structures as topological spaces (2002) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/16/07b417ea-f104-4bd6-a65e-cf4088fdf599.jpg)
![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)
![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: Attention is Turing complete (2021) [pdf]](https://hn.urlbox.com/shots/renders/2023/6/14/50c14eaa-c178-4e43-a707-6daafc6d37c2.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 ir.cwi.nl: FastLanes Compression Layout: Decoding >100B integers/sec with scalar code [pdf]](https://hn.urlbox.com/shots/renders/2024/6/17/7ac78144-fc1e-4a66-a6f6-eac6f39459ed.jpg)