15-751: A Theorist's Toolkit 2016