Of video and GIF 2013/01/15 2013/01/15 / GIF / GIF, reddit, video 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.