挖/填坑日志

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

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弄了好久。。。
怎么才这么点
反正我是颓废怪
——2023/4/19

哈哈我也想不到会更新

填上的坑：

1. 小说
   十个案子完完整整的写完了，还是蛮有成就感的，但是有些事情没有来得及想得更加明白，要回头想想。
2. 高考
   对对对起码考完了

有些许进展的坑:

1. 第二本小说
   打算继承第一本顺延下去，but只是有了一个大的框架，需要细化，而且目前没有一个非常 incredible 的点子
2. 学习 \(\text{Lean}\)
   起码已经拿到pdf了
3. 小说数据化
   嗯，一定会周更的（对吧？）

——2025/7/5