Well, they use (or used to use) RabbitMQ, which is written in Erlang.