Upstash Redis

Upstash Redis is used by the deep dive demo app for its pubsub capabilities, but it can do so much more.

In particular, Redis is useful for caching:

In the deep dive demo app, updates are broadcast to all Machines via Redis, and then each Machine informs browser clients of the update via WebSockets. The client requests updated information from the application using HTTP GET.