Actually, the IBM/HAL thing is just a coincidence, according to both Kubrick and Clarke: https://en.wikipedia.org/wiki/HAL_9000#Origin_of_name