How would you build a real-time leaderboard with Redis?

Write or say your answer first, then compare it with the model answer.