My work with Thomas Vidick from Caltech gets a mention in this nice article on the recent MIP*=RE proof, a major result in computational complexity.