Our program:
https://github.com/polylog-cs/universal-search/blob/main/code/universal_search.py
RSA factoring challenge: https://en.wikipedia.org/wiki/RSA_Factoring_Challenge
Big thanks to: Tomáš Gavenčiak, Matěj Konečný, Jan Petr, Hanka Rozhoňová, Tom Sláma
Patreon: https://www.patreon.com/Polylog
Website: https://polylog.cc
Credits:
To make this video, we used manim, a Python library: https://docs.manim.community/en/stable/
The color palette we use is solarized: https://ethanschoonover.com/solarized/
music: Thannoid by Blue Dot Sessions: https://app.sessions.blue/browse/track/126782
music: Ride of the Valkyries from R. Wagner from wikimedia commons
