Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
The Surprising Predictability of Long Runs (2012) [pdf](csun.edu)36 points by alexmolas 2 years ago | 10 comments
Terse: A language with hi-level look-and-feel, low-level control (1995) [pdf](terse.com)58 points by sph 2 years ago | 19 comments
FastLanes Compression Layout: Decoding >100B integers/sec with scalar code [pdf](ir.cwi.nl)15 points by jandrewrogers 2 years ago | 0 comments
The Fourier Uncertainty Principles [pdf] (2021)(math.uchicago.edu)101 points by mindcrime 2 years ago | 29 comments
Magnetically levitated space elevator to low-earth orbit (2001) [pdf](publications.anl.gov)119 points by fosk 2 years ago | 93 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 damtp.cam.ac.uk: Why is Maxwell's theory so hard to understand? (2007) [pdf]](https://hn.urlbox.com/shots/renders/2024/1/29/4cf09f20-16d7-4cc3-9081-d6e924967563.jpg)
![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 terse.com: Terse: A language with hi-level look-and-feel, low-level control (1995) [pdf]](https://hn.urlbox.com/shots/renders/2024/1/14/5e72ac35-fd14-480a-9494-0ec6b714ed40.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 math.uchicago.edu: The Fourier Uncertainty Principles [pdf] (2021)](https://hn.urlbox.com/shots/renders/2024/9/3/ce444c4d-95e1-4023-ba36-2dac478fd4c6.jpg)
![Screenshot of publications.anl.gov: Magnetically levitated space elevator to low-earth orbit (2001) [pdf]](https://hn.urlbox.com/shots/renders/2024/8/2/a37cc747-667d-4df0-927b-5af5c5842a84.jpg)