2025周报总结

二〇二五年十二月

艰苦卓绝的两个月赶论文,第二个工作终于算是暂时告一段落。接下来要继续开始第三个工作,同时优化第二个工作了。也是在赶论文的时候才意识到专注的重要性,以及每天的时间确实可以拿来做很多事情,不要浪费了。

最重要的一件事是早上到工位以后做的第一件事。直接决定了今天上午乃至一整天的工作效率。得先对一件事情有兴趣,然后会有充足的动力把它做好。兴趣也是直接决定优秀和卓越的要素之一(再加上选择与运气)。勤奋可以区分普通与优秀,但优秀和卓越的差距并不是仅仅勤奋就够的。如果期待卓越,那还是要“热爱你的生活”。

20251222-20251228

  • 继续调研工作
  • 开始学习linux

20251215-20251221

  • 开始调研下一个工作,发现想做的topic已经被做掉了……
  • 开始用obsidian。发现配合dropbox还挺好用的
  • 硬盘还是有故障了。趁没完全坏掉抓紧时间买了个新的

20251208-20251214

  • 赶论文
  • 论文赶完后难得去上海city walk了一下

20251201-20251207

  • 赶论文

二〇二五年十一月

注意:你的精力、注意力非常宝贵。不要浪费在琐碎而不重要的事情上。

目前在做的事情,和未来三年、五年乃至十年的规划有没有关系?之后的定位是什么?为了qualify之后要从事的工作,现在做的事情有没有意义和价值?如果没有,那应该去做什么?总而言之是一个专注力的问题。要注意到事物之间的联系。不能再在无价值的事情上浪费时间了。

20251124-20251130 第一百四十二周

  • 写代码、赶论文

20251117-20251123 第一百四十一周

  • 写代码、赶论文

20251110-20251116 第一百四十周

  • 写代码、赶论文

20251103-20251109 第一百三十九周

  • 写代码、赶论文
  • C程小测监考

二〇二五年十月

下旬,杭州两天从30度降到17度,光速入冬。猝不及防地,骑车被细雨打湿,扁桃体发炎。不过也是在预料之中,毕竟短袖短裤还是夏天的穿法。课题进展是赶不上11月中旬的sp了,只能往后再看看usenix?要是连usenix都赶不上那真就以死谢罪了。

一日之计在于晨,早上起来注意力确实很集中,情绪也很稳定,也没有脑雾什么的。要注意不要被各种通讯软件给夺心魄了,及时把握好思绪方向盘——主要是要时刻提醒自己:现在在做什么?是否重要?是否值得?因为有时候人不会意识到自己在干什么事情,只是身体下意识的反应。这个时候要主动介入,用脑子来接管了。

吃的好点。是从果腹的食物层面,更是从摄入的信息层面。互联网平台充斥着低俗无效的垃圾信息,即便意识到是垃圾信息,大脑也会分配一定的精力去处理,甚至在后台去反复处理。要意识到这是对注意力的消磨。假设每天醒来获得的注意力是定值,那么分配(甚至不是主观意愿的分配)在这些垃圾信息上的精力多了,分配在重要事情上的精力就少了。刷手机也是调用前额叶功能,并不是有效放松,反而会加重脑负担。

月末,实验室换了9个大灯板,一下子亮如白昼,可以学习办公到不知天地为何物而毫无困倦感,当天晚上干活就直接干到十一点四十还不觉得困。想起手术室的无影灯,与养鸡场的暖灯。在这么亮的灯光下好像更容易进入心流状态,只要用脑子专注在手头的工作,理解并反思文字背后的含义,直接就心流了。焦虑这种情绪本身并不能带来什么正面作用,不管多急多忙还是要沉下心来的。这就需要预先选好要学习的目标,及时提醒自己进度如何了。不要在一个地方停留太久。也多看看招聘市场,了解一下需要什么能力。

20251027-20251102 第一百三十八周

  • 继续完善论文和实验代码设计

20251020-20251026 第一百三十七周

  • 参加博创论坛,完成毕业要求之一
  • 写了个98信息处理网站
  • 写论文

20251013-20251019 第一百三十六周

  • 干一些整理gpu报价、帮忙装机、监考、整理考卷分析之类的杂活

20251006-20251012 第一百三十五周

  • 添置新设备,同步快速推进论文了
  • 发现boot.dev网站做的挺好的

二〇二五年九月

迎来了课题代码的多轮迭代。从GenAI升级到Agentic,从commit分析升级到知识图谱构建,再加上数据集报告分析步履维艰,整体来讲推进可以说是非常缓慢了。九月中旬的时候倒是有了一些稍微清晰的思路,清醒了一点才认识到从数据集到实验设计到相关工作比较都得切实做好细粒度工作。一周一次的meeting确实很打断连贯思路,有的时候就变成了面向汇报的科研,导致很多东西做的都比较浅。

