Choose a site to share https://tweets.tai2.net/2026/07/04/synthesis-is-harder-than-analysis.html to:
Or enter your site or instance below: