Due to the low resolution and the input lag on his screen, I'm pretty sure it's streamed through a VNC-like client.