Inspired by this question: Information Theory used to prove neat combinatorial statements?
Are there any nice applications of theoretical computer science in information theory (the other way has nice applications such as use of coding theory/Kolmogorov complexity in TCS)
