Viewing profile — shorden

Interesting, I haven't tested this myself but intuitively I think that a 4 byte OOB write is plenty for a data-only attack like [PageJack]( https://i.blackhat.com/BH-US-24/Presenta…

Worth noting that this is a bound on arbitrary search, but there exist some problems with structure (e.g. integer factorization) for which quantum algorithms are exponentially fast…

Repost of https://news.ycombinator.com/item?id=47088212 due to the page changing its title

nethack.alt.org is conspicuously absent...

Also worth noting that the verifier is under active development not only to verify more legitimate programs, but also to reject programs with exploits and side channels (and there …

I worked a tiny bit on this experiment so I'm a bit biased, but it really is quite an impressive demonstration. I don't know if the methodology has changed since I was on the proje…

The discussion of Richard Caley was warming, reminded me of Izchak Miller a little bit.

For a blend between Lisp and a more traditional POSIX shell, I enjoy Emacs' [eshell]( https://www.masteringemacs.org/article/complete-guide-master... ).

That's an excellent question, I thought the exact same thing when I wrote this article. From what I can tell [child]( https://github.com/NetHack/NetHack/blob/ed600d9f0f3c37677418..…