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

Seed

Oso Semiconductor raises $5.2M

Oso Semiconductor has raised $5.2 million in seed funding. The round was led by Engine Ventures.
People

Battelle appoints Tim Ryan to board of directors

Battelle has elected Tim Ryan, Citi’s Head of Technology and Business Enablement, to its board of directors.
Around the web

OpenAI launches ChatGPT Gov for U.S. government agencies — CNBC

It’s called ChatGPT Gov and was built specifically for U.S. government use; writes Hayden Field. 
Around the web

DeepSeek’s popular AI app is explicitly sending US data to China — Wired

Users have already reported several examples of DeepSeek censoring content that is critical of China or its policies, writes Matt Burgess and Lily Hay Newman. 
Around the web

DeepSeek hit with large-scale cyberattack, says it’s limiting registrations — CNBC

DeepSeek on Monday said it would temporarily limit user registrations “due to large-scale malicious attacks” on its services; writes Hayden Field.