We replaced Redis's arbitrary equal-score ordering with first-arrival wins, then measured the latency and memory bill instead of calling it free.

Redis sorted sets make leaderboards easy, until two players have the same score. Here is how we made ties fair, deterministic, and atomic.

We replaced Redis's arbitrary equal-score ordering with first-arrival wins, then measured the latency and memory bill instead of calling it free.