“Sometimes You Have to Pay a Heavy Price to Live in a Free Society”, by Chelsea Manning.
How to review formalized mathematics, by Andrej Bauer.
An elementary illustrated introduction to simplicial sets, by Greg Friedman. Pretty nice and well motivated.
plain.tw (PDF), a literate version of plain.tex by Włodek Bzyl.
Gumbo is an implementation of the HTML5 parsing algorithm implemented as a pure C99 library with no outside dependencies.
McBits: fast constant-time code-based cryptography, by Daniel J. Bernstein, Tung Chou, and Peter Schwabe. This is really nice.
Blame Trees are a functional data structure which support an efficient merge operation by incorporating information about the “blame” (think git blame) of any given part of the structure.
The Linux Pseudorandom Number Generator Revisited, by Patrick Lacharme, Andrea Röck, Vincent Strubel, and Marion Videau. “Our work describes the Linux PRNG of kernel versions 2.6.30.7 and upwards.”
Fifth International Conference on Post-Quantum Cryptography, interesting presentations.
Incorrect configure checks for availability of functions, Rich Felker explains how to fix them.
ZFS Forensics - Recovering Files From a Destroyed Zpool, by Max Bruning. Pretty hard core. :)
CamlPDF is an OCaml library for reading, writing and modifying PDF files. Now LGPL.
git-dpm: debian packages in git manager, a pretty good solution.
Rotating Images by shearing. A simple trick, but nice!
Simulating a TI calculator with crazy 11-bit opcodes
64-bit Time on OpenBSD, yay.
Shelf life, this.
Pixel Perfect Timing Attacks with HTML5 (PDF), by Paul Stone. WJW.
On the Thoughts of Chairman Bruce, by Danny O’Brien.
How To Build a User-Level CPU Profiler, by Russ Cox.
Extensible Effects: An Alternative to Monad Transformers (PDF), by Oleg Kiselyov, Amr Sabry, and Cameron Swords.
Unifying Structured Recursion Schemes (PDF), by Ralf Hinze, Nicolas Wu, and Jeremy Gibbons.
STACK is a static checker that detects unstable code in C/C++ programs: code that is unexpectedly eliminated by compiler optimizations due to undefined behavior in the program.
lld is a new set of modular code for creating linker tools, by the LLVM project.
Typhoeus is a Ruby library to run HTTP requests in parallel while cleanly encapsulating handling logic.
VSTTE Competition 2013, write a verified DNS server!
kOS uses C and k. Arthur Whitney writes an OS…
Building a Chording Keyboard: Progress So Far, the Nostromo sounds like a good starting point.
us_split, this layout is nearly identical to US-QWERTY, except there is a two-key splitbetween the T and Y columns into which symbols from the furthest right of each row are placed.
Marelle, test-driven system administration in SWI-Prolog.
Ethics and Power in the Long War, by Eleanor Saitta (Dymaxion). “[W]e cannot build a free world, on an unfree Internet.”
The Factoring Dead: Preparing for the Cryptopocalypse
SSL, gone in 30 seconds, thanks to BREACH.
Kernel double-fetch race condition exploitation on x86 – further thoughts, the presentation is highly recommended reading.
TCP ex Machina: Computer-Generated Congestion Control, by Keith Winstein and Hari Balakrishnan: “Remy is a computer program that figures out how computers can best cooperate to share a network.”
CoreOS is Linux for the container world. I would use runit over systemd, but yes, this is what you want.
wrk is a modern HTTP benchmarking tool capable of generating significant load when run on a single multi-core CPU.
JSON processing with syslog-ng, pretty nice.
Ordinal collapsing functions on Wikipedia. Good intro.
Forebruary is a wall calendar that you do not need to replace every year. Clever.
