February 2026 Podcast Recap
Failed to add items
Add to cart failed.
Add to wishlist failed.
Remove from wishlist failed.
Follow podcast failed
Unfollow podcast failed
February 2026 Podcast Recap
-
Narrated by:
-
Written by:
About this listen
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