lambda calculus

Tom Murphy's satirical SIGBOVIK 2007 presentation, delivered under a pseudonym, proving that generalized Super Mario Bros. is NP-complete. It is a short, deadpan take on a complexity theory result.

An excerpt from Hal Abelson's opening SICP lecture introducing computer science and contrasting declarative and imperative knowledge. He argues that computer science is not really a science and is more like magic or engineering of ideas.

Matthias Wandel shows his wooden machine that adds binary numbers using marbles. It demonstrates computation with purely mechanical logic.

A two-minute clip from the film Fight Club in which the narrator, a former recall coordinator, explains the formula companies use to decide whether a recall costs more than paying out settlements.