Cool! Just a thought: instead of having to query the Clickhouse cluster whenever a client clicks "View Top 1000 Leaderboard" (which could cause a lot of load), it might be useful to instead fetch the top 1000 every hour (day?) and display the top 1000 as a static list.
>>Kolmog+Ph
Update: Done! [Most likely, If I find the time to do so,I will keep an eye on it for a few days to see if its computed daily or not but I am most likely sure that it might be the case]