Show HN: Distributed algorithm for counting semaphores using redis as a brokergithub.com/code-orange2 pointstimvdalen8 years ago