What computations underly our human ability to reason about other people's goals and beliefs? How can we formalize complex social goals like "helping"? I will describe recent empirical and computational progress in understanding how humans reason about other agents. I will focus on social learning (learning what others know, by reasoning about their beliefs), and social goals such as "helping" and "communicating".