Interested in Machine Learning, cognitive science, program synthesis, AGI.