100k secure WebSockets with Raspberry Pi 4 (2020) | Hacker News Reader