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:
This leaves it up to the web browser to choose which of those formats it is capable of playing. The
video/mp4 option is the final fallback; it doesn’t have the performance advantages of the streaming formats, but is much more widely supported. And since we now provide the MP4 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: