Program Synthesis: The λ in the Machine
stephendiehl.com