千里之行，始于足下

摘要： manim中提供了两种方式来表示文字信息，一种是 Text系列，一种是 Tex系列。 从目前我自己的使用的体验来看， Text系列在显示文字信息方面，提供了更多的的属性来调整显示效果。如果有大段的文字要排版，或者对文字的显示效果要求高的话，建议使用 Text。 而 Tex系列最大的优势是支持 Lat 阅读全文

摘要： manim绘制图形时，除了上一节提到的那些必须的参数，还有一些可选的参数， 这些参数可以控制图形显示的样式。 绘制各类基本图形（点，线，圆，多边形等）时，每个图形都有自己的默认的样式，比如上一节的图形， 有的默认是白色，有的默认是红色。 控制图形样式的参数最常用的有以下四个： stroke_widt 阅读全文

摘要： 制作数学视频时，各类几何图形是使用最频繁的。 一般来说，常用的几何图形包括：点，线，圆以及多边形。 1. 点 点是最简单图形，也是其他所有图形的基础。 绘制其他任何图形时，都是用点来定位的。 manim中生成一个点很方便，只要给定一个坐标即可。 这里的坐标包含 [x, y, z]3个维度，如果绘制二 阅读全文

摘要： manim是基于python语言开发的开源框架，是由 3blue1brown 开发的。 本来是他们自己用来制作数学视频用的，因为其友好的API和漂亮的UI效果，在开源之后，立刻流行起来。 原先开源的地址是： 后来托管给了社区，现在安装最新的版本请从这里下载： 改版之后，命令行更加清晰，简单。 支持的 阅读全文

摘要： 应用的自动化部署由来已久，也有很多知名的工具，比如puppet，ansible，saltstack，chef等等。 但是对于基础设施部分，一般都是以事先准备的方式来提供的。 虽然各大云服务器厂商也逐步提供了各类的API，用来控制自己的基础设施， 但是，由于各类厂商的差异性，API差异很大且没有统一分 阅读全文

摘要： 概要 最近，结合视频剪辑工具剪映制作短视频时， 如果不是数学相关的内容，使用视频剪辑工具配置字幕，添加图片等等比 manim更加方便。 所以，用 manim封装一个目录的动画，用来配合剪辑工具中的其他资源。 代码封装 基于manim封装一个目录显示的 class。 主要属性就是 titles，也就是 阅读全文

摘要： 概要 前端时间做尺规作图相关的动画的时候，封装了一个圆规的动画，顺便研究了下 manim 库的动画函数。 manim 本身就是做动画的库，所以，基于它封装自定义的动画非常方便。 动画原理 对于单个的元素，manim本身就提供了非常多的动画函数。 比如：创建/消除的动画，移动元素的动画，旋转元素的动画 阅读全文

摘要： 概要 manim 是一个做数学视频的 python 库，这个库功能非常强大。具体可以参考官方介绍：https://github.com/ManimCommunity/manim/ 它本身只是封装数学相关的几何体和一些基础动画，所以，制作视频时，需要进一步封装更复杂的动画来满足视频的要求。最近做的一个 阅读全文

摘要： 概要 在前端下载文件是个很通用的需求，一般后端会提供下载的方式有两种： 直接返回文件的网络地址（一般用在静态文件上，比如图片以及各种音视频资源等） 返回文件流（一般用在动态文件上，比如根据前端选择，导出不同的统计结果 excel 等） 第一种方式比较简单，但是使用场景有限。第二种方式通用性更好，最近 阅读全文

摘要： 最近用 antd pro 开发了一些 web 小工具。 antd pro 不仅仅是升级版的 antd 组件，更重要的是提供了全套的前端解决方案，包括前端工程的编译打包，路由配置，数据管理，样式和资源的引用，和后端的交互方式。 甚至对于网站的国际化也有支持。 本篇是近期使用antd pro 时，用到的 阅读全文