Manim: An animation engine for explanatory math videos | Dark Hacker News