Harvey AI started with a Reddit thread. Now it's worth $11B · HackerLangs