Ask HN: What's your AI agent's funny/mocking name? | Dark Hacker News