Harvey AI started with a Reddit thread. Now it's worth $11B | Dark Hacker News