一个博客

用workbuddy的免费积分让AI写了个玩ONS游戏的MCP来让AI玩galgame。

免费的glm4.7-flash太拥堵了，虽然我也不常用，但是用的时候看见请求失败很影响心情。所以我又想到了许久未用的1080ti。

本文为与基地的学弟交流讨论的过程的记录。

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

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

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

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

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

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

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