挖/填坑日志

我是挖坑大师！
写一点做了但是没有完全做完的事情：

1. 小说
   （框架搭建了一堆，but实际本上只有三个案子，网文甚至没更到那个阶段（））
2. 第二本小说
   啊对对对其实曾经干过一个时间干两本小说的，但是一本在无名作文本上丢了，还好没有更很多（）
3. Witness_C++模拟器
   可以来这个地方看进度，有进展会更新
4. Natural Number Game的翻译
   一开始自己玩的时候被翻译搞了，但是还是一个好玩的理论分析小游戏（）
   甚至和同学开了一个Gitee的project
   有洋文能力的可以尝试速通
   但是不及数学原理（）（）
5. 学习 \(\text{Lean}\)
   看了Natural number game之后的想法，但是我不会洋文
6. 推理讲义
   写了一点点，考虑推倒重来（）
7. 学习如何使用 \(\text{manim}\)
   有数学人不去看3b1b的视频我会伤心。

再来一点做完的事情密码鼓励自己：
1.结束The Witness
月食真的看不动（）其他都fin了
2.玩Patrick's Parabox
3.通了Euclidea
4.找到了Euclidea公司的两个网格画图的apk
我Google Play弄了好久。。。
怎么才这么点
反正我是颓废怪