Hacker News new | ask | show | jobs
by spauldo 341 days ago
You probably don't want a vector format for screen recording, unless you have a very strange screen. You want a raster format.

And sure, you can convert GIF to MP4, but I would question the workflow of anyone using animated GIFs for screen capture in the first place.