Captured with Quicktime.

Processed with:

$ ffmpeg -i in.mov -s 600x313 -pix_fmt rgb24 -r 10 -f gif - | \
  gifsicle --optimize=3 --delay=3  > out.gif