Reducible's introduction to GJK [1] is also really great.

[1] https://www.youtube.com/watch?v=ajv46BSqcK4