Should Mathematicians Cooperate with GCHQ?, by Tom Leinster.
New partition function record: computed, by Fredrik Johansson.
Breaking down FRP, by Yaron Minsky.
“I’ll try to shed some light, and in particular give you some guide
posts for understanding how the different versions of FRP relate to
How much is a mechanized proof worth, certification-wise? (PDF), slides by
Understanding Yoneda, by Bartosz Milewski.
TLS Symmetric Crypto, steadily progressing.
What Linux can learn from Solaris performance and vice-versa,
comprehensive slide set by Brendan Gregg.
Coping with the TCP TIME-WAIT state on busy Linux servers, by Vincent Bernat.
Everything you ever wanted to know.
The Zen of Comprehensive Archive Networks, required reading before
you design a package manager for your favorite language.
MCPL is a simple typeless language which is based on BCPL. It makes
extensive use of pattern matching somewhat related to that used in ML
and Prolog, and some other features come from C.
speedread, a simple terminal-based open source Spritz-alike.
Colossal Cave Wiki, spoiler warning.