No, the point about HAL 9000 being named after IBM isn't true:
http://www.visual-memory.co.uk/faq/index.html#slot7
The video game company HAL Laboratory (maker of the Kirby series)... they did name their company so each letter was one before IBM:
http://www.nintendolife.com/news/2012/11/iwata_explains_wher...