TypeSafe a Raises $870M at a $7.5B

TypeSafe, a company that provides a platform for building secure and reliable software systems, has raised $870 million in a funding round, valuing the company at $7.5 billion. The funding will be used to accelerate the development of its platform, which uses formal verification and other techniques to ensure the correctness and security of software code. TypeSafe's platform is used by companies such as Netflix, Twitter, and Citi Group.