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

AI

Generative AI arrives in the gene editing world of CRISPR — NYT

New AI technology is generating blueprints for microscopic biological mechanisms that can edit your DNA, pointing to a future when scientists can battle illness and diseases with even greater precision and speed than they can today, writes Cade Metz.
AI

Estée Lauder, Microsoft to build AI Innovation Lab

The Estée Lauder Companies (ELC) and Microsoft Corp. announced the creation of an AI Innovation Lab to expand their global strategic relationship.
Around the web

Mark Zuckerberg says Meta will offer its virtual reality OS to hardware companies, creating iPhone versus Android dynamic — CNBC

Meta will partner with external hardware companies, including Lenovo, Microsoft and Asus, to build virtual reality headsets using the company’s Meta Horizon operating system, writes Kif Leswing. 
IT

Nvidia to acquire Run:ai

Nvidia announced an agreement to acquire Run:ai, a provider of Kubernetes-based workload management and orchestration software.
Around the web

Windows 11 Start menu ads are now rolling out to everyone — The Verge

Microsoft is starting to enable ads inside the Start menu on Windows 11 for all users, writes Tom Warren.