Какие инструменты используют этот форум для обновления в реальном времени?

Кто-нибудь может объяснить мне, как stackru может отправлять уведомления в режиме реального времени? Например, если вы повысите или понизите мой вопрос, я сразу же увижу обновление подсчета голосов в моем браузере.

Я не видел ни одного запроса AJAX в консоли Chrome... Может быть, они используют socket.io или что-то вроде этого?

Благодарю.