Destruction of nuclear bombs using ultra-high energy neutrino beam (2003) [pdf](arxiv.org)115 points by mvkel 2 years ago | 97 comments
Recursive Program Synthesis using Paramorphisms [pdf](theory.stanford.edu)61 points by luu 2 years ago | 21 comments
Fast and Clean: Auditable high-performance assembly via constraint solving [pdf](eprint.iacr.org)67 points by luu 3 years ago | 4 comments
Large-Scale Dimension Reduction with Both Global and Local Structure (2021) [pdf](jmlr.org)35 points by chaosprint 1 year ago | 6 comments