The TeX tuneup of 2014, by Donald Knuth, announcing TeX Version 3.14159265 and METAFONT Version 2.7182818.
Fine grain Cross-VM Attacks on Xen and VMware are possible!, by Gorka Irazoqui Apecechea, Mehmet Sinan Inci, Thomas Eisenbarth, and Berk Sunar. “[W]e show that AES in a number popular cryptographic libraries including OpenSSL, PolarSSL and Libgcrypt are vulnerable to Bernstein’s correlation attack when run in Xen and VMware (bare metal version) VMs.”
The Invention of the AeroPress, cool story.
x86 is Turing-complete with no registers, neat trick.
What I Wish I Knew When Learning Haskell 2.0, great resource!
Cryptol is a domain-specific language for specifying cryptographic algorithms. Now open source!
inca, an APL-style array calculator/interpreter in C based on the J-incunabulum.
Exercises in Quantifier Manipulation (PS), by Roland Backhouse (2006). “The Eindhoven quantifier notation is systematic, unlike standard mathematicial notation. This has the major advantage that calculations with quantified expressions become more straightforward because the calculational rules need be given just once for a great variety of different quantifiers.”
An Exploration of the Bird-Meertens Formalism (PS.GZ), by Roland Backhouse (1988). “This paper explores the Bird-Meertens formalism by expressing and deriving within it the basic rules applicable in the Eindhoven quantifier notation.” 110 theorems in Squiggol.
Relational Catamorphisms (PDF), by R. C. Backhouse, P. J. de Bruin, G. Malcom, E. Voermans, and J. van der Woude (1991).
Polynomial Relators (PDF), by Roland C. Backhouse , Paul Hoogendijk, Ed Voennans, Peter J. de Bruin, Grant Malcolm, and Jaap van der Woude (1991).
Previously Unknown Warhol Works Discovered on Floppy Disks from 1985