Today’s internet is ruled by algorithms. These mathematical creations determine what you see in your Facebook feed, what movies Netflix recommends to you, and what ads you see in your Gmail. Engineers at companies like Facebook and Google spend huge amounts of time developing new algorithms—and tweaking old ones. Yet some academic computer science researchers…