An almost deterministic top k elements counter Redis modulegithub.com/RedisLabsModules2 pointsitamarhaber10 years ago