The geometric Satake correspondence relates perverses sheaves on the affine Grassmannian to representation theory. Recently, Sabin Cautis and I developed a quantum group version of this correspondence, which uses equivariant K-theory. I will also explain our previous work on knot homology using this perspective.