Destruction of nuclear bombs using ultra-high energy neutrino beam (2003) [pdf](arxiv.org)115 points by mvkel 2 years ago | 97 comments
Death by Thomas Nagel (1970) [pdf](rintintin.colorado.edu)31 points by wjb3 2 years ago | 19 comments
Fast and Clean: Auditable high-performance assembly via constraint solving [pdf](eprint.iacr.org)67 points by luu 3 years ago | 4 comments
SIMD-Scan: Ultra Fast In-Memory Table Scan (2009) [pdf](lersse-dl.ece.ubc.ca)37 points by mfiguiere 2 years ago | 0 comments
Object-Oriented Programming in Oberon-2 [pdf] (1994)(ssw.jku.at)74 points by AlexeyBrin 2 years ago | 24 comments
![Screenshot of arxiv.org: Destruction of nuclear bombs using ultra-high energy neutrino beam (2003) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/6/9321eca3-4c9f-4220-ab6d-c78ce6b4d054.jpg)
![Screenshot of semdesigns.com: Code Coverage for Arbitrary Languages Made Easy [pdf]](https://hn.urlbox.com/shots/renders/2024/2/1/3e183608-7258-4a2b-b171-0f22c8c4cb72.jpg)
![Screenshot of rintintin.colorado.edu: Death by Thomas Nagel (1970) [pdf]](https://hn.urlbox.com/shots/renders/2023/12/31/5db5b0c1-ce44-4c27-8e4e-ab36b7d11957.jpg)
![Screenshot of eprint.iacr.org: Fast and Clean: Auditable high-performance assembly via constraint solving [pdf]](https://hn.urlbox.com/shots/renders/2023/10/9/21a99240-5b47-4096-a0f6-962ebb3110a9.jpg)
![Screenshot of lersse-dl.ece.ubc.ca: SIMD-Scan: Ultra Fast In-Memory Table Scan (2009) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/11/e691f3a5-b335-44e0-bb30-af0d028b73d7.jpg)
![Screenshot of curtclifton.net: Out of the Tar Pit [pdf]](https://hn.urlbox.com/shots/renders/2024/8/8/4181ce08-34c7-4ad3-a852-05f4b377b199.jpg)
![Screenshot of ssw.jku.at: Object-Oriented Programming in Oberon-2 [pdf] (1994)](https://hn.urlbox.com/shots/renders/2023/11/20/3b06c689-c810-47c9-a182-cb4e3c8e7711.jpg)