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
• x.com/ndea
• x.com/bryanlanders
• ndea.com