At the moment we are publishing each change even though the graphs are only updated every x seconds. It would be good to build the Metrics summaries on the server and only send the updates when they are really needed.
Also we would like to send only those metrics to the client that are currently displayed on the graphs.
Also, at the moment we are using upickle to (de)serialise the messages. It might make sense to use a more efficient format. Perhaps that will be a case for ZIO schema.
At the moment we are publishing each change even though the graphs are only updated every x seconds. It would be good to build the Metrics summaries on the server and only send the updates when they are really needed.
Also we would like to send only those metrics to the client that are currently displayed on the graphs.
Also, at the moment we are using upickle to (de)serialise the messages. It might make sense to use a more efficient format. Perhaps that will be a case for ZIO schema.