Also, none of those strike me as interesting. The first is pretty much contentless sans any justification for preferring the machines; the second and third are just definitions which LWers or anyone who knows the rudiments of information theory will understand; and I have no idea what interest a 'juggling theorem' has.