GIFs
2019-11-11 — 2026-08-22
In Which 4,500,000 Files Are Extracted From the GeoCities Archive, FFMPEG Command Strings Are Deployed for Conversion, and the 29-Year-Old Gifsicle Tool Is Noted Alongside Modern Haskell-Built Editors.
The internet’s primordial animation format. An art form of restraint and limitation.
1 GIF libraries
-
Mining the Internet Archive’s GeoCities Closing Crawl collection, we extracted over 4,500,000 animated GIFs. In the original GifCities, we used the words in the filenames and directory path text to build a best-effort “full text” search engine. In the 2025 update of GifCities, we used AI tools to create a semantic-based search index to supplement the original search index to improve discoverability.
2 FFMPEG is our friend
GIF is one of the output formats of FFMPEG.
2.1 Convert GIF to movie
Google advises on converting animated GIFs to movies:
The evil martians version is lengthier:
2.2 Convert movie to GIF
10fps, low resolution, seconds 5-8:
2.3 Wrappers
Some scripts make it easier to remember the dump CLI options.
3 FFMPEG alternatives
- gifski — highest-quality GIF converter: “converts videos to GIF animations using pngquant’s fancy features for efficient cross-frame palettes and temporal dithering. It produces animated GIFs that use thousands of colors per frame and up to 50 FPS”. It falls back to…
- Gifsicle: Command-Line Animated GIFs / kohler/gifsicle: Create, manipulate, and optimize GIF images and animations What? Is it really 29 years old?
- lettier/gifcurry: 😎 The open-source, Haskell-built video editor for GIF makers.
4 Editing a movie for GIF
macOS: sindresorhus/Gifski: 🌈 Convert videos to high-quality GIFs on your Mac
For more fine control, try proper video editing.
5 Examples
- Using youtube-dl and gifify from the command-line to make a cat gif
- Convert a section of a YouTube video to an animated GIF
- How to Convert Video to GIF in Linux Terminal and GUI Way
- Kajal Yadav, Youtube to GIF Maker Using Command Line
