I know this. They use dnode (https://github.com/substack/dnode) for most of their inter-process/inter-browser communication, which uses socket.io for the web action.

I think they use self developed variants of node.js