What Would Good Agent Productivity Metrics Look Like? | Hacker News Reader