GitHub: Shorter tool outputs can make coding agents more expensive | Hacker News Reader