David Huffman's 1952 algorithm reveals a deep puzzle: the more predictable a message source, the shorter its optimal code.