John and Alicia Nash, 1928,1933—2015, more interesting things.
Verified Correctness and Security of OpenSSL HMAC (PDF), by Lennart Beringer, Adam Petcher, Katherine Q. Ye, and Andrew W. Appel.
Experience Report: Developing the Servo Web Browser Engine using Rust, by Brian Anderson, Lars Bergstrom, David Herman, Josh Matthews, Keegan McAllister, Manish Goregaokar, Jack Moffitt, and Simon Sapin.
The Kindle Finally Gets Typography That Doesn’t Suck, because justifying text has been an open problem since at least 1978. Not. (Still, nice we have that now.)
Winners of the 7th Underhanded C Contest
Antimony is a computer-aided design (CAD) tool from a parallel universe in which CAD software evolved from Lisp machines rather than drafting tables.
shmake, a Shell-based Build Tool.
TECO Editor for contemporary systems. Maintained by Blake McBride.
Harry Potter in ancient Greek, “My intention was to recreate a version of the book which would make sense to a Greek from any era up to the 4th century AD who had managed by some magical process (such as would only be taught only to very advanced students at Hogwarts!) to reach the 21st century.”