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

Flappy 2048

OpenSSL Valhalla Rampage

Please Put OpenSSL Out of Its Misery, by Poul-Henning Kamp. “OpenSSL must die, for it will never get any better.”

Factotum heals a bleeding heart, “Big, complicated, network-facing codebases link against big, complicated, network-facing libraries and juggle your secrets in a way that you hope is secure. It probably isn’t.”

The Birth & Death of JavaScript, a talk by Gary Bernhardt from PyCon 2014.

Correct-by-Construction Concurrency: using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols (PDF), by Edwin Brady and Kevin Hammond.

Meyrin: CERN Terminal Font, nice.

Die Fackel von Karl Kraus. Gesamtausgabe als PDF mit suchbarem Text.

GNU APL.js

The Chamber of Wonder

Blood Moon

The Heartbleed bug allows anyone on the Internet to read the memory of the systems protected by the vulnerable versions of the OpenSSL software. This compromises the secret keys used to identify the service providers and to encrypt the traffic, the names and passwords of the users and the actual content.

Thinking for Programmers, by Leslie Lamport. Recommended.

Seven mutually touching infinite cylinders, by Sándor Bozóki, Tsung-Lin Lee, and Lajos Rónyai. “We confirm a conjecture of Littlewood.”

Hacking Blind (PDF), by Andrea Bittau, Adam Belay, Ali Mashtizadeh, David Mazières, and Dan Boneh. “We show that it is possible to write remote stack buffer overflow exploits without possessing a copy of the target binary or source code, against services that restart after a crash.” Impressive.

Open Access Maps at NYPL, “The Lionel Pincus & Princess Firyal Map Division is very proud to announce the release of more than 20,000 cartographic works as high resolution downloads. We believe these maps have no known US copyright restrictions.”

A Research UNIX Reader (1987) at archive.org.

Inlined records in constructors for Ocaml, proposed by Alain Frisch. Yes, please!

Fotographie mit DRAM als optischem Sensor

SPIN’s 1994 Kurt Cobain Eulogy

World Airports Voronoi

RFC 7169: The NSA (No Secrecy Afforded) Certificate Extension

Celebrities that Look Like Matresses

Heads or Tails

Password Hashing Competition, call for submissions closed, candidates are in.

SIGBOVIK 2014 proceedings, especially recommended: “Heterotopy Type Theory: A defense of the traditional foundations of mathematics”, “A Simple Category-Theoretic Understanding of Category-Theoretic Diagrams”, and “Unit-Test-Based Programming”.

Kx Systems announces new community site and free version of its database software and programming language. (You can use Q as K if you enter \ once.)

The Rooster and the Butterflies (PDF), by Assia Mahboubi. “This paper describes a machine-checked proof of the Jordan-Hölder theorem for finite groups.”

Functional Geometry and the Traité de Lutherie (PDF), by Harry Mairson. Designing violins in Scheme, impressive.

gdb + valgrind, very good to know how to use them together (valgrind as a gdb target).

reop, Ted Unangst wrote a libsodium-based alternative to GPG.

Coq version of the 2048 game, by Laurent Thery.

Street typography