Factoring RSA keys from certified smart cards: Coppersmith in the wild, “These 184 keys include 103 keys that share primes and that are efficiently factored by a batch-GCD computation.”
mov is Turing-complete (PDF), by Stephen Dolan. “It is well-known that the x86 instruction set is baroque, overcomplicated, and redundantly redundant. We show just how much fluff it has by demonstrating that it remains Turing-complete when reduced to just one instruction.”
High-Assurance Base64, specified in Cryptol.
OCamlot: exploring the edges of OPAM packages
Sophia is a modern embeddable key-value database designed for a high load environment.
OpenZFS, the truly open source successor to the ZFS project.
remark, a simple, in-browser, markdown-driven slideshow tool. Looks pretty nice, and supports LaTeX with a trick.
Decyphering the Business Card Raytracer, neat piece of code.