From the ALS ice bucket challenge to ads for disaster relief campaigns, we're constantly bombarded with messages about how to help others. But some charitable organizations are doing more harm than good, and only a small handful are both highly effective and supported by data. This class will take a hard look at our obligations to the world, and introduce students to ideas in the growing field of high-impact altruism.

You have a list of numbers and you really want to order them. We'll cover many different ways to do this, as well as how long each method takes. You'll then get to choose a sorting algorithm and compete against other classmates to find out who's fastest.

Some time ago, some mathematicians named Curry and Howard noticed a strange correspondence between the rules of type theory (which explain how to write correctly typed programs) and the rules of logic (which explain how to write valid proofs). Now, mathematicians have proved more and more facts as programs that can be checked by computers, including the four-color theorem. Come learn how types can actually be logical propositions, and programs can actually be proofs.