Synthesis is harder than analysis

by azhenley | View on Hacker News