Hard Computers