Maths spying: The quandary of working for the spooks, by Tom Leinster. “[M]athematicians must decide: do we cooperate with the intelligence services or not?”
Stochastic Superoptimization (PDF), by Eric Schkufza, Rahul Sharma, and Alex Aiken. “We formulate the loop-free binary superoptimization task as a stochastic search problem. … STOKE is able to produce programs which either match or outperform the code produced by gcc -O3, icc -O3, and in some cases, expert handwritten assembly.”
Inductive Graphs and Functional Graph Algorithms (PDF), by Martin Erwig (2001). “We propose a new style of writing graph algorithms in functional languages which is based on an alternative view of graphs as inductively defined data types.”
OpenBSD 5.5 has been released. Featuring many improvements.
Compiling OpenSSH No Longer Requires Linking in OpenSSL, “reduces algorithms to curve25519, aes-ctr, chacha, ed25519”. Very nice.
SigmaVPN is simple, light-weight and modular VPN software for UNIX systems, deploying the NaCl encryption library.
Golog aspires to be an ISO Prolog interpreter written in Go.
Illumos: Getting Started with MDB, by Johann Oskarsson.
git-forward-merge, merges without needing to checkout destination.
Mathdown, an online collaborative Markdown editor with math support.
VEB Typoart in Dresden was East Germany’s state-run type foundry.