TechTaffy

tech:

taffy

Coverity Helps CERN Clean 50 Million Lines Of Code

By TechTaffy Desk
Large Hadron Collider at CERN (Image: CERN)

Coverity  has announced that CERN (the European Organization for Nuclear Research) has deployed the Coverity Static Analysis  to improve integrity of source code found across a number of projects analyzing data from CERN’s Large Hadron Collider (LHC). The Large Hadron Collider is a particle accelerator near Geneva, where it spans the border between Switzerland and France about 100 m underground.

Since integrating the solution, CERN has eliminated more than 40,000 software defects, says the company.  Experiments conducted around the collider generate approximately 15 petabytes data per year, equivalent to 15,000 standard disk drives. Coverity Static Analysis has tested 50 million lines of software code in the LHC software, helping CERN find and fix more than 40,000 defects.

Coverity provides scalable precision software analysis to clients, and is based out of San Francisco, California.

You can read the official press release here.

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.