我是挖坑大师！
写一点做了但是没有完全做完的事情：
- 小说
（框架搭建了一堆，but实际本上只有三个案子，网文甚至没更到那个阶段（）） - 第二本小说
啊对对对其实曾经干过一个时间干两本小说的，但是一本在无名作文本上丢了，还好没有更很多（） - Witness_C++模拟器
可以来这个地方看进度，有进展会更新 - Natural Number Game的翻译
一开始自己玩的时候被翻译搞了，但是还是一个好玩的理论分析小游戏（）
甚至和同学开了一个Gitee的project
有洋文能力的可以尝试速通
但是不及数学原理（）（） - 学习 \(\text{Lean}\)
看了Natural number game之后的想法，但是我不会洋文 - 推理讲义
写了一点点，考虑推倒重来（） - 学习如何使用 \(\text{manim}\)
有数学人不去看3b1b的视频我会伤心。
再来一点做完的事情密码鼓励自己：
1.结束The Witness
月食真的看不动（）其他都fin了
2.玩Patrick's Parabox
3.通了Euclidea
4.找到了Euclidea公司的两个网格画图的apk
我Google Play弄了好久。。。
怎么才这么点
反正我是颓废怪