The talk org file
Problem 1
Problem 2
Problem 3
First example used in the talk
Second example used in the talk