Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 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
Provable Security of Linux-DRBG in the Seedless Robustness Model [pdf](eprint.iacr.org)35 points by zx2c4 2 years ago | 2 comments
Kavanaugh writes 9-0 opinion rejecting restriction on abortion pill access [pdf](supremecourt.gov)8 points by delichon 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 www-ps.informatik.uni-kiel.de: Can logic programming be liberated from predicates and backtracking? [pdf]](https://hn.urlbox.com/shots/renders/2024/10/13/8b0b1f87-2ceb-4f58-b7d2-63b58c3975e4.jpg)
![Screenshot of linear.axler.net: Linear Algebra Done Right [pdf]](https://hn.urlbox.com/shots/renders/2024/9/1/ef0f3e71-b247-4c32-ba70-30592116fcaa.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)
![Screenshot of sgp.fas.org: Welding of Plutonium (1958) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/18/02ed26e2-ecd3-430f-b7ed-fd83b085518a.jpg)
![Screenshot of eprint.iacr.org: Provable Security of Linux-DRBG in the Seedless Robustness Model [pdf]](https://hn.urlbox.com/shots/renders/2024/9/16/28f24ad6-2e73-4813-93b8-d09db7a159c4.jpg)
![Screenshot of supremecourt.gov: Kavanaugh writes 9-0 opinion rejecting restriction on abortion pill access [pdf]](https://hn.urlbox.com/shots/renders/2024/6/13/61d50183-9caa-4b90-b0ec-a5edce30846b.jpg)