Synthesis is harder than analysis · HackerLangs