Babbage and Ada