He created a visualization library called Manim and it's great.