Applying Homotopy Type Theory in Logic, Metaphysics, and Philosophy of Physics, at the University of Bristol. Three good articles up already.

Ftrace Kernel Hooks: More than just tracing (PDF), slides by Steven Rostedt.

tappet, a tiny TweetNaCl-encrypted UDP tunnel.

Functional pearl: finding a densest segment, by Sharon Curtis and Shin-Cheng Mu.

Formally-Proven Kosaraju’s algorithm (PDF), by Laurent Théry using Coq/SSReflect.

Functors and Recursion, by Danny Gratzer.

RegPack, a packer intended for use on minified Javascript code. Impressive.

The Secret Life of Gitmo’s Women, by Sarah Mirk and Lucy Bellwood.

Kickended is the place where campaigns with no backers live a second life. Free from the pressure of money raising, these retain the purity of abstract ideas.

Barbie Fucks It Up Again, WJW.