Link to slides
Notes coming soon.
Numberphile video about the algorithm
Numberphile video about the proof
Notes on implementation details