A leaner <iostream> in libstdc++ for GCC 13 | Hacker News Reader