Maria und Josef in Neukölln, Lesebefehl!
Rethinking Set Theory, by Tom Leinster. A very pragmatic approach and good discussion.
BLAKE2 is an improved version of the SHA-3 finalist BLAKE. It is fast as MD5 on 64-bit platforms and requires at least 33% less RAM than SHA-2 or SHA-3 on low-end systems.
Afterquery is a pure-client-side javascript tool that downloads jsonp-formatted data from a given URL, applies a configurable series of transformations, and then renders the result as either a data table or a Google Visualizations (gviz) chart. Features a very nice query language.
LuaJITTeX is an experimental version of LuaTeX where Lua is replaced by LuaJIT.
Iron Lambda is a collection of Coq formalisations for functional languages of increasing complexity.
FreeBSD/armv6: what’s new and exciting?, and a new Raspberry Pi image.
netmap, a novel framework for fast packet I/O has been FreeBSD for quite some time now.