That said, WebSockets can be implemented very efficiently.

I agree, the main issue I was actually seeing with Lemmy’s use of WebSockets was that when opening the main page it was continuously streaming all posts from the server (including posts in communities not subscribed to) to the browser client.