Program Synthesis is the dream of every developer. You specify what you want to write, and the computer writes the code for you. This specification can take several shapes: the signature (types) of a function, its documentation, or some input-ouput examples. Aeon is a programming language that supports different algorithms: LLMs, Genetic Programming and SMT Solvers. In particular, Aeon takes advantage of an advanced type system (Liquid Types) to validate whether the generated code is correct. The talk will cover how to make the best out of these techniques, and show examples that are more suitable for some techniques than others.