Strict provenance: a teachable memory model (experiment) for Rust | Heykuki News