TypeSafe AI raises $870 million in Series A funding · Digg