miniblog.

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!