Now I'm wondering what their protocol is, and what I can learn from it.

If it's in JavaScript, the source is sitting in your cache.

You could deliver something in Flash or Java that maintains a persistent connection, so that you can push stuff down to the client. 'Course, that means a lot of connections on your end, which gets expensive.