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