A proposal for the next version of C [pdf](open-std.org)12 points by leoncaet 2 years ago | 3 comments
Data structures as topological spaces (2002) [pdf](mgs.spatial-computing.org)154 points by cpp_frog 2 years ago | 42 comments
SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)(paulgazzillo.com)79 points by g0xA52A2A 2 years ago | 14 comments
FastLanes Compression Layout: Decoding >100B integers/sec with scalar code [pdf](ir.cwi.nl)15 points by jandrewrogers 2 years ago | 0 comments
Safe curves for Elliptic Curve Cryptography [pdf](eprint.iacr.org)74 points by sebgan 2 years ago | 58 comments
Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
![Screenshot of open-std.org: A proposal for the next version of C [pdf]](https://hn.urlbox.com/shots/renders/2024/1/20/35831229-b7a1-412b-bf6b-bf0082dd89a8.jpg)
![Screenshot of open-std.org: Polymorphic Types in C [pdf]](https://hn.urlbox.com/shots/renders/2024/1/18/6bd56201-9d97-4e7a-9811-a97ed8493d02.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 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 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 eprint.iacr.org: Safe curves for Elliptic Curve Cryptography [pdf]](https://hn.urlbox.com/shots/renders/2024/8/14/6b3d2e11-868e-4f6b-8991-dd57ec981185.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)