Synthesizing small programs for big impact – most influential paper (POPL 2020) | Hacker News Reader