图灵完备游戏介绍
博文

图灵完备游戏介绍

在古希腊时,逻辑被注意到。当时被称为逻各斯,古希腊哲学集大成者亚里士多德提出了三段论, 苏格...
使用GTD工作法提升效率
博文

使用GTD工作法提升效率

为此我一直有在寻找合适的项目管理工具,也看了一些相关的书籍,不过很多方法都复杂且难以快速实践...
manim边做边学–动画联动
博文

manim边做边学–动画联动

比如讲解平面几何中三角形与圆的位置关系变化,通过动画联动可以让圆沿着三角形的边滚动,或者让三...