Is Warren Smith still on here?

If so, then I've been reading up on your debugging theory and it seems
to gel a lot with my thoughts, especially after the Bach retunings I
just did.

I see a lot of potential for crossover between ideas in this paradigm
and ideas in information theory, particularly the Kolmogorov
complexity of a signal, but I'm not sure how to start formalizing
things in a mathematically rigorous way. I'm curious if you've spent
any time formalizing all of this, so that we can translate intuitional
ideas into concrete mathematical statements in this paradigm. If not
I'd like to help work some of that out.

-Mike