Reasoning about asyncio.Semaphore (article by Guido van Rossum) | Hacker News Reader