Mid stack inlining in Go: https://go.googlesource.com/proposal/+/master/design/19348-midstack-inlining.md
(Interesting implementation details: the inliner is AST based, how to preserve existing stack reflection APIs, and how to show good tracebacks.)
miniblog.
Related Posts
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!
2
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!)