i knew 3blue1brown made manim (https://github.com/3b1b/manim) which is the library used for making the animations in their videos, but i didn't know they publish the full source for the generation of all of the videos. that's fucking cool

https://github.com/3b1b/videos/blob/master/_2020/hamming.py