Book of Elementary Functional Algorithms and Data structures

📙 The probability and statistics cookbook

Clever Algorithms: Nature-Inspired Programming Recipes

Code repository for Think Bayes.

A book about compiling Racket and Python to x86-64 assembly

Book in preparation: introduction to theoretical computer science

A complete introduction into Go, superseded by https://github.com/miekg/learninggo

Low-Level Software Security for Compiler Developers

Lecture notes for a course on cryptography

A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.

Source code of the companion book/website

Unix system programming in OCaml book

The basics of low-level concurrency in a sub-30 minute read

Source materials for [d0x3d!], a network security game.

LaTeX source files for VividCortex's ebooks

A practical interface generator for data formats.

A Smarter QuickCheck

A paper on sagas in distributed systems

John Lion's “A commentary on the Sixth Edition UNIX Operating System” book

Algebra Number Theory book

Remix of Think Python 2e and Think Java 2e for the Go programming language

Source of paper “A critique of the CAP theorem”

A helper document about the Alloy specification language

Pat Morin's arraylayout