https://hackerpaper.kaipfister.de/p/2211.10665/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=49063670urn:hackerpapers:mention:2211.10665:49063670Mon, 27 Jul 2026 00:07:24 GMT<p>This is really cool stuff, and I agree the future is likely to look more like this. I was surprised by the last two paragraphs (&quot;Aside: verified assembly&quot;) -- my understanding was that this future is basically already here. I believe agl&#x27;s colleagues at Google have already deployed some auto-mutated verified assembly versions of some crypto routines, based on the Fiat Crypto + CryptOpt work (https://arxiv.org/pdf/2211.10665), both involving Andres Erbsen who I think is currently at Google before starting a professorship soon. I dunno if this work would count as &quot;cheap&quot; (it looks like Fig. 10…</p><p><a href="https://hackerpaper.kaipfister.de/p/2211.10665/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.CR