Subscription

includes access to
Computation
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
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
Compendium

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

<% unless Rails.env.test? %> <% end %>