Starting a series on programming synthesis https://mchav.github.io/an-introduction-to-program-synthesis/