Show HN: Distributed algorithm for counting semaphores using redis as a broker | Heykuki News