发点牢骚。

倒不如说我重启自己的博客本来就是为了发牢骚的。鬼知道怎么老是写一些杞人忧天坐井观天的垃圾。

尝试了一下在WSL2上用snap安装coq。

经过了一些魔改已经仿佛能用了。可惜最后一点点好像还是不行。

OK，忽然想到可以往老板集群上安一个。能用了，就这样吧。