![Screenshot of research.gold.ac.uk: SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf]](https://hn.urlbox.com/shots/renders/2026/3/12/5d8c0e21-2e05-400b-8130-d3a018da0a90.jpg)
![Screenshot of tug.org: Real-Time LuaTeX: Recompiling Large Documents in 1ms [pdf]](https://hn.urlbox.com/shots/renders/2026/7/18/04943612-e95d-49fc-89b8-9e92bc3200c8.jpg)
First screen, captured .
Looks similar
![Screenshot of cims.nyu.edu: Navier-Stokes – Tristan Buckmaster [pdf]](https://hn.urlbox.com/shots/renders/2026/9/8/63fa481c-8c2c-40ae-af4e-16be796c117e.jpg)
Navier-Stokes – Tristan Buckmaster [pdf](cims.nyu.edu)
1947 points by procedurecall | 798 comments
A PDF statement by mathematician Tristan Buckmaster announcing LLM-assisted, Lean-verified blowup results for Boussinesq, 3D Euler, and porous media equations with smooth forcing.
![Screenshot of users.cs.utah.edu: Finding and Understanding Bugs in C Compilers (2011) [pdf]](https://hn.urlbox.com/shots/renders/2025/9/30/5edac97a-385c-4174-8ab5-c8100d3249aa.jpg)
![Screenshot of gwern.net: Breaking Paragraphs into Lines [pdf] (1981)](https://hn.urlbox.com/shots/renders/2025/12/18/6f6f1820-cdf9-4f64-8c21-8a3fd2ca7237.jpg)
![Screenshot of tug.org: Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf]](https://hn.urlbox.com/shots/renders/2025/11/20/6acf7e8e-18a1-4953-953a-2fb58a22b9f5.jpg)
![Screenshot of eprint.iacr.org: Forging 1024-bit RSA signatures in nearly SNFS time [pdf]](https://hn.urlbox.com/shots/renders/2026/9/24/aded7927-67b5-4e0f-b84b-622f29ec4d18.jpg)
Forging 1024-bit RSA signatures in nearly SNFS time [pdf](eprint.iacr.org)
63 points by int0x29 | 11 comments
IACR ePrint paper implementing the Joux-Naccache-Thomé attack to forge 1024-bit RSA signatures via a signing oracle (an HSM) in roughly SNFS time.