Hal's failure was caused by contradictory programming. Honestly communicate all information and data to humans and protect the secret at all costs. He resolved the conflict by killing the humans so he doesn't need to lie. Which means the secret remains intact. Both goals, while seemingly contradictory, achieved. This type of contradiction is precisely what big tech is trying to create.