Manim: как создавать математические анимации в стиле 3Blue1Brown с помощью Python

[VAF34]

Из cmd python 3.13.7 не рисует!

[nerm4n]

Ебануться. Я думал, будет не настолько просто

[belonesox]

Большие видео на Manim — это долго, дорого и больно, их трудно развивать и поддерживать (например, почти все сценарии роликов 3Blue1Brown сломаны и сейчас не соберутся, они собирались под разные версии API), рендеринг большого видео долгий и цикл отладки становится все тяжелее с ростом объема. Да и смотреть их тяжеловато — «ничего непонятно, но очень интересно». Большое видео все-таки неудобны для того, чтобы быстро вспомнить предыдущую концепцию («где там это было?»), параллельно смотреть на визуализацию нескольких идей, быстро листать и искать…

Но в процессе экспериментов, я обнаружил, что если не гнаться за длинными роликами, а визуализировать саму суть утверждений «по месту» с помощью «зацикленных микровидео» по 10-60 секунд, «живых фотографий» понятий и идей, то убивается несколько зайцев. Они легко встраиваются в повествование, не перегружая контекст, и их очень легко делать с ИИ, скармливая ему просто кусок только что составленного конспекта — «визуализируй это с помощью Manim», бросая в ИИ сгенеренный ролик и комментарии «это сделай пониже, а тут стрелки уехали», а всякое простое легко изменить вручную.

Единственное, если их активно вставлять в Markdow — тут «стандартный Markdown» начинал жать — видео вставлялось некомпактно (<div><video 100500 атрибутов…>…</video>) — тут для vscode/code-server я запилил Лаконичный Markdown, чтобы вставлять их как картинки.