Editor’s Note: When Christopher Strachey programmed Britain’s first computer to play checkers in 1951, he couldn’t have imagined what he’d set in motion. In the University of Manchester’s Computing ...