Video player improvements
We got some reports of videos not working on iOS. We’ve made some fixes and now have an Apple device to test with.
Videos should play on just about any platform now; if you’re having any trouble, please let us know.
When we started this site, I knew very little about hosting video. But I’d heard of MPEG-DASH, and it seemed like a good way to ensure that users with slower internet connections get acceptable performance. Encoding a video file in DASH format splits it into hundreds of smaller video files so that you can skip into the middle of a video without loading the entire thing, and has multiple redundant encodings of the same video at different compression levels so that slower clients can download lower-quality video instead of waiting longer for higher-resolution video to download.
Fortunately, HTML now makes it easy to provide video in multiple formats: Update (2018 Aug 4): We originally included only DASH, HLS, and MP4; we have since added WebM to accommodate some older versions of Firefox.
This leaves it up to the web browser to choose which of those formats it is capable of playing. The
video/webm options are the final fallbacks; they don’t have the performance advantages of the streaming formats, but are much more widely supported. And since we now provide the MP4/WebM files directly, you can download our videos and play them offline.
To complete this mini-tutorial on video hosting, I should also mention how we produce the DASH and HLS encoded versions of our videos. I thought this was going to be complicated, but it turns out that
ffmpeg can handle it easily.
To produce a DASH encoding of a video:
To produce an HLS encoding of a video: