Let's Make a Generic Inference Algorithm - Ryan Cavanaugh, TypeScript Congress 2023