7.16

2026-07-16

周四

kaggle

NeuroGolf 比赛结束了，最后是第 110 名银牌

两场比赛还是都有收获的

Orbit Wars 的收获是

• 第一次进行 ML 训练，学会了观察 loss 曲线。
• codex 写代码非常不注意性能问题，还喜欢偷懒。对于比较大型的项目一定要写 AGENTS.md
• Transformer 不是万能的，添加 GNN 层大大增加了模型能力，是一度冲上 rank 4 的关键。我相信这套网络的潜力很大，只是 RL 没训出来
• RL 很难训！这是个有趣的问题

NeuroGolf 的收获是

• 不仅仅需要 AGENT.md，还需要为 AI 准备一套文档和顺手的工具链
• GPT 网页版执行容器命令有 33s 限制
• 写了一个简单的 agent loop，虽然因为太烧 token 没跑多久
• GPT is all you need
• 写好 prompt 很重要

特别是，深度和 codex 合作后，才知道为 AI 准备文档和工具链有多重要！

试着让 AI 给我之前写的推箱子游戏 circuits 设计新关卡和新机制，因为现在的模型已经更强大，更聪明，我也知道如何让它更好地工作。但是设计出来的还是一坨屎，只是比以前好了点！

校内

前天春季学期的分数已经全部出了，最终核心学积分是 92.2，排名 3/18，gpa 是 4.05，排名 2/18

下学期暂时选了

• 物理学引论（2）
• 物理学实验（2）
• 概率论
• 最优化方法
• 程序语言设计与实现
• 计算机系统（1）
• 逻辑在计算机科学中的应用

加起来是 22.5 学分，还是很闲的

逻辑是华沙大学的 Mikołaj Bojańczyk 学术假来交大上的，内容如下：

本课程旨在使学生掌握逻辑与计算机科学的核心关联。学生将理解经典与直觉主义命题逻辑的语法与语义差异，掌握证明与程序之间的同构思想。熟悉模态逻辑中的互模拟与可判定性，理解一阶逻辑的完备性、紧致性及哥德尔定理。能够分析命题逻辑与量化命题逻辑的决策问题与计算复杂度。掌握将时序逻辑与Monadic二阶逻辑归约为自动机的方法，从而具备逻辑推理与形式化验证的基本能力。

模态逻辑！可能世界！

物理学引论是必修金课，报名了免修考，希望下学期不用学物理……

概率论是必修，最优化是选修，这两门都是硬课，是下学期课内努力的主要目标。暑假的计划是深入学习概率论，最优化稍微碰一下就行，主要开学后学吧

总的来说，下学期目标是

1. 学好概率论和最优化
2. 好好自学一下 ML，因为这学期的机器学期课完全没听（讲课一坨）
3. 读点论文

如果顺利的话，下半学期应该可以进组科研了吧