一个博客

最近Jev爆火，所以我也想弄个开源版本的laya来玩玩，于是想起了我之前白嫖的超算互联网好像还没用过，就来看看怎么用。

虽然不知道用矩阵表示图的操作有什么用（可能gpu计算的快一点吧），但是我还是挺喜欢这些意义不明的问题的。

最近想尝试Rocq（以前叫Coq），所以安装来试试，国内这方面的东西好像比较少，所以记录一下过程。

最近在看《同构：编程中的数学》，觉得可以用lean4来写一下里面的习题，所以记录一下。

最近龙虾大火，虽然我不觉得龙虾真的能干活，以及我认为龙虾就是个能控制电脑的聊天机器人，虽然不看好龙虾，但是咱二次元可以不养龙虾，我们可以养猫娘。

历时一个月，终于在昨天收到了在亚马逊上买的美少女万华镜15周年OST，这也是我第一次在海外买东西，所以值得记录一下。

目前为止见过的最难的，最不容易想到的题目

我证出来啦！！！

今天一个学弟拿了个有点意思的东西来给我看，问我知不知道原理，所以来试着破解一下，记录一下过程。

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