How fast are Linux pipes anyway? (2022) https://mazzo.li/posts/fast-pipes.html https://news.ycombinator.com/item?id=37782493