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尖成绩，给小朋友们捞分、登分
- 推进软安赛的前后端代码，整理报名材料