一个博客

昨天看学弟折腾博客才想起来我还有个域名，以及还有个cloudflare，给他展示了一下之后突然想起来我还可以用来搭镜像站。

本文为AI玩eden*的记录，很长并且可能没有什么意义，所以如果感兴趣可以点开，不然建议忽略本文。

书接上回让AI写完了MCP，然后实际使用又遇到了一堆问题

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

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

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

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

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

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

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