real-time leaderboards: whats the best tech stack?

were building a new feature for our gaming platform real-time leaderboards think twitch or steam where scores update instantly weve been tossing around ideas and want to get the communitys take should we go with something like redis pub sub for updates maybe a dedicated websocket server or is there a better approach for pushing scores to thousands of concurrent users what are your go to patterns for this kind of real-time system especially considering scalability and potential failure points