今天决定使用自部署的Open WebUI配合OpenRouter来替代订阅的ChatGPT。感觉前者按需调用更加灵活，并且提供了更多的模型，价格上可能也有优势。不过，我尝试了一下o3 Pro模型，确实是烧钱，问了一个小问题就花了一块多人民币。
这段时间虽然很忙，但今天下午还是抽空去了沙河校区看观影会（甚至还是在逃掉工作的情况下），看了MyGO!!!!!和Ave Mujica的联合演唱会。忙碌期间，抽空放松一下也是很有必要的。为此，昨天我还去了北投买了两根荧光棒。
演唱会感觉还可以吧，不过总觉得混音之类有点怪怪的，乐器的声音好像有点大了。而且还听别人说，今天和昨天的演唱会基本没有区别，就是换了一首歌之类的。恒鑫他们还搞地下艺之类的（我感觉像是御宅艺）。我虽然慢慢也理解了，但是总感觉有些奇怪。说不定以后也会加入呢🤣。
有的时候真的会被自己蠢到。前几次操作系统上机还挺顺利，今晚上机，Extra没多久就写出来了，但是一直跑不出结果，直到最后也没看出问题，最终一分未得。后来回到寝室，用VSCode看了下，没一会儿就看出来了问题所在。唉，万恶的指针。
今天是我的公历生日。前段时间在维基百科上写完了《BanG Dream! 少女乐团派对！》，竟然能写一万多字。同时也是一点私心，昨晚接近十二点的时候，其通过了优良条目评选。这应该是到目前为止写得最满意的翻译后自行扩充的条目了。不过之后肯定非常忙，估计也没时间写了。
凌晨被手机的地震预警喊醒了，倒计时到1的时候我才意识到将要发生什么。不过烈度比较小，只感觉床被摇晃了下，就没有了。
今天还收到了同学送的Steam游戏，分别是《全网公敌》和《植物大战僵尸》。值得一提的是，前者我还在维基百科上专门看过，让我印象最深的是主编在讨论页所说的，「用中文媒体的资料写中文游戏，也是能得到认可的」。这句话是我寒假时，在维基百科上原创而非翻译《深岩银河》的决心。
几天前也收到了同学送的高松灯徽章，感觉还挺不错的。
不过今天还是得工作，过两天项目就要验收了，工作量还挺大，所以也放松不下来。
今天晚上，学校操场有演唱会，唱的还是周杰伦的歌。因为我平时听一些他的歌曲，所以就去了。虽然我会主动回避掉人太多的场所，但是现场人也不算太多，氛围确实不错，一直听到了最后。同时，我还看到了恒鑫的抽象行为艺术。
今天下午和同学一起去了音乐室弹吉他。去了之后，里面好像还有音乐社团的老师，说社团没什么活动，拍了我和他的照片当作社团活动充数。我来了北京之后一直都没有弹了，琴弦还是完全调松的状态。与其说是一起弹，不如说是他指导我。首先拿《真的爱你》练练手，其实就是分解和弦和扫弦之类的。他还拿他的电吉他给我试了试，感觉琴弦比木吉他更好按。
然后，他还告诉我吉他还有主音吉他和节奏吉他的区别。他拿MyGO!!!!!举例，像是要乐奈就是主音吉他，而千早爱音就是节奏吉他。然后他还以几首独奏的歌曲让我练练手，结果感觉好难，尤其是那大横按，我真成了爱音了。最后他还弹了几首歌，像是《卡农》之类的，虽然本准备弹《春日影》，但他说受制于音响，那种效果暂时演示不出来，所以就只能在电脑上放了。
总的来说，能够暂时逃避学习与工作，而投身于音乐之中，这种感觉还是挺不错的。并且真的挺感谢那位同学悉心指导我。希望之后还能有这样的机会。不过忘记拍照了，囧……
今天是我的农历生日。虽然我更喜欢过公历生日 （然而实际上生日那天基本也没什么特别的），因为方便记忆，但家长们似乎更喜欢过农历的。今天还收到了一点红包。
先前买的一些保护套到了，下午的时候我把它们装上了。那个吧唧套感觉好难装，折腾了将近二十分钟才装好。后来和恒鑫一起去谷子店，其实感觉重点是展现我的痛包。其实本来还想穿灯的外套的，但是天气不允许，昨天北京甚至还下雪了。在学校内，我确实有些不好意思，毕竟随时都可能会碰到认识的人；但是出了学校，我反而放开了，而且在这种场合下背这种包也不会显得很奇怪。并且恒鑫也背着友希那的痛包，所以心理上也有些安慰。
首先是骑车去了学校旁边的「嘻番里」。我已经将近半年没骑车了，上次骑车还是在广州。到了之后，我们直奔三楼摆摊的地方。在一根柱子后面，我没看路，直接一脚踩到了别人摊位上，幸亏没什么事情。后来找到一个摊位基本全都是高松灯的周边。我看到一个徽章还挺心动，但是看到价格后又心如死灰。后来在楼下逛了一会儿，恒鑫买了两个Roselia的盲抽色卡，刚好是纱夜和友希那，都是他所喜欢的角色。感觉确实是小概率事件。我倒是没买，对自己的运气不自信。后来又上楼，在摊位买了个物美价廉的水手服高松灯徽章，感觉还挺好看。买完之后，微信群里又有一堆消息，一看又是工作上的事情，所以还得处理工作。
然后又转战去了「北投购物公园」，又去了熟悉的「电波宝箱」。这自然是要抽卡的，结果出了一张爱音的，感觉也还可以。顺带一提，感觉这家店的包缩水了。本来是比较精致的纸袋，现在变成了普通的塑料袋。后来又去了旁边的「风铃谷」，抽邦邦各乐队的主唱徽章。一盒有十个徽章，对应十位角色，买的时候里面剩下八个了。首先我买了一个，恒鑫买了俩。然后我出了个美竹兰，恒鑫出了友希那和另一位角色，反正不是灯。不过他认识有人会原价收美竹兰的徽章。我感觉这和蒙提霍尔问题有着相似之处，并认为继续购买，出灯的概率会增加。可惜买了之后出了和奏蕾依的，而且似乎没什么人愿意收，囧……感觉之后真的不如直接去买二手的，从价格期望上来说还更划算。
最后去了萨莉亚吃晚饭，途径了夜晚的鸟巢，感觉还挺好看。关于菜品，感觉总体还是挺好的。不过我点了个福卡恰，感觉真的太咸了，尤其是上面放的培根。不过花的是自己的钱，最终还是吃完了。吃完之后，喝了至少500毫升的水，咸得有些逆天。
这段时间把高松灯的痛包扎好了。首先是确实挺喜欢这个角色，其次是扎痛包的成本比想象中低不少，大约就是半个月的工资。花自己挣的钱确实没有心理负担，甚至还有自己的劳动换来了想要的东西的爽感。但我自己没有经验，还是恒鑫和他的一位朋友一起帮我搞的。只是感觉有些偏向于女性化了，背出去感觉有点不好意思。其实还买了高松灯的外套，感觉真的会社死。 不过我也不是很在意别人的看法，只要自己开心就好。
「类比」应该是思考方式，可以不体现在论证过程中。
类比是将某一样事物的特征转移到另一样事物上，这要求两者有着相似性。但类比本身并不是证明。举例来说，若甲和乙两人的审美和思考过程十分相似，甲喜欢《孤独摇滚！》这部动漫，乙不是因甲喜欢就称自己喜欢，而是因为甲喜欢的原因在乙身上亦适用。那么，在乙论证其喜欢这部动漫时，可以直接套用甲的论证过程。称「乙与甲相似」云云，实际上是不必要的。
如果因某人喜欢某事物而自己也喜欢，这是「跟风」，而不是「类比」。如果因其较为知名，那么就有诉诸权威之虞。
今天下午，和恒鑫一起出去看谷子店。首先是北京的MyGO!!!!!联动的快闪店——奇谷米甜谷店。地方有些偏僻，下了地铁之后还要走二十多分钟。不过里面也没什么东西了，和活动刚开始时没有可比性。最近也没有补货，有个灯的大立牌，也不是很符合我的审美。后来有个人买了盲盒，抽出来了灯，问有没有灯推，想卖。我当然是想的，但是太社恐了，还是没敢和她对话。最终什么都没买。一个货架上只有立希的周边，其他角色的都卖完了，为她感到可怜。
后来又坐地铁去了北投购物公园。路上还在用手机打工干活，就离谱。到了之后，去电波宝箱买了三个周边。虽然我并不喜欢盲盒，但是非盲盒的周边比较少，感觉也不是很好看。抽徽章盲盒的时候，抽出了灯的，感觉还挺帅气的。当然其他盲盒抽出来的都是我不认识的角色（把不同乐队角色的放在一起，确实有点坑）。恒鑫说他昨天去了live house，花了不少钱，剩下没多少钱了，所以没买什么周边。他最近挺喜欢Roselia中的冰川纱夜，买的两个盲盒，抽出来的好像也都是纱夜，他挺开心。
逛店的过程中，他还问我除了《孤独摇滚！》和《It’s MyGO!!!!!》，是不是没看过别的了。其实感觉我确实没看过几部动漫，毕竟很难有闲心去看。看视频感觉也挺累。至于为什么买谷子嘛，一是支持那些制作商，二是自己也喜欢，三是有时候买东西会让人开心。并且，我也是一两个月花个一两百块钱，感觉还算是挺理性的。
今天上午，和小倩以及她的几个猎鹰突击队的朋友一起去爬了八达岭长城。其实我感觉并不累，但风大得有点过分，冷得我都有点受不了，到最后说话都不利索了。大概爬了三个多小时，把北长城爬完了。虽然还想爬南长城，但是我们的路线设计不合理，最后还是作罢。
今天下午和恒鑫一起出去玩，主要是去买谷子。这学期真的没出去过几次。一看到二次元的周边，我就控制不住，主要是《孤独摇滚》和《Bang Dream》的周边。虽然买了不少东西，并且购买过程有些「疯狂」，但还是在预算之内。买东西真的会让人开心。
后来还买了人生中的第一张彩票，10块钱一张，买了一张中了30块，还是挺开心的。既然赚了，就及时收手了。晚上吃完火锅之后，便回到了学校。
今天胡思乱想了许多东西，却在和同学完成项目返回寝室时，被突如其来的雪和云治愈了。
今天一天都是在写项目。前天晚上临时给我和一鸣布置了两个项目的任务，今天就截止。前天晚上写了大约四五个小时，昨天太累了，所以就没写。今天我们一起写了一整天，终于把项目写完了。写代码的时间差不多七个半小时。
感觉Copilot还是挺厉害的，能够快速让我了解代码的逻辑。不过有时候也会出现一些奇怪的建议。
今晚和小倩一起跑步，跑了十圈，四公里，为后天9公里的长跑做准备。没想到我居然能坚持下来，可能是因为有人陪吧。
这次跑步配速6分多，我都感觉有点吃力了，不过小倩还是很轻松。她还说她先前跑过5公里，以5分配速，实在是太厉害了。
没想到在北航的TD线打卡处还能看到SuperSU，可以称得上是「时代的眼泪」了。
今天早上的航空航天概论课挺有意思的。老师讲了一些航空航天的历史，还有有趣的故事。并且地点就在航空航天博物馆里，所以还有实物展示。最后还近距离看了一下「东风快递」，并且说其保护期已经过了，可以拍照了。
今天晚上开展了计算机硬件基础的第一次实验。不得不说，管得真的挺严。只能用学校机房的电脑，只能参考自己带的纸质资料，不能在网络上查阅，还指定了座位，同时要检查每个人的校园卡。感觉甚至比期末考试还要严格。
题目确实不算难。第一道题是判断所选课程学分是否达到标准，只需要列举完符合条件的输入情况就可以了。第二道题是红绿灯状态，设计一个Moore状态机即可。第三道题是根据人员的出入情况来记录人数，需要设计一个Mealy状态机。
第三道题一开始设计成了Moore状态机，后来发现不太对，改成了Mealy状态机。改完准备交的时候，助教把题目里的模块名称稍微改了一下，不过似乎没有改评测机的模块名称，导致评测机无法通过。我一直在Debug，差不多半个小时，始终没有找到问题。最后，助教说评测机「出现了异常」，让我重新提交，这次终于通过了。真的是太难受了。
今天下午的物理实验课，我们做了示波器实验。感觉还挺有意思的，示波器上的图形还有莫名的美感。
今天做了一道硬件设计的题目，要求设计一个三人抢答器，裁判按钮控制抢答时间，裁判按下后，三人可抢答，先抢答者输出为1，其他无效。即使抢答者放开按钮，输出仍保持。
最开始，我使用D触发器来输出相应的数据，并将裁判按钮和数据输出的反相连接到一个与门上，输出作为D触发器的enable端。但这个设计无法解决选手提前抢答的问题。
于是，我在原有基础上将选手输入的反相也作为与门的输入之一，并在一个时钟周期后，将此输入变为0，解决了提前抢答的问题。不过，这样又引入了一个新的问题，不满足题目要求的「选手必须在裁判按下按钮后的一个时钟周期后抢答」。
为了处理这个问题，我决定延迟裁判的输入一个时钟周期，最终实现了目标。最终的电路图可真的是屎山。
后来发现只需要将选手的输出作为D触发器的clock就能够解决抢答问题了。我可真是个大聪明。在我写这篇说说的时候，Copilot也这么认为。
今天打开学校的judge平台，发现证书过期了，用的是泛域名证书。
进一步查看后，发现学校的大多数域名证书已经更新，但该平台却没有同步更换。不禁疑惑：为什么这些证书不能统一更新呢？
今天晚上花了四五个小时把Java迭代作业的代码重构了一下，但是并没有增加新功能。之前基本上所有的逻辑都集中在一个类里面，现在拆成了很多个类，感觉逻辑清晰了不少。不过行数也从原先的七百多行增加到了将近一千行。
先前还没有写测试单元，这次本准备写的，但是因为时间原因，并且对于测试单元的写法不是很熟悉，所以最后还是没有写。
这是我的第一条说说。从现在开始，我会在这里记录我的生活、我的心情、我的所思所想。今天把博客的主题从fluid改成了butterfly，感觉还不错，可自定义的地方更多了。
晚上还去操场看了一会儿演唱会。其实本是想跑步的，但是跑步活动迟迟没有开始，外面又太冷了，过了一会儿就回去了。