Webster's Revised Unabridged Dictionary · 1913

Hal

Hal (hâl) , proper noun

Harold; -- a nickname.

HAL (hâl) , proper noun

The name of an intelligent computer in the movie 2001, directed by Stanley Kubrick.