Machine Learning and Theoretical Computer Science