includes access to
Computation

Brisk screencasts on the lambda calculus, Turing machines, the halting problem, the Chomsky hierarchy, and other topics using code, not mathematical notation. See the introduction.

Back Catalog

Ninety screencasts covering advanced Unix shell use, design, advanced testing practices, and others. Unusually concrete without abstract hand-waving. Try one for free.

Compendium

The Programmer's Compendium is a reference for often-misunderstood programming concepts, aiming for neutrality and directness. Try the free article on Types.