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
Formally-Proven Kosaraju’s algorithm (PDF), by Laurent Théry using Coq/SSReflect.
Functors and Recursion, by Danny Gratzer.
Linux on Obsolete Displays
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.
Feminist Hacker Barbie