Ran into an interesting article about a specific technique for identifying problems in a codebase. It’s especially applicable to compiler optimizations, and other cases of subtle misbehavior which can be hard to get to show up.
Russ Cox is a very smart guy. In addition to his work on Go lang, he’s the author of re2, one of the better regular expression libraries out there, and one of the first to be specifically hardened against regex strings which are ‘attacker controlled’ as we say.
I suspect that Zig’s comptime mechanism can really juice up a technique like the one described in the article, so I thought I’d share it.