They did mention Akka in their post, so I would assume that's one of them.

Elixir/Erlang. It's table stakes for them.