Michael Atiyah 1929–2019

We are now closer to the Y2038 bug than the Y2K bug

Lean Together 2019, slides and videos are up.

Pure In-Memory (Shell)Code Injection In Linux Userland, neat trick with dd.

QED Archive is an archive of the source code for various versions of the QED editor, from the late 1960s to 1994.

Ascending NetHack by breaking the RNG, using 72 cores on AWS. “We set out to have a single run getting the #1 spot in all three “major-categories”: highest score, lowest turn count, and fastest realtime on NAO. We needed an RNG-predicting bot.”

Radiation-hardened Quine (2014), “This is a robust self-printing program written in Ruby. It works even if you delete one character anywhere from the code.”

Mersenne Prime Number discovery: 2^82589933-1 is Prime! By GIMPS of course.

Meritocracy in Theory and Practice, by Coraline Ada Ehmke.

This Old Lisp, R. Matthew Emerson’s keynote talk at the 2018 European Lisp Symposium.

Composable Error Handling in OCaml with polymorphic variants. By Vladimir Keleshev.

Vectorized Emulation: Hardware accelerated taint tracking at 2 trillion instructions per second, WJW.

Forge allows you to work with Git forges—such as Github and Gitlab—from the comfort of Magit and the rest of Emacs.

The MOS Silicon Gate Technology and the First Microprocessors (PDF, 2015). By Federico Faggin

The First Six Books of The Elements of Euclid, with Coloured Diagrams and Symbols. “A reproduction of Oliver Byrne’s celebrated work from 1847 plus interactive diagrams, cross references, and posters designed by Nicholas Rougeux.” (making of)

The coolest way to generate binary strings, by Brett Stevens and Aaron Williams. “[W]e give a loopless algorithm for generating binary strings with any weight range in which successive strings have Levenshtein distance two.”

Adiantum: length-preserving encryption for entry-level processors, by Paul Crowley and Eric Biggers.

IPv6 Christmas Display Uses 75 Internet’s Worth of Addresses

ATDT relief, phone hacks against annoying coworkers.

Unix in East Germany (1990)