TechTaffy

tech:

taffy

Facebook Acquires UK-Based Monoidics

By TechTaffy Desk

Monoidics_FacebookFacebook has acquired the assets of UK-based software startup Monoidics. The company’s technical team will be joining the Facebook office in London. Further details of the transaction were not revealed.

“Joining the Facebook team opens up a world of new opportunity for our technology and for our individual and collective scientific expertise,” said the company in a statement.

Monoidics specializes in automatic formal verification and analysis of software; they create software that checks other software for errors and mistakes.

[Image courtesy: Monoidics]

Just in

Series A

Tembo raises $14M

Cincinnati, Ohio-based Tembo, a Postgres managed service provider, has raised $14 million in a Series A funding round.
Around the web

Raspberry Pi is now a public company — TC

Raspberry Pi priced its IPO on the London Stock Exchange on Tuesday morning at £2.80 per share, valuing it at £542 million, or $690 million at today’s exchange rate, writes Romain Dillet. 
Fundings

AlphaSense raises $650M

AlphaSense, a market intelligence and search platform, has raised $650 million in funding, co-led by Viking Global Investors and BDT & MSD Partners.
Around the web

Elon Musk’s xAI raises $6B to take on OpenAI — VentureBeat

Confirming reports from April, the series B investment comes from the participation of multiple known venture capital firms and investors, including Valor Equity Partners, Vy Capital, Andreessen Horowitz (A16z), Sequoia Capital, Fidelity Management & Research Company, Prince Alwaleed Bin Talal and Kingdom Holding, writes Shubham Sharma. 
IT

Capgemini partners with DARPA to explore quantum computing for carbon capture

Capgemini Government Solutions has launched a new initiative with the Defense Advanced Research Projects Agency (DARPA) to investigate quantum computing's potential in carbon capture.