An Introduction to Program Synthesis / hacker news