Re-thinking Prolog, by Oleg Kiselyov.
Hakaru, an embedded probabilistic programming language in Haskell.
The Early Development of Programming Languages (PDF), by Donald E. Knuth and Luis Trabb Pardo (1976). Features Plankalkül.
Luca Cardelli Fest, accompanying book is available online.
Linux ftrace TCP Retransmit Tracing, by Brendan Gregg.
A shallow survey of formal methods for C code, and A couple more formal systems, by Adam Langley.
A POSIX Queue Implementation, by Ryan Zezeski. Nice exposition.
Have any long-suspected irrational numbers turned out to be rational?
Der Kalligraph Andreas Wald. (Siehe auch.)
Poly Culture and Online Dating, “The search for more inclusive polyamorous options on dating sites”. By Matt Albrecht.