Musk's Grok goes open-source and Reddit updates its IPO filing | TechCrunch
Briefly