7.8

2026-07-08

周三

复活

摆烂了一个学期，这几天随着作息调好，终于看到自己复活的迹象了。恢复日记更新！

学期总结

这学期啥也没学。

• 3.2 开学
• 3.2 - 4.15 高强度打王者
• 4.16 - 4.25 不知道在干啥
• 4.26 - 4.27 准备机器学习小测
• 4.28 - 5.18 准备程设搜索算法演讲，出题
• 5.25 - 6.12 打 kaggle 比赛 Orbit Wars
• 6.13 - 6.24 期末周
• 6.24 考完最后一门毛概放假
• 6.24 - 7.3 打新 kaggle 比赛 NeuroGolf
• 7.6 开始小学期

Orbit Wars 在今天 8:00 刚刚结束滚榜，最后定格在 40/4729。比赛期间最高到达过 rank 4，但最后 RL 训不动，期末周也没精力继续打比赛，只能提交纯 BC (behavioral cloning) 的方案，错失金牌，但作为第一次尝试 kaggle 比赛，拿 Top 1% 银牌已经不错了。

NeuroGolf 则是过程太坐牢，完全是 prompt engineering 游戏，没有任何智力活动的乐趣，打到 rank 40 后就开摆不打了，希望最后也能有银牌。

这样的话，再打个金牌就能成为 Kaggle Competition Master，但最近不想再打了，先好好学习，一年后再说吧！

至于校内课程，则是什么都没学到，所有课都是期末速通的，本来想好好学的数理逻辑也摆烂没学。所幸速通功力深厚，GPA 没烂掉，目前还剩一门机器学习没出分，学积分 4/18，GPA 1/18。算法几小时速通 98，抽代环域几小时速通 95，但群论是花了三天好好学的！三天边学边写了三份笔记 群论 1：集合乘法和群论基础，群论 2：群作用，群论 3：Sylow 定理，算是这学期唯一的产出，绷

由于超快的速通速度，期末周实际上还有许多空间时间，学了一点 lean。先是玩了 Lean Game Server 上最简单的三个小游戏：Natural Number Game，Set Theory Game，A Lean Intro to Logic，然后读了前三章 Mathematics in Lean，做了里面的题目。这基本上就是电子 ED 但是想找点乐子（

总之，这学期什么正经东西都没学到。主要原因是沉迷王者时期精神状态非常差，基本上可以说是厌学，完全学不了东西，只能摆烂。最坏的时候作息完全随机，一天只吃一顿饭，醒着就是打游戏和刷视频，也不在任何群里社交，从网络上消失，活着就行，不能奢望更多。

所幸意识到自己状态有问题后开始调整，后来终于是好起来了！

这学期就这样让它废掉吧，下学期的三门必修课，chihao 的概率论，宽神的最优化和曹大师的 PL，都要认真学习了！准备小学期 + 暑假过一遍 Claudio Landim 的测度论和概率论：测度论进阶课 IMPA 和 概率论进阶课 IMPA。如果还有空的话就学点随机过程！