Which kind of servers do Discord use?

I was using discord in my company, it was fasting desktop app, and i heard they are using elixir in back-end, which kind of servers they are using? Like ejabber or they have theirs own servers, any idea?

Some good info here: Real time communication at scale with Elixir at Discord - The Elixir programming language