Using a websocket is probably your best bet. They transmit a lot more events than push notifications do, and they're what the web client currently uses.
Unfortunately, like the REST api, it doesn't have any documentation yet. If you're comfortable reading Javascript, a list of all the socket event names are here and the code that handles them on the web client is here