JSCaml is a compiler for typed JavaScript, using OCaml as the target runtime.
Formal Reasoning About Programs, new book in the works by Adam Chlipala.
Fuzzing the OpenSSH daemon using AFL
APFS’s “Bag of Bytes” Filenames, this is of course the right way to do it.
Random Variate Generation in One Line of Code (PDF, 1996), classic.
libexact is a software library for solving combinatorial exact covering problems, using the Dancing Links algorithm.
Papercut, a NNTP server written in Python. This fork supports a Maildir backend.
Setting the root login’s ‘full name’ to identify the machine that sent email, clever.