Ich glaube auch, dass sie eine eigene Programmiersprache verwenden.
Am Anfang hatten sie die meisten Skripte in PHP geschrieben. Allerdings haben sie vor ca. zweieinhalb Jahren eine OpenSource-Bibliothek veröffentlicht, die PHP zu C++ konvertiert.
Facebook HipHop PHP
Das steigert natürlich um einiges die ganze Performance und senkt die benötigte Rechenpower!