A remarkable short story and thought experiment on charitable giving in a smart contract system:
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.
Racket's docs have some lovely examples of programming by contract: https://docs.racket-lang.org/guide/contracts-examples.html
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!

