Comment by colesantiago

This looks very over engineered and complicated, we don't need more push notifications.

Just use or improve upon email or RSS (recommended).

It's anonymous, fast, privacy friendly (no device registrations or whatever), open and already decentralised so no need for anything else.