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 each other.”

How much is a mechanized proof worth, certification-wise? (PDF), slides by Xavier Leroy.

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.

BiteLabs, eww.