How fast are Linux pipes anyway? | Hacker News Reader