Ask HN: What's the Best Tool(s) for Optimizing JPEG, PNG, MP4 and GIF?
What's the best tool(s) for optimizing/shirinking lossy the folling formats JPEG, PNG, MP4 (to WEBM/AV1) and GIF (convert GIF to WEBM/VP9 maybe?)?
Thanks!
Thanks!
ffmpeg -i image-%04d.png anim.mp4
You can use imagemagick ('convert' command) to make small gifs with dither, color reduction: convert image-*.png +dither -colors 10 dither.gif
convert image-*.png -ordered-dither 2x2 ordered_dither2.gif
convert image-*.png -ordered-dither 4x4 ordered_dither4.gif
convert image-*.png -colors 10 less_colors.gifThanks for your feedback!
On Linux/macOS CLI, I like ffmpeg and ImageMagick, as appropriate.