https://douyixuan.github.io/tags/program-synthesis/Recent content in Program-Synthesis on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usMon, 14 Sep 2026 08:00:00 +0800https://douyixuan.github.io/posts/ai-native/2026-09-14/Mon, 14 Sep 2026 08:00:00 +0800https://douyixuan.github.io/posts/ai-native/2026-09-14/今天关注 AI-native 软件工程的两个底层设计问题：Yad Konrad 用 program synthesis / CEGIS 重新解释 prompt、context、harness、eval 与 software factory，指出它们其实是在重新发现 specification、search space、search technique 和 verifier；另一篇新论文则直接比较 Agent Skills 与 Subagents，证明可复用知识该放进主 context 还是隔离到独立 subagent，关键取决于技能是否具有清晰的输入输出契约。