What Is a Tool? / hacker news