Of video and GIF

This reddit thread has a nice explanation of basic compression techniques used for compressing video files and GIF files..

There’s also someone who made a 1080p GIF file of Batman Begins.