Bayesian program synthesis is an approach to ML that's been slowly brewing since the early parts of this decade, and as a member of a "sister lab" to Vikash's,

Bayesian program synthesis is an approach to ML that's been slowly brewing since the early parts of this decade, and as a member of a "sister lab" to Vikash's, I'm excited to see their POPL paper getting this kind of popular attention. I'll be even more excited if their techniques from this paper can actually be widely reapplied! BPS as a technique hasn't had its "ImageNet" moment in which a strong, nontrivial, real-world benchmark is identified and then solved.