The author has another post that describes how the website worked, including how it changed over the course of its existence. But briefly, yes, web sockets are used to stream updates from the server.

http://eieio.games/essays/scaling-one-million-checkboxes/