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.
Ninety screencasts covering advanced Unix shell use, design, advanced testing practices, and others. Unusually concrete without abstract hand-waving. Try one for free.
The Programmer's Compendium is a reference for often-misunderstood programming concepts, aiming for neutrality and directness. Try the free article on Types.