也是感受到读博对精神的打击了,明明没有显式的什么挫败,但无形之中会消磨精气神,讲话逐渐变得越来越mean,思维逐渐变得越来越numb。可能是长期没有发论文的缘故吧,实验一直在原地转圈没什么进展。对待别的事情越来越放松,心情波动起伏越来越小了。

古代哲学是对的,“吾日三省吾身”。假如要给talk,能不能给一个有体系的talk?能否回答听众的问题?能否具有科学性?一天下来有多少时间是用于个人能力提升,有多少时间适用于无效劳动,有多少时间是用于摸鱼?

20250929-20251005 第一百三十四周

  • 继续实现v5.2实验代码

20250922-20250928 第一百三十三周

  • 写本子

20250915-20250921 第一百三十二周

  • 迁移到linux继续开展实验,windows上不允许aux作为文件名有点难绷了
  • 处理C程ppt

20250908-20250914 第一百三十一周

  • 继续写xnn项目
  • 订阅medium!上面不少文章内容还不错

20250901-20250907 第一百三十周

  • 继续写实验室网站的streamlit管理端
  • 201开会讨论系统方向发展
  • 写xnn本子

二〇二五年八月

下旬的时候突然认识到,读论文比较关键的一点的并不是记住作者开发了什么东西,而是关注下作者是如何凝练出方法来的,寻找其中的设计哲学,归纳出方法论。如果对这个领域不是很熟悉,也可以着重观察一下这个领域一般在解决什么问题(从related work里)

20250825-20250831 第一百二十九周

  • 学streamlit,做实验分析前端
  • 继续写qg本子
  • 优化实验室网站管理系统

20250818-20250824 第一百二十八周

  • 整理pta题目
  • 参加jzm博士talk
  • 帮忙修改cy论文

20250811-20250817 第一百二十七周

  • 修改测试anthropic的issue测试
  • 写hwhyl本子

20250804-20250810 第一百二十六周

  • 写qg本子
  • 准备组会论文

20250728-20250803 第一百二十五周

  • 整理工作,写论文

二〇二五年七月

这个月忙着推进sqtp开发和实验进展,同时写各种本子材料,整体还是蛮充实的。逐渐习惯每天点杯咖啡,适当提升下工作效率。写第二篇论文的时候确实发现不管三七二十一要先写上内容再说,反正最后都要反反复复修改的,不用一开始就字斟句酌的。读论文的速度也大大加速了,先dblp上sparql普查一遍,然后逐个阅读Abstract和Intro,同步用SurveyGo来总结综述。

本来周报是要总结学到了什么新的知识点的,没想到变成平平无奇的工作记录流水账了。争取从下周开始也记录一下学到什么东西吧。

20250721-20250727 第一百二十四周

  • 整理工作,写论文

20250714-20250720 第一百二十三周

  • 改出了第三版智能体实验代码,发现还是得优先跑通静态source code adaptation的阶段

20250707-20250713 第一百二十二周

  • 重构出了智能体的实验代码
  • 整理scholar论文,写本子

20250630-20250706 第一百二十一周

  • 推进实验!

二〇二五年六月

月初快速推进实验,换用claude、gemini等模型进行测试,API调用是真贵啊。月中回归到环境准备上,考虑宏定义局部展开+源码注释的方法来尽量削减特性不支持的问题了……还是欠缺一套从头开发的工具出来。

月末的时候开始读毛传和毛选了,感觉确实非常振奋人心!

20250623-20250629 第一百二十周

  • 继续推进课题实验

20250616-20250622 第一百一十九周

  • 推进课题实验

20250609-20250615 第一百一十八周

  • 接了支部会议记录审查大模型开发的锅
  • 参与了下今年三位一体志愿者,主要负责引导

20250602-20250608 第一百一十七周

  • 写下周日主题报告的ppt初稿
  • 周末兼辅人物接了辅导系统1的任务,一天时间速成project

二〇二五年五月

月初忙飞了!忙着审稿、写gossip投稿、做sp slides、整理软安材料。月中去三藩开会,回来以后马不停蹄飞长沙参加决赛,忙得脚不沾地,人都晕了。不过结果来看还不错,喜提国一。三藩会单独出个游记,等这一阵子忙完之后。

20250526-20250601 第一百一十六周

  • 整理组会ppi
  • 写项目指标的本子

20250519-20250525 第一百一十五周

  • 整理报销材料
  • 推进课题进展,先跑起来批量试验了

20250512-20250518 第一百一十四周

  • 三藩开会
  • 参加长沙比赛

20250505-20250511 第一百一十三周

  • 做了oakland的ppt
  • 打印海报,采购各种出国必需品
  • 写了华为本子

二〇二五年四月

月初,安排的兼职辅导员任务,给延毕班同学辅导编译原理。现在本科教育质量比之前好多了,有非常详尽的实验指导手册。正好借这个机会重温学习一下。不过好像联系了一两天就不再来找了。

月中有点温水煮青蛙的感觉了,工作的基础demo迟迟没有实现,卡在形式化验证生成质量的问题上。去北京参加了中通集团交流。

