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,
Remember National Semiconductor’s Series 32000 Family
Bob Dylan: Q&A with Bill Flanagan