In this seminar, I will present my recent wrapped-up work on local contextual type inference. I will try my best to make it less technically involved, so good to see you all there!