They are talking about their backend in elixir https://github.com/Linen-dev/linen.dev/tree/main/apps/push_s...