I encode MP4s with the H265 codec. For GIFs I use Photoshop's Export with a preview and reduce the colours until the quality starts to degrade noticeably.