The Surprising Predictability of Long Runs (2012) [pdf](csun.edu)36 points by alexmolas 2 years ago | 10 comments
Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
FastLanes Compression Layout: Decoding >100B integers/sec with scalar code [pdf](ir.cwi.nl)15 points by jandrewrogers 2 years ago | 0 comments
Data structures as topological spaces (2002) [pdf](mgs.spatial-computing.org)154 points by cpp_frog 2 years ago | 42 comments
FP2: Fully In-Place Functional Programming [pdf](microsoft.com)187 points by chriscbr 3 years ago | 20 comments
![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)
![Screenshot of lamport.azurewebsites.net: The Future of TLA+ [pdf]](https://hn.urlbox.com/shots/renders/2024/8/28/09815896-55a6-4f03-8d99-3228522a0c59.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 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 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)
![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 microsoft.com: FP2: Fully In-Place Functional Programming [pdf]](https://hn.urlbox.com/shots/renders/2023/6/25/5a0770ec-f122-49a1-9f67-26cbc48205f8.jpg)