Ask HN: What are the best resources to learn about program synthesis

[zamderax]

I was recently inspired by this talk from Francois Chollet on Program Synthesis and Discrete Search as a compliment to how transformers and LLM work. Like LLMs are kind of bad a math, but if they can be complemented by

https://www.youtube.com/watch?v=JTU8Ha4Jyfc&t=8965s

This always made me think of Genetic Algorithms no?

Does anyone have any suggestions on content for program synthesis to read up and learn in 2024?