月末,还是多读读近期有关llm和规约生成的工作,找找思路吧。

20250428-20250504 第一百一十二周

  • 吭哧吭哧评审论文
  • 支部接了个LLM做生活记录审查的活
  • 写了海报和gossip推文

20250421-20250427 第一百一十一周

  • 完成迭代式注释的工作
  • 整理了一些paper的阅读笔记

20250414-20250420 第一百一十周

  • 把实验室server和wiki迁移到树莓派上了
  • 压力大的时候和人出去约约饭还可以的
  • 去北京卫通交流去了

20250407-20250413 第一百零九周

  • 课题基本完成单commit端到端的分析,但是效果还需要再优化优化
  • 买了新的域名,给实验室部署了wiki
  • 帮忙做了点ppt

20250331-20250406 第一百零八周

  • 继续推进课题,尝试CodeQL发现效率太低,改用clang了
  • 兼辅任务帮忙辅导了一下编译原理

二〇二五年三月

月初还好,月中忙飞了。要准备中期答辩、组会、一堆本子、软安比赛的事情。认识到其实平时就应该多做ppt,这是可以直接固化下来然后在很多地方应用的。同时也可以提高做ppt技巧(听说去厂里很有用)、审美能力和信息精简提纯的能力。

月中参加了软安比赛,这个赛区的竞争对手“都比较弱”,所以拿了区域赛第一。等之后优化一下系统页面,等着参加五月份湖南大学的决赛了。

月末,领事馆终于发邮件让提交护照了!抽了一天跑到上海中信银行现场提交了下材料。三月份的重头戏应该差不多告一段落了,接下来回归推进课题!

20250324-20250330 第一百零七周

  • 终于check结束了,收到邮件以后第二天就去上海交了护照
  • 写大模型生成ACSL注解的课题代码

20250317-20250323 第一百零六周

  • 参加中期答辩,考核优秀!
  • 参加软安比赛,拿下区域赛第一名!

20250310-20250316 第一百零五周

  • 这周继续准备中期考核ppt、准备周日组会,忙飞了

20250303-20250309 第一百零四周

  • 疯狂做中期ppt的一周,唉
  • 疯狂写本子的一周,唉

二〇二五年二月

月初去上海办签证,顺便找同学玩,不过因为天气突然刮风降温+实验室来活,所以也没咋逛。签证喜提check,希望一个月之后能顺利下签。在高铁上看书突然意识到很久没有从略读中感受到读书的乐趣了。平常都是精细地读材料,也逐渐让反应力下降、任务完成效率低下。过分专注细节导致忽略更为上层的内容,并不好。

逛逛校园论坛确实可以sync到一些新的消息,不过最好还是当做搜索引擎来用,否则容易沉迷在水98中,浪费时间也就算了,主要是会导致注意力涣散,半天都缓不过来劲。

月中打乒乓球上瘾了,每天都打一到两个半小时乒乓球到闭馆。锻炼身体!

20250224-20250302 第一百零三周

  • 使用LLM测试注解生成情况
  • 参与了小朋友们组织的学练网开发

20250217-20250223 第一百零二周

  • 推进自己的工作,由于技术路线切换,重新整理数据集
  • 语雀整理工作还不错,数据表绘制也很方便

20250210-20250216 第一百零一周

  • 写binbin的本子
  • 写实验室的本子

20250203-20250209 第一百周

  • 去上海面签,喜提check,不过check单子有一页A4纸大小,和xhs还不太一样
  • 公开sec vue的代码

二〇二五年一月

旧的一年以跨年在实验室干活结束,新的一年以元旦在实验室干活开始,真是美妙啊。上午没人来实验室,下午倒是又来了俩,果然大家都是优质牛马呢。

月中,回顾了下之前课题进展,感觉在IR层面做分析还是不太行,主要是在课题场景下对每一个commit都要重新编译整个项目的开销过大,而且也很难在项目之间迁移,加上llvm用得不是很熟,开发进度也不好。还是试试从源码层面去分析吧。

月末过年回家,本来打算趁假期争取把开题、中期和五月开会的ppt都搞定,后来被安排了实验室的材料整理,加上过年这几天几乎每天都要外勤,还是完成不能了……

回家最大的改变就是早睡早起了,每晚十点多睡觉,第二天七点多就起床啊!

20250127-20250202 第九十九周

  • 回老家过年
  • 推进课题,尝试解决FC特性不支持的问题
  • 推进春节本子

20250120-20250126 第九十八周

  • 整理签证材料
  • 根据sakai重构了一下sec网站
  • 拟定了一个学练网站开发的构想

20250113-20250119 第九十七周

  • 初步打算用FC做课题,学习tutorial
  • 实验室莫干山团建

20250106-20250112 第九十六周

  • 完成binbin本子
  • 重新思考课题技术路线

20241230-20250105 第九十五周

  • 处理C尖成绩,给小朋友们捞分、登分
  • 推进软安赛的前后端代码,整理报名材料

往年记录