Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
Supreme Court Opinion on Compelled Speech and Protected Class [pdf](supremecourt.gov)24 points by oatmeal1 3 years ago | 28 comments
DOJ vs. Google evidence release that judge calls embarrassing exhibit [pdf](justice.gov)43 points by dylan604 3 years ago | 39 comments
Passive SSH Key Compromise via Lattices [pdf](eprint.iacr.org)70 points by Animux 3 years ago | 37 comments
SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)(paulgazzillo.com)79 points by g0xA52A2A 2 years ago | 14 comments
![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 klab.tch.harvard.edu: Augmenting biological intelligence with RL in C.elegans using optogenetics [pdf]](https://hn.urlbox.com/shots/renders/2024/6/17/9458065a-8ee6-4247-8395-c4eefd74b54c.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 supremecourt.gov: Supreme Court Opinion on Compelled Speech and Protected Class [pdf]](https://hn.urlbox.com/shots/renders/2023/7/1/eb5343d0-6e20-449a-ae70-83f6481f50f0.jpg)
![Screenshot of justice.gov: DOJ vs. Google evidence release that judge calls embarrassing exhibit [pdf]](https://hn.urlbox.com/shots/renders/2023/9/30/5858b87d-c952-4a5a-8358-4bfdd1c774c4.jpg)
![Screenshot of eprint.iacr.org: Passive SSH Key Compromise via Lattices [pdf]](https://hn.urlbox.com/shots/renders/2023/11/6/19659ea3-7040-4b71-8da3-7b8cc5499556.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)