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.