235: Incremental Correctness (feat. Guillermo Rauch)
Design Details
00:00
The Future of Proofs
I think designers have always been they've just been implemented in their mind right there is this really awesome medium post by the creator of Tezos which is a cryptocurrency that tries to add formal verification to smart contracts. The developer sort of knew how it was going to work but they weren't able to transfer that knowledge and those constraints completely into the code, he says.
Transcript
Play full episode
