After a bit of poking around in this year’s front end code, it seems they’re using GraphQL (instead of WebSockets) for all their client side updates. Including live updates from other ‘pixels’. I’d love to see a 2020 write up.