miniblog.

Cunning trick to ease upgrades in Rust. Each semver upgrade is a distinct type, but a library can depend on an older version of itself and preserve the types!

C-Reduce has a fun concept of "interestingness", the predicate that you are trying to preserve whilst shrinking your program: https://embed.cs.utah.edu/creduce/using/ It's a great term: previously I've used the boring "property under test".

Lessons learned from writing a linter/static analysis tool for shell scripts: https://www.vidarholen.net/contents/blog/?p=859 (Preserve positions, use error codes and document them, and there's a tradeoff between beginner mistakes and advanced mistakes!)