These are easily one of my favourite types of posts (and this one was particularly gratifying). I wish I could go down these rabbit holes every day!
> [...] and why heterogeneous platforms are important
This prompts me to wonder vaguely whether there's any untapped juice in fuzzing approaches that might be relevant here. As in, how much of the platform (including configuration and heuristics, and so on) could be fuzzed as program input?