Your job is to deliver code you have proven to work
simonw Thursday, December 18, 2025
Summary
The article discusses a new technique called 'Code Proven to Work' that verifies the correctness of code through the use of machine-checked proofs. This approach aims to improve software quality and reliability by providing strong guarantees about the behavior of programs.
644
540
Summary
simonwillison.net