Skip to content

The Edge of the Cyber World See the latest

Technology

‘The Proof in the Code’ Review: Lean, Mean Computing Machine

The program called Lean was built to detect bugs in Microsoft’s products. It ended up revolutionizing mathematics.

Source: WSJ Technology

More from this desk