tech:

taffy

Coverity Helps CERN Clean 50 Million Lines Of Code

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

Vercel raises $250M

San Francisco-based Vercel, a frontend cloud platform provider, has secured $250 million in Series E funding, bringing the company's valuation to $3.25 billion.

Worky raises $6M (Mexico)

Mexico City-based Worky, a provider of HR and payroll software solutions for Mexican companies, has closed a $6 million Series A financing round.

Amazon announces $1.31B investment in France

Amazon has announced a new investment of about $1.31 billion (€1.2 billion) in France, which the company says will lead to the creation of over 3,000 permanent jobs in the country.

Amazon Web Services CEO Adam Selipsky to step down — CNBC

Adam Selipsky, CEO of Amazon’s cloud computing business, will step down from his role next month. Matt Garman, senior vice president of sales and marketing at Amazon Web Services, will succeed Mr. Selipsky after he exits the company June 3, writes Annie Palmer. 

Palo Alto Networks, Accenture expand alliance to offer generative AI services

Palo Alto Networks and Accenture have announced the expansion of their strategic alliance to provide new offerings that combine Palo Alto Networks' Precision AI technology with Accenture's secure generative AI services.