According to a tweet [1] from their technical lead, they're using Rails, Sinatra, Django and more. He says there should be a blog entry outlining the technologies soon.

[1] https://twitter.com/#!/jystewart