Slides for my talk for the Summer Hackathon in FMI