Incredible work! Curious how the leaderboard works. What kind of database are you all using for this?
