Ask HN: Do you have any evidence that agentic coding works?