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.