Rust: "The good news is that part of Steve's contract is for him to write examples for every type and function"—if only more langs did this!
miniblog.
Related Posts
Smart contract security assessments are surprisingly readable: https://certificate.quantstamp.com/full/nomad
It's clear what's being audited, the issues identified are clearly categorised, and the maintainer responses are shown.
A remarkable short story and thought experiment on charitable giving in a smart contract system:
Racket's docs have some lovely examples of programming by contract: https://docs.racket-lang.org/guide/contracts-examples.html