@diagram_chaser
Verify all the software! Optimist @theoremlabs
AI
A post sharing the estimate puts the cost of verifying 95% of the code by the end of 2027 at about $134 million, if verification speeds up fourfold.
AI
