Invited talk at LACIAM 2023