摘要：
制作数学视频时，各类几何图形是使用最频繁的。 一般来说，常用的几何图形包括：点，线，圆以及多边形。 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 时，用到的 阅读全文
摘要：
学习Rust时练手的小程序，功能类似代理，将网络请求转发到新的地址和端口。 目前只有http请求的转发，未来希望能够代理各种常用的网络协议。 代码地址：https://gitee.com/wangyubin/mario 概要 程序主要有2个参数： -L：监听的地址和端口 -F：转发的地址和端口 整体 阅读全文
摘要：
区块链是很火的概念，但是提起区块链，最先想到的就是比特币，以及随之而起的各种虚拟币。 自然而然的很多人就认为区块链就是虚拟币，其实虚拟币只是区块链的一个应用，区块链的初衷也绝不是为了虚拟币而创建的。 区块链到如今也有10几年的历史了，如果算上它起源的密码朋克社区，那得将近30年的历史了。 密码朋克（ 阅读全文