Synthesis is harder than analysis

· Hacker News