介绍Ndea播客，讨论程序综合论文

推出Ndea播客——抽象综合。聆听程序综合领域有趣学术论文背后的故事。第一集邀请了@MarkSantolucito（@BarnardCollege/@Columbia），讨论他的论文“Grammar Filtering for Syntax-Guided Synthesis”。