好久没有水文章写进度报告了！最近做了些什么呢？

虽然没有系统学习过信息安全知识，但是在SJTU CTF 2023中以20641分、与#1之间1028分的差距获得了#2。2021年，我看到了校内CTF比赛的宣传页，但自觉技术力不足而未参加。一晃两年，惊觉此间因为想做而研究的东西在这里化作了40面旗帜。微型程序、x86/64汇编、Ghidra、记忆化算法、服务器端JavaScript、语言学……原来我并非一事无成。我将解题报告（write-up）发布在了水源社区上。“这么拉的比赛有什么公开的必要吗？”大概是这样，出题人不愿在校外发布赛题相关信息。话虽如此，似乎有人已经偷跑并自行在公开的博客上发布了解题报告。无所谓啦。

寒假期间，以Mirai登录炸了为借口，从硬件到软件彻底重构了从2020年暑假一路坎坷前行至今的骰娘木鼠子(きねずみこ)。好像还没有在这里好好介绍过它。从只有“今日人品”功能的骰娘开始，这个QQ机器人实验体的诞生与发展贯彻了我的瞎搞精神：“Kotlin × Ruby的不稳定关系，随地可做热更新，竞态条件齐头并进，唯千行亦可行。”去年，我在GitHub上开源了日趋稳定(懒得改了)的TenshitMirai框架，文档打一开始就是用PowerPoint制作的。时至今日，尚处于硬件寿命中的树莓派0W已惨遭软件淘汰，于是替换为了树莓派4B。趁此机会，将QQ接口从Mirai迁移到了go-cqhttp，语言从Kotlin + Ruby改成了Python。这分别意味着更低的资源占用和更广阔的调包侠发挥空间。

原来的HP DeskJet 1112打印机发出很大的声音来掩盖它进不了纸的故障，于是新整了一台打印、复印、扫描一体机，这次是HP DeskJet 2332。1112要求的介质底边距极大（14.5毫米），原本担心同品牌同系列产品仍会有同样的问题，不过似乎有所缓解。

上回进度报告中提到的TeX直尺依靠立创面板打印服务成为了实体。其实很早就做好了，只是一直没有水报告贴图，查看照片日期发现已经是2021年底的事了。彩色版实际上有一点白边，导致并不好用。如果把所有文字都改为黑色的话，就能做黑边版本，不会显示出印刷瑕疵，更实用但无法应用原本设计中的色彩提示信息。

印刷电路板量角器也在设计中。Computer Modern中有一个无名的变宽打字机字体（cmvtt10），但经过精心调整的Concrete Roman（ccr10）和丝印说不定更是绝配。因为电路板不是透明的，所以似乎最后开槽样式会变得很鬼畜。三角尺……我几乎从来没用过。要画直角的话，用直尺上的刻度线作参照就足够了。

我很庆幸我在ChatGPT公测之初就注册了账号，把玩了好多天，跟踪了各种脑洞，从而了解它的活用法和它的上限。试图用ChatGPT的能力解决自己遇到的问题，不知道为什么失败了，借此判断ChatGPT能力不足以解决该问题，这样的用户我身边就有不少。若不是想测试语义识别力，而是为了解决实际问题的话，这真是太浪费了。事实上，我遇到的案例中，只要调整问法，ChatGPT就能完美地给出解答。提示语工程学（prompt engineering）或将成为重要技能。

从去年10月中开始做了LeetCode题和周赛。这个难度对算法初学者来说可能有些幼稚，但对NOIP老选手来说刚刚好。菜死我了，很多算法与数据结构都是接触很久以后才真正有所理解。而几次挤进全球前100名靠的全都是系统宕机、题目错误和手速……

用了不知道多久的破手机屏幕脱胶了，而且不知道为什么粘不回去。等到屏幕与主机彻底分离后，才发现是电池鼓包把屏幕顶出来了。希望它能苟到新电池的到来。