Is there any way to play these videos in Linux? I haven't been able to play videos from here. I tried Moonlight, but it doesn't show an image, just sound, and _sometimes_ some part of the image, but mostly a black canvass. Thanks.

Yes, you can extract the url from the HTML-source and use mplayer:


$ mplayer -ao pulse mms://proedvid.stanford.edu/videocontent/knuth/musings/981203/981203-knuth-500.wmv


The playback (audio/video) works fine on a Ubuntu 11.04 system.

You can automate this a bit, e.g. via:


$ curl -s -S ' | \
grep mms | sed 's/.*\(mms:\/\/[^"]\+\)".*/\1/'
mms://proedvid.stanford.edu/videocontent/knuth/musings/981203/981203-knuth-500.wmv