Скорее всего, они используют Ajax и HTML5 history.pushSate
.
Обратите внимание, что это работает только в самых последних браузерах, таких как Firefox 4 и Chrome 8 (IE 9?). Таким образом, вам все равно понадобится запасное решение, например, использование идентификатора фрагмента, как это делают многие Ajax-сайты (хороший пример, чтобы увидеть разницу, это Facebook).