That mini-series is about stuff that I make up myself. K-complexity is a well known notion,

Ok. I actually considered the 'could' post a well known notion just expressed in an intuitive format.

maybe you could ask JoshuaZ - he was planning to write some introductory math posts.

Not a bad idea. Failing that I could always write one myself. But for now I'll just hope your comment above comes up in the custom search when I'm looking for a link target. You touched on most of the important details (albeit briefly) so that was about 2/3 post ready as is.