February 2026 Podcast Recap

Program synthesis is the problem of automatically generating code that satisfies a specification. The real challenge isn’t searching faster, it’s making the right parts of the search space searchable at all. This week's episode is a short recap of the podcast so far. Across the past 8 conversations - spanning grammar filtering, temporal synthesis, inductive logic programming, vision-language programs, and symbolic world models - we explore 3 emergent themes. 1. Shrinking the search space, without breaking correctness 2. Why "correct" programs still behave badly 3. The real meaning of "neurosymbolic" At a high level, all of the solutions we've explored are grappling with the problem of search - from problem representation to the optimal divide between neural and symbolic. Credits - Host, Editor, Music: Bryan Landers, Technical Staff, Ndea https://x.com/ndea https://x.com/bryanlanders https://ndea.com