Kadzi, не уверен насчет "производительнее", но почти 100%, что меньше по объему. Откуда он у вас вообще взялся? Лучше не конвертировать из GIF, а сразу делать видео, раз уж на то пошло - GIF ограничен 256 цветами, на видео может выглядеть не очень.
DevMan, целиком и полностью зависит от разрешения и назначения GIF. Если это смайлик - конечно меньше. Если превью видео, то все плохо. Видео может весить меньше, потому что использует inter-frame сжатие, которое по-определению экономит больше места. GIF - харкорное intra-frame сжатие.
С нетерпением жду прихода WEBP на место GIF.
nidalee, честно говоря я вообще не представляю кому может придти мысль перегонять динамичное видео в гифку.
я часто пишу с экрана последовательность действий для разнообразных инструкций/тудушек/супорта/etc. для подобных вещей пока нет ничего лучше анимированного гифа.
не могли бы привести пример?
Мне в голову только приходит какой-то совсем небольшой объект, возможно в такой ситуации гиф типа лучше чем пнг по сжатию.