22nd International Obfuscated C Code Contest (2013), code is up, and the entries are amazing!
Ori is a distributed file system built for offline operation and empowers the user with control over synchronization operations and conflict resolution. Pretty close to what I always wanted!
The Rising Sea: Grothendieck on simplicity and generality I (PDF), by Colin McLarty.
In intensional Martin-Löf type theory, if all functions (ℕ → ℕ) → ℕ are continuous, then 0 = 1, by Martín Escardó.
Proof Market, get BTC for proving things in Coq.
Lecture notes on the lambda calculus, by Peter Selinger.
Reverse-engineering the HP-35, and a reimplementation in F#.
signify, sign and verify tool for OpenBSD, using Ed25519.
fastd, a fast and secure tunneling daemon.