Pinned post

Axiom Math, which uses AI and the Lean language to verify code in much the same way that mathematicians prove math problems, raised $200M at a $1.6B valuation (Cade Metz/New York Times)

Cade Metz / New York Times : Axiom Math, which uses AI and the Lean language to verify code in much the same way that mathematicians prov...

31 October 2024

A profile of Pepijn van der Stap, a Dutch prodigy who hacked thousands of companies' data while also doing legitimate cybersecurity work and is now in prison (Ryan Gallagher/Bloomberg)

Ryan Gallagher / Bloomberg:
A profile of Pepijn van der Stap, a Dutch prodigy who hacked thousands of companies' data while also doing legitimate cybersecurity work and is now in prison  —  Pepijn Van der Stap stayed up through the night of Jan. 22, 2023, repairing one of his computers in silence save for the whirring of its fan.

Posted from: this blog via Microsoft Power Automate.

Daily Deals

By on