Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

The book "Performance Analysis and Tuning on Modern CPU"

Clever Algorithms: Nature-Inspired Programming Recipes

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

Text and supporting code for Think OS: A Brief Introduction to Operating Systems, by Allen Downey.

An opinionated view of the Tidyverse "dialect" of the R language.

Slides, figures, and other material for teaching using tracing and observability on FreeBSD

phd thesis document source

Proof of correctness of the "np-convert-assignments" pass of the Chez Scheme compiler

A introduction to Julia through a data analysis use case