一个博客

此为用C++写微分方程数值解实验的前置，目标是封装个多维数组，重载四则运算，实现一些矩阵的操作。

密码学大作业需要用到质数表，所以就把优雅的生成质数表作为我的第一个练习。标题叫优雅的生成质数表，不叫高效的生成质数表，所以只是用的最朴素的方法，尽可能把它写得好看，并不是最高效的生成质数表的方法。

玩了一个多月了准备回坑。

由于前段时间接触了一下lean4，所以就想着能不能用lean4来证明一下欧几里得算法能够求出最大公约数。

因为安装和编译很多东西都需要高版本的GCC，所以折腾了一下高版本的GCC。

安装完lean4，当然要试着用一下，由于我也快两年没碰算法了，所有算法几乎都忘完了，就只记得GCD了，所以就写个GCD吧。某种程度上选择GCD说不定刚好，够经典，够简单，够数学。

突然又想玩lean4了，但是打开vscode之后不知道什么原因，我之前的lean4的环境又不能用了，vscode的自动安装又经常连不上，所以重新安装一次，顺便记录一下。

就是把整个minconda3移动到其他地方，并且还能正常使用，不是导出conda环境。

这篇文章是我无聊刷知乎的时候看见一篇用ffmpeg分离音频的文章之后，觉得这个小技巧可能挺有用，所以写的。

前几天初赛结束了，虽然成绩很不理想，但是还是进复赛了，复赛题目跟初赛就完全不一样了，希望能进决赛吧。