Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
GrayC: Greybox Fuzzing of Compilers and Analysers for C [pdf](srg.doc.ic.ac.uk)32 points by luu 3 years ago | 2 comments
Supreme Court Opinion on Compelled Speech and Protected Class [pdf](supremecourt.gov)24 points by oatmeal1 3 years ago | 28 comments
Economic Effects of State Bans on Direct Manufacturer Sales to Car Buyers [pdf](justice.gov)71 points by luu 2 years ago | 50 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 cs.cmu.edu: Introduction to the Conjugate Gradient Method Without Agonizing Pain (1994) [pdf]](https://hn.urlbox.com/shots/renders/2023/8/13/4b8a03dd-a5f7-4e05-ba9b-34fa8e9c1ac0.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 carstenfuehrmann.org: Abacus Machines [pdf]](https://hn.urlbox.com/shots/renders/2024/10/7/3becbd02-e8cc-4b9c-a79a-7d235ea0e1db.jpg)
![Screenshot of srg.doc.ic.ac.uk: GrayC: Greybox Fuzzing of Compilers and Analysers for C [pdf]](https://hn.urlbox.com/shots/renders/2023/6/11/015fe2f8-119c-455b-aefd-25596457552f.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: Economic Effects of State Bans on Direct Manufacturer Sales to Car Buyers [pdf]](https://hn.urlbox.com/shots/renders/2023/11/26/97400557-22b2-441b-a99e-c0e9d354b380.jpg)