Why uncompressed video is impossible to ship and what makes codecs work — spatial and temporal redundancy, entropy coding, psycho-visual tricks, the Shannon limit.