Оплатим рекламу вашего канала push-уведомлений на сумму до 10 тысяч рублей

Да так и есть. Отправка пушей собственно состоит в том чтобы создать записи в БД и отправить в сторонние API команды. В gcm, apns, telegram отправка почты через SMTP и т.д.
SocketPush у нас тоже кстати на php сделан, как и парсер RSS и система очередей для отправки отложенных писем. Для параллельности используются форки.