Thanks to Joshua Xu, Steven Troxler, David Hagen, and John Hagen for presenting today!

The recording, slides, meeting notes, and chat transcript are in the running meetup notes doc: https://docs.google.com/document/d/17iqV7WWvB0IwA43EPlIqlUS6Xuvk08X3sEudAA-gQIo/edit?usp=sharing

If you'd like to continue the discussion on either presentation, please do so in the dedicated typing-sig threads:
1. @overrides: https://mail.python.org/archives/list/typing-sig@python.org/thread/V23I4D6DEOFW4BBPWBMYTHZUOMKR7KQE/
2. Exhaustiveness-checking: https://mail.python.org/archives/list/typing-sig@python.org/thread/AKXUBJUUHBBKTLNIAFCA6HII5QQA2WFX/

Best,
Pradeep