I was disappointed too, but if you view the page source, you can see the URL of the actual stream. For example: mms://proedvid.stanford.edu/videocontent/knuth/

I was disappointed too, but if you view the page source, you can see the URL of the actual stream. For example: mms://proedvid.stanford.edu/videocontent/knuth/cs209/871002/871002-cs209-500.wmv (just grep for: mms:// ) VLC seems to be able to stream and display those for me.