Episode 617: A demo of Charles Babbage