2024 年 12 月记事板
1 日
11 月 29 日记录中的种种迹象表明,我是有 30 日月底再写点东西的打算的。不过周末一如既往的摆了,晚上上完课也没写,去看 NumPy 文档了,因此就错过了,只能十二月这边写了。
这也让 11 月大小停留在了 98KB,错过了几乎可以稳稳拿下的百 KB 里程碑(虽然说其中脚本代码功劳不小),可以说 11.29 还在发力,这是败了几个了?
11 月剩下的内容我也不打算现在全讲了,有一些堆积挺久了,等到时候年终时一起清了吧:有兴趣就再补,没兴趣就弃了。
还有十三个我大致讲一下方向如何吧:
- 「小倒霉」「愚公移山」「活动」「科研工作」「别急」基本是一类的,就是日常的对自我的思考与困惑;
- 「青子小姐」是月初时打算讲讲隐语的,时间有点长了,连那会 NeoNotes 都没讲完。也许年终会补上吧,不过其实意义不大就是了;
- 「女儿心态」「一步和九十九步」是一类的,私博聊;
- 「新老更替」大概只会是短短的一句感叹,也是私博聊;
- 「青春故事」「恋爱观」可能会在公博讲吧,与青春的颜色有关,虽然我的颜色可能是灰色,但并不妨碍我见证诸位缤纷的青春就是了。当然,可能也会聊聊一个从没谈过恋爱的人幼稚的恋爱观,作为「先验」吧;
- 「历史调研」是我通过一个途径研究了一个相当重要的时间节点。然而相当可惜的是即使是月份的确定都相当困难,更别提具体到日期了。同时除了该途径我目前也没有更多的途径获得与此有关的更多信息了,我记忆也完全不充足。这个只会在私博细谈,就跟上一个时间节点的考证一样,如下面打了码的图所示(希望我自己能在不看原图的情况下认得出来);
- 「卧龙凤雏」讲点宿舍的事,私博讲。
自 12 月大长篇(也是目前的公博纪录)开图片文件夹以来,每个月都未曾有少图片。而这个月第一天就能建图片文件夹,也重新开始了一个历史的轮回。
十二月事情又不少了,这里也应该会比较少光顾了。
闲聊了这么多其实还没讲点实的,本来只打算写半小时的,这下看来还不够,已经写半小时到十一点了。
NumPy
网课已经完全没听了,就是挂在那里,画面有,声音也有,但就是没看没听了。相当于白白占据一个副屏和一对耳朵,然后做自己的事情。
这个自己的事情一般就是摆烂了。不过昨晚后面看了点 NumPy 文档,把 Getting started 部分看完了。大致对其有了一个基本的了解吧,虽然并不比用 AI 学到的多多少。
不过「广播机制」倒是个在基础教程中就出现了的名词,当时补充神经网络笔记时特地问过 GPT,这要是看过文档就没必要问了。
看文档果然很重要啊。还是要先看文档,不要一开始就想着嚼别人嚼过的。
另外昨天看文档有个挺有意思的发现:
看文档时看到这个 np.newaxis
,随手就敲了一下想看一下是啥,发现没输出,再用 type
发现是 NoneType。于是查了一下,一眼看过去还想着为啥 None 不允许。
Windows
上周以前更新界面出现的。第一次见就点了下,事实证明卵用没有,现在还是没安装。预定个寒假重装一下吧。
另外这里说到「预定」,才发现我好像上面还有要预定啥寒假来做来着,可惜已经忘记了。
好像又没啥可写了。哦想到一个了。
Python 脚本
这周末又是一个毫无产出的周末,作业是没做的,笔记是没补的。好在 Anki 都早上背了,跟之前比起来有点进步,给个大拇指小红花鼓励一下吧。
边聊天边写,在写正题前说个别的。之前说过关于 QQ 截图的事情,确实挺好用的,感觉可以胜过 Snipaste 了。
就比如我刚刚要截图一下终端,结果居然不行(终端在的副屏没有变暗),换 QQ 截图就行了。
还有好像是之前 Conda 那次,相当卡顿,我就是用 QQ 截图的,Snipaste 根本调不出来。
更何况 QQ 截图还有 Snipaste 这个一直没出的长截图功能,以及其他我看了看都还不错的各种功能。
咋说呢,Snipaste 唯一能留住我的可能就是贴图功能了吧,这个 QQ 截图现在确实是远远不如 Snipaste。
另外前阵子不堪 Snipaste 一直弹更新提示其扰,去手动更新了一下。结果有占用,我大手一挥,Shift + Delete,却忘了配置文件一般我喜欢改为软件所在目录(不喜欢它放 AppData,因为在 C 盘,而我希望软件都在 D 盘),结果喜提配置没了,还无法恢复。
所以说以后不要那么手欠,老是随手就是 Shift + Delete。WSL 上倒是更危险,rm
更是恐怖,要用了就得去 grep
那一串命令找回了(而且一运行一阵子 WSL 就会崩溃,为 wsl-crashes
添几员大将,因此我干脆禁用了生成崩溃日志)。但 Shift + Delete 确实是能克制住的。
另外就是也要改变一下偏见,绿色未必也是好事,虽然这次是我猪鼻了。
好,终于谈到正题。昨晚看完 NumPy 文档其实还是有点时间写的,现在已经不到五分钟了,起码比现在多。
但是因为某个 Python 脚本出问题了,不对,不能叫出问题,是无法适应新的变化了,于是就打算改改。虽然晚上没改多少,主要是今天下午改好的。
总之虽然那个脚本系统写得有点烂了,但大概算我第一批大批量使用类型标注的脚本吧,而且也算是用上了一点一直没用过的知识。
另外,前阵子提到过的训练神经网络就是这系列脚本中的一部分,当然已经是已废弃的部分了。
就这么多吧,连私博都开不了,我还是太爱你了。
6 日
今晚回宿舍后,犹豫了一下要不要写板,突然想到今天是 6 号,那就一定要写了。
虽然从想,到实际敲键盘,已经过去了差不多两个小时吧,只剩下半个小时左右了。
6 号是啥日子吗?其实啥也不是,只不过对于这块板来说意义还是蛮大的。
一年前,也就是 2023 年的 12 月 6 日,我写了板子上第三篇记事,转眼间已经一年了啊。
只看数字可能还是看不出意义何在,毕竟只是第三篇,而且前面不是还有两块板吗?等等,第三篇,但前面还有两块板?
没错!前两篇每个月就写了一篇,而只有真正到去年 12 月 6 日后,我才保持了比较稳定的一个月多篇记事的习惯。因此比起 10 月 29 开板的日子,还是 12 月 6 日这个可能更为重要一点,更何况真要算的话,开板时间也没那么晚,创建日期是 8 月 25 日,只是我硬生生拖了两个月才正式开始写罢了。
由于已经磨叽了比较长时间了,想聊点长的也不大可能了,就把几个短的先清了吧。
虚空 WSLg
一次记笔记过程中,关了 Zathura,然后再打开,发现界面不显示。
任务栏还是有正常的图标的,但是就是看不到窗口。我也试过去另一个桌面看(虽然没怎么用过,但一直有着第二个桌面,有时候听腾讯会议也会把它丢过去)也没发现。
奇怪的是,激活这个窗口时,可以正常使用映射,例如 Q 能退出等等。
后面关掉 WSL,再打开就可以了。
过拟合
现在感觉我背单词已经严重过拟合了,来来去去就是那一片,总是一样的记不住。常常还会连带着几个简单的单词,就是那种单独在外面出现,我能知道啥意思的,结果在 Anki 里出现就下意识混淆了。
简而言之就是觉得意义不是很大了。
这么说好像是我打算放弃了?其实真不是,主要是 Anki 已经有点算是融入了我的日常了,虽然我百般嫌恶,但一般来说最后还是会老老实实去背的。
与其说现在背是为了学英语,更不如说是在打卡吧,每天重复做一件事情,像是在证明一点什么。
至于初衷,已经不重要了。
下周末就要六级了,然而我 C 级词好像还有三百多没放出来。
不过到了这个地步,好像确实没啥这样背单词的必要了,除了专业词汇可能稍微有点用吧。其他时候我都不咋看英文,都是先看机翻中文的,现在这个机翻水平也不至于说会有很大的理解障碍。
不过,还是得强调一下,指出「过拟合」这一点不应该是充当逃避、偷懒的借口,只能是指出现状。即使是过拟合,也得给我继续拟合下去。
早上好短
在昨天再一次确认,我在宿舍就是不可能好好学习后(周四,作为我本学期一周工作日中时间最多的一天,唯一做了的是在上午的课上写了作业),我决定周末还是不要呆在宿舍了。
然后我算了算,我八点半起,洗漱早餐,再加上 Anki,还有中间可能磨一会,居然可能十点才能开始做点事情,这时候离(常规)饭点就只有两个小时了。所以说,早上原来这么短的吗?
后面想了一下,初高中那时候,都是最少八点就要上课了(何况前面还有早读什么的),那确实挺长的,毕竟有四节课。欸,高中是四节课还是五节课来着?
当然,下午时间也不长就是了,但比起上午的两个小时还是长不少的。反倒是初高中那时候,不到五点就下课了,下午三节课,倒是显得短了。
往前坐一排
接上面的计划。
在教室我也定是不肯好好学习的,暂时给出的策略就是往前坐一排,不要坐最后一排。理由我在很多地方都讲过了,现在手好痛,时间也不长了,就不赘述了。
福利
前面说过食堂的「福利」啥的,到了现在愈发的清晰了。
这段时间,除了上午有课时中午会吃二楼的面外,基本都是在「韩餐」那里吃,大部分是辛拉面,吃了两回炒面,还有今晚一回米线。结果这几次,几乎每次餐位的叔叔阿姨都有给我「加餐」,或是关东煮,或是里脊肉,或是丸子,等等。
什么话其实都不能表明我的感动。每每我能遇上这么好的事情时,心中总会冒出一个想法,那就是感慨我其实配不上这么好的待遇啊。
这也其实就是上个月没有谈过的「小倒霉,大幸运」,而这个「灵感」的初衷,大致会在年终总结唠唠吧。
还有五分钟,就差不多这样吧。
13 日
首先为南京大屠杀遇难同胞默哀一下。这是第十一个国家公祭日,去年今天,也是第十个这个很有意义的数字,我去观礼了。今年就没去了,一是今天有课,不像那会上午好像没课,而且似乎苏州这边没看到这样的活动,去年我也是前几天在群里看到的临时起意。
然后上下看了看那会的记录,由于月初的抽象事,我现在除了知道双十二是西安事变外,还知道了这还是全斗焕政变。
然后今天是在 WT 上写,而非寻常的用 gvim 写,因为 WT 击键 4.85w 了,努努力就能破 5w 了。本来九点左右就回宿舍了,打算写点记事,写点年终总结,然后可能可以补一下「概率论」笔记,这样轻轻松松就能破了 5w。
不过嘛我的效率你是知道的,于是现在到了十一点。那就只好作作弊,用 WT 写一下板,关了 Copilot。
上面还提到了要写「年终总结」,确实有这个计划。因为感觉我这学期不能像上学期那样考前几个小时才开始看了,要是这样铁定要大寄。虽然说也许时间比较充裕,但是呢全天交给这个,可能还是未免有点自大了。一是过于自信自己能在更短的时间内突击复习完海量内容,二是自信自己一天内能写出比较多的内容。
于是也许可以提前半个月就开始写点年终总结,虽然还有半个月是未知的,但已经有 350 天左右已经是既定事实了,完全可以下笔了。见缝插针写点,一点一点榨取灵感,在半个月内想到的,一定是会比一天临时冥思苦想要好得多。
当然,今天是没办法了。
好了,这也是日常唠唠嗑,下面才是正题。
跑步
先说下跑步吧。统计了一下这学期我的跑步情况,这个虽然不完美,但的的确确算得上我这学期能排得上号的「成就」了。
首先是乐跑前:从 9 月 15 日开始,一直到 10 月 13 日,是乐跑前的跑步,一共 16 次,每次 2.4km,印象中每次都是圆满完成了的。下面是现做的日历:
嗯,又发现一个 QQ 截图胜过 Snipaste 的证据了,现做日历时,发现 Snipaste 无法截取日历,QQ 截图可以。印象中去年考据时好像是有这么一回事来着。
刚开始还是比较守规矩的,当然国庆那会直接旷了两天,这上面的记录只记下的第一次补,第二次补应该在后面(想起来了,应该没有第二次补,那会好像是「不可抗力」)。
然后是乐跑时期,从 10 月 15 日开始,一直到 12 月 2 日结束。这大概分成两个阶段,从 11 月 11 日,差不多就是一个月前,剩下的乐跑改为了 1km,更详细的数据在日历后面:
乐跑期间违例就比较多了,你敢想非规定跑的周一,跑得比规定跑的周四还勤?
其实到现在我还有一天没补,而且这一天挣扎了足足有快一个月了。按照计划,明天我要补掉这一天,以不要把这个拖超过一个月:
这个都是 11 月 14 日创建的了,足足挣扎了好一阵子。巅峰时期,在 12.8 好像达到了 2.5 天的欠额,好在 9 号立刻补回来了。
好,下面就是 1km 的乐跑较为详细的数据。因为 2.4km 基本没啥水分,就没必要说了,而 1km 水分比较足。
不过因为应用里看不到具体的情况,我只能根据点进去越来越快显示的路线,推测可能的情况,加上后期我跑完后还又(基本)按原路绕圈走,存在高估的可能。
没提及的就推测是 1km,可能有误判。
11.11,也就是第一天,实际是 800m。
11.16,上面标错了,那天去晨跑了,差不多是 2.5km,虽然中间可能有挺多走的成分,最后回到了操场就停了。
11.26,这个跑了 1.2km,但是前 400m 就跪了肚子疼,后面补了个 800m。诶不过这个还是哪个,好像记得跟时间记录是有冲突的?
就没了。就没了?所以说我感觉水分很大,很不准确。
这个是 9 日记录的,那天还没跑时写的。我再看了看记录,9 号那天 1km 没问题,不过昨天 12.12 和今天 12.13 都是 800m。昨天最后 100m 腿非常沉重,跑得非常缓慢。而今天,500m 跪了,缓了缓跑了剩下 300m。
哦,居然看漏了 12.5,那天也是 1km。不知为何记录没写。
另外还有跑步相关的「规则」需要补充。
后面更新了规则,由于周六的晚课,周六的跑步任务实际上变成了周五完成。同时在后面冬日「福利」,一周改为了三天,更是允许了周五、周六和周日三选一。这实际上造就了一个规则漏洞:在多天选一天跑的假设下,若其中一天下雨了,即出现了「不可抗力」,我不就能直接规定,我就是要在那天跑,只可惜正好碰上了不可抗力,于是原本拖延的一天,就变成了半天。举个例子,周五周六选一天时,因为周六的课,一般是周五跑,要是周五正好下雨,那我就干脆周六也不跑了,这样就只用补 0.5 天。
为了堵死偷懒的路径,我也就添加了一个补丁。挺早以前的事情了,只是一直没来得及讲,我也可以骄傲地说我从未利用过这个漏洞。那就是,多天选一天时,若前一天出现不可抗力因素,则应当是选择范围缩减,即不可主动选择不可抗力。在这个新补丁下,除非多选一中的「多」全部出现不可抗力,否则不会出现因不可抗力而优惠的情况。
这个规则漏洞,也只要想尽办法想偷懒的我会去探索了。
还有没有别的?我不太记得了,有的话后面再说吧。
那我就能基于上面的数据,统计一下这学期的真实跑步里程了:1 次 2.5km,29 次 2.4km,1 次 1.2km,10 次 1km,3 次 800m,总计 44 次,总里程
平均里程 左右,不到 2km。
只看乐跑期间,那乐跑也不算完全达标。不过要是算上乐跑前,那就算超额完成了任务了。
没错,确实很不堪,这中间出了各种各样的拖延、注水,实际效果没那么好,我也多次批评过了。但最终,我能打个 80 分。
确实很不完美,需要各种规则打补丁,而且各种拖延、欠债,而且后面 1km 常常跑不完……
但总的来说还是有点难以置信的,我真的做到了。九月那会有这个想法时,当时觉得简直就是异想天开,就凭我这个羸弱的自控力,还有不如杀了我的长跑(其实我都有点不敢讲这是「长跑」了),真的就是痴心妄想,想屁吃。
尽管不完美,但还勉勉强强算是能达标了。我还是能给自己一点条条框框,然后约束自我的,我并非毫无自控能力。
我想这可能是在身体素质方面外,给予我的最好的吧。
过了零点,居然只讲了个跑步。看了眼数据,最终 WT 键盘击键 56199,算上鼠标 57497,前者破了自己的记录 45213(10.18),后者破了 VS Code 的记录 52740(12.8)。恭喜!
至于 gvim?早已经失宠了,VS Code 都打不过的玩意,还想来争第三?做梦去吧。
20 日
感觉每次没写多少,是因为前摇废话讲太多了。因此就不说今天我八点半回宿舍但又拖到十点半才开始写的事情,直接进入正题吧。
Typst
群里看到一个「好玩的」,有个叫 Typstracer 的网站,练习 Typst 语法输入数学公式。
这几天玩了一阵子,常常下课(上课也不少)时刷几把。不过后面不打算玩了,因为来来去去就这么几道题,都刷过后反复写就很枯燥无味了。
题量少到,甚至我把比较长的十几道贴图贴起来,最后刷了个三百多分(刷了两次,第一次不太熟悉位置,差一点两百分,第二次高分值的题比较多):
不过呢正经的,不作弊的最高分是 62 分,也是今天创造的。
但正像我说的那样,题量太少了,没覆盖到多少知识点,导致我粗略扫过一遍数学公式部分都能做大部分不卡壳。
印象中特地去搜了的,可能就一个 root(n, ...)
,这个因为 惯性用 sqrt
;一个 是 integral.cont
(当然 integral
其实也搜了,因为拼不对,毕竟 \int
用惯了);还有一个矩阵 mat
看了看写法。
上面的题解没咋在意格式,有的地方有空格有的地方无,因为本来是为了刷分准备的,没细弄。
手有点软,晚饭比较仓促,已经吃了不少雪饼了还是挺饿的。
而且这个纯体力劳动,我其实更希望那些需要思考动脑的,这种属于看一眼就知道咋写的了,没啥挑战性。体力劳动还没有 snippets,确实是比较折磨的。
VS Code
1.96 更新后遇到悬停文档无法关闭的问题。具体而言就是,Ctrl + K Ctrl + I 开启悬停文档后,移动鼠标悬停文档不会消失,甚至关掉文件重新打开后还在,得重启才行。而且还会「扩散」到其他文件上,打开别的文件(不过不是全部文件都会,可能是同类型?)也会出现。有时候还会不同文件出现偏移,即一个文件在某个位置,另一个文件在另一个位置。当然后面我发现了,再按一次聚焦上去,就能用 Esc 关闭了。
不过因为比较懒,没去搜 issue,加上后面写机器学习作业时发现 workaround 关闭的方法了,就更没动力了。
今天看了看 VS Code blog,看到已经推出了两个 recovery,更新之余顺手点进去看看修复了什么问题,就发现了 [v1.96] possible regression with showHover
behavior,看样子是已经在 recovery 1 修复了,挺好挺好。
探索
今天去做志愿活动,要去那个「国际学术交流中心」,于是昨晚去踩踩点。一开始说校门口,我理解错了,出校门走了一段路。后面想着想着,不对啊,这路我之前骑车走过,很长一大片两边是没啥建筑的,怎么会去那么远的地方呢?后面回学校看了看地图,才发现居然是南边的校门口。
另外昨天身体也有点不适,用比 2.4km 还慢不少的配速跑了 1km,而且有 400m 是在操场外面跑的,然后跑进操场继续。
在那附近拍了张照,觉得很有「苏」的感觉:
那里好像是有酒店啥的,这两天会有 C9 领导办事入住,我志愿也是做这个相关的。反正看着挺豪华的。
路上还看到像是仓鼠的生物跃过草丛。当然我实际生物学知识匮乏,只能认出是一个长条形的生物。
比较恐怖的是,走了一半路看了看手机,只有二十多电了好像,于是开了个超级省电,结果发现它这个电量噌噌噌往下掉啊,真的是肉眼可见。看着它眨眼间降到了 10 几,然后没几秒就降一格电,吓得我不敢看手机了。要是路上没电了就完蛋了。
好在最后在 9 电附近差不多就没继续猛降了。哎呀,可惜了,昨晚忘记了看电量使用情况,明明有过这个想法的。现在过了 24h 已经看不到了。
然后我就开乐跑,最后回教室拿笔记本充电线充电时,差不多是 7 电。然后充电也充得飞快,很快就二十多了。
今天因为五点半的志愿,我四点五十下课就去食堂匆匆点了个巧克力蛋仔吃,然后赶到地点做志愿。虽然干的事情不多——因为来的宾客很少,大部分时间都只能看手机(失策了,电脑放书包放教学楼了)。一开始还有看看算法笔记,后面没看多少就开摆了——但是现在却挺饿的。
突击志愿也是因为这学期一点没做,而且似乎不像鼓楼那边有洗盘子啥的,只好这学期期末补一点了,不然综评要扣太多分。
补充点内容。外面很冷,但室内又挺温暖,导致我不太喜欢穿太厚。
因为穿太厚,一是穿麻烦,比较耽误时间;二是行动不便,包裹成一团很难活动肢体;三就是室内很热,必须要脱掉,然后就是下课时穿麻烦,回归第一点。
因此我基本都是采用在深圳过冬的策略,就是穿普通的长裤,一件普通长袖衣服加上一个普通外套(不是那种厚厚的)。
冷吗?当然非常冷,不过我室外待得比较多,这点代价倒是还算能接受。然后我做志愿这两天(这是 21 日补充的),穿了秋裤,套了厚外套,下半身还好,上半身就确实挺热的。
不过苏州这边跟深圳那边终究还是不太一样,前天探索时,手没揣兜里,没一阵子就非常僵硬了。同时摸耳朵,也几乎没啥感知了。
所以说有想过手机电池的事情会不会是天气原因,虽然说其实还是正的就是了。
另外上次忘讲了,今年的苏州比去年同时候的南京应该暖上一点。去年这时候的南京似乎已经下雪了,那会我就已经无法再使用深圳式过冬的方案了。
Anki
忏悔,真的是对不住。我的承诺真的是一个标点符号都不值得信赖啊。
就在上面的「开摆宣言」不久后,六级前,一直到现在,起码 10 天吧,天天 Anki Alt + Z 过掉了。一开始还有早上开着,开一天,等到晚上睡前临时写脚本刷掉,到后面真就是开都不开了,晚上想到再打开写脚本刷掉。而今天则是从昨天没 Shift + Delete 掉的回收站里面找回了,甚至不用自己写。当然卸磨杀驴,刷完了就 Shift + Delete 了,要是明天还要用(十成)就得自己再写了。
即使是昨天的,也不是完全自己写的。因为写多了,给 COC 记住了(实际上应该是因为剪切过的缘故),结果我一个 while
没写完,就直接可以 Ctrl + Z 选择全部了。
不过因为太丢脸了,实际上我可能是不打算讲的,冷处理,只是呢 19 日,也就是昨天(或者应该说前天比较合适)发生了一个比较天命的事情。
就是因为后面我都不是早上开到晚上了,就可能忘记了。事实上 18 号那天我就忘记了,当天没刷我就上床睡觉了。
结果啊结果,半夜中梦到 Anki 没背,朦朦胧胧醒了,看了看时间,3:45 左右。有稍微了解一下 Anki 的就知道,4:00 是 Anki 默认新一天的开始,就知道这有多极限了。
不过实际上,刚意识到这一点时我并没有打算下去刷掉,而是想这就是报应啊,这就是对我划水的惩罚,我就应该好好受着,别想着去改变它了。
但是后面转念一想,它早不「提醒」我,晚不提醒我,偏偏在这么一个极限的时候提醒我,这是天意啊!这就是上天不愿意看我绿瓷砖中断,而特地派仙女下凡来叫醒我啊!我怎么能辜负了上天的好意呢?
想到这一点,我就一骨碌起身开了电脑,写了脚本刷掉,最终时间是 3:53。
Copilot
紧接着上面,Vim 写脚本时,Copilot 照常提示。结果突然下面冒出了几行的 message,具体内容我找不到了,大概就是说 Copilot 我已经达到了使用额度限制,下一次更新要明年一月什么的。
我一看到就愣住了,不是吧,把 Copilot 从我身边带走,比要了我的命还难受啊。写完后就怀揣着不安的心情入睡了。
不过实际上也有想过不大对劲,我虽然只是学生包领的 Copilot,但好歹也是个正经的 Pro,这样就限额了?
第二天去看了看 GitHub 的 Changelog,果然看到了新闻,GitHub Copilot 推出了 Free 计划:
- Announcing GitHub Copilot Free
- Copilot Chat on GitHub is now generally available for all users
- Announcing a free GitHub Copilot for VS Code
说实话,2000 次完成可能不够我用几天的。当然这其实与我无关,估计凌晨那会是还没验证时产生的消息,我现在其实还能用。
我已经离不开 Copilot,已经变成它滴形状哩。
SSH
前几天用 SSH 连接远程一台机子,以失败告终,报错消息如下(WSL):
1 | $ ssh *** |
或者 Windows Bash:
1 | $ ssh *** |
这个消息也是我刚刚再连接时冒出来的,即我现在也连不上。
本来以为是我这边的问题,研究了周二一个早上未果。期间还发现了什么诸如 Clash TUN 模式可能会影响 SSH 啥的(虽然不太一样,我这边是直接放行 DIRECT 了,跟描述的不一致),更是笃定了。
于是研究一上午失败,就打算放弃了。结果第二天早上随手敲了一下,就连接上了。唯一的区别可能是 Clash 开了个「允许局域网」,不过那会改 Clash 设置我记得也有重启过。
所以现在不太明白为啥,宿舍我不记得有没有成功过了,不过教室肯定有,但教室也有失败过。所以挺玄学的。
挺晚好像都不行,这几天十点十一点晚上宿舍试都失败了,但是都能 ping 通。可惜我对网络了解不多,很难知道些什么。
还记得五个月前,七月那会上 Linux 暑校,后面讲 SSH 端口转发,其实当时看了半天没看明白。
但是呢这几天 SSH 连接成功后,下载东西自然而然地想要使用本机代理,然后突然就悟了,不用看之前看的资料,就能看明白端口转发 -L
-R
啥意思了,感觉非常清晰明了,甚至搞不明白五个月前为啥我会没搞懂。果然还是「纸上得来终觉浅,绝知此事要躬行」啊。另外说句题外话,「躬」好像是「亲自」的意思,高中文言文 Anki 好像有这么一张卡。
说到 SSH,我用 SSH 其实并不多。印象中只用过两个用途:一个就是 GitHub 了(当然现在学校的 Git 也加了),SSH 比 HTTP 快上一点;另一个是 B 站上看到操作系统蒋老师的 AI 聊天室,可以用 SSH 登录去问问题,试了一次,好像是上个学期的事。
然后讲到 SSH,就得说一个又是硬控我一个晚上的问题。当然这回不是 SSH 的问题,这回真就是代理的问题,更准确地说是梯子的问题。不知道能不能讲完,还有二十分钟。不过不管能不能讲完,今天最初打算开年终总结的计划肯定是「又」泡汤了。
我在自己这边弄了个前后端,然后想在 SSH 机子那边弄。弄完了各种前置工作,网络、环境什么的,相同的代码放上面,结果前端页面打得开,但是 POST 不行,直接就是 502 Bad Gateway。
我就各种百思不得其解啊。一开始以为是后端的问题,但是结果本机的前端还能用 SSH 那边的后端,这也就说明了后端并没有问题。
各种查资料也查不到,关键词什么 Vue, Vite, SSH, 502 什么的,一点都查不到。
最后折磨了我好久,最终决定命令行手动 POST 试试。之前一直以为是 Vite 的问题,它没有代理成功。既然后端没问题,那我手动 POST 试试。
下面是 Bash 使用 curl POST 的结果(开了 -v
选项,不然没结果),出现了 502 错误。看到这个时我一下子就精神了,说明问题就出在这啊!
然后现在我习惯都会用 PowerShell 再试试,果真结果不一样了:
虽然说我之前看到过 PowerShell 的 curl 似乎不太一样,但问题显然不是出在这里(事后还去查了一下,这已经是老黄历了,现在 curl 就是 curl.exe
了,不再是 alias 了)。
然后观察两个输出,就会发现 Bash 的有个代理的过程。于是我关掉了代理,再看看输出:
好家伙,果然是你。
知道了是代理的问题就好办了,我重新打开代理,然后 POST,去看日志,发现了这么一条:
我一脸问号,然后去梯子的配置文件里搜索,发现了这么一条规则:
IP-CIDR,127.0.0.1/32,REJECT,no-resolve |
大概就是说,对于 127.0.0.1
这一个环回地址,直接 REJECT 掉数据包。难怪会 502 啊,合着你全拒绝掉了。
然后我想,不会梯子都是这样吧,于是去看了看其他几个的配置(虽然样本也不多),发现都是对 127.0.0.0/8
,即所有本地环回地址 DIRECT,就你特殊是吧?当然实际上我发现了这个配置也有这一条,但优先级不如那个高,因此还是 REJECT 了。
最后短期的解决方案就是加个配置文件预处理,改 DIRECT。当然长远的打算就是等流量用完了直接拉黑,永不续用。
弄完后,果然就能正常使用了。
所以说,反而一开始本机能用才是比较不可思议的,原来本机这块是没用代理的吗?
更新
之前说过一直无法更新,最终变成了缺少重要更新,连临时禁用都做不到了:
后面我心一横,再入了预览体验计划:
另外我每一次都是只想进 Beta,但最终都会到 Dev……
这下果然就能更新了:
然后 Edge 也自然而然变 Beta,然后出 bug 了(这个 bug 好像已经修了,好早之前截的图了):
然而好景不长,又无法更新了……
寒假要找个时间再重装一次了……
补充一下,更新后发现,Ctrl + F11 可以全屏资源管理器了。然而这是我 GoldenDict 的前缀键……
21 日
志愿
昨天忘记发一张图了:
看到一个机器人路过,可爱。
今早也去做志愿了(是同一个),然而根本没有需要我的地方,已经有专人[1]操办了各种事情。于是我只能在一旁看着手机,影响校风了属于是,在各高校领导面前丢脸。
然后早早地就说不用我们了,可以回去了。但是叫我们中午过去吃个饭。于是:
欸嘿,这下我也是吃上领导吃的盒饭了。
这时候就不得不找出十月份那会的图了:
然后再搬出传世名言:
我也想吃,我也想喝。可是想吃别人的食物真是没家教诶。
不过最终我也是吃上了,想必那位也是如此吧,一定能吃上美国热狗和热拿铁。
看了一下居然是 20 日,四舍五入就是 21 日了,还挺巧的。
确实挺不错的,我食欲不振已经挺长时间了,常常吃不完正餐。但是这顿倒是大快朵颐,虽然吃了得四十分钟吧可能。
Bilibili
昨天 B 站出了年终总结,也在这里选点能发的发出来吧,不能发的放私博。
一开始还有想过要不要放年终总结开头作为引言,不过后面想了想还是算了,主要是关联性并不大,而且一大片长图,在正经的长文里观感不佳(意思就是,这个不算正经的长文,因此可以放):
首先是 B 站有号已经 4 年了,挺短的,高一后才建的。其实更早就听说过 B 站了,只是呢当时对 B 站的印象是一个二次元平台。
二次元?不感兴趣。于是就没有建号。不过后面有去看视频,但是基于这样的原因,以及没登录也能看,也是没注册。记忆中初三那会放过一个演讲,后面我就在 B 站上搜了看,不过结合建号的时间,那会应该是没登录的看的。
全勤,818h,这辈子有了。一开始看到这个超 817h 心如死灰,不过后面会揭晓原因。虽然确实挺摆,但没这么离谱。可能 600~700h 算是比较正确的数字(虽然也有点离谱了)。
我也不知道为什么会有「音乐」和「生活」……
嘛倒也不是完全不能理解就是了。但「生活」,我好像确实没怎么看……
还有「知识」居然这么高吗,电子榨菜也算「知识」吗?
有点离谱,「自然」「心理」是怎么一回事?
「读书」「历史」什么的应该是一段时间看过《史记》的讲解。
「心理」可能是跟「专注力」以及「白噪音」一块的,下面再细说。
「F1」跟「赛车」昨天想了想比较离谱,印象中我也就十月底、十一月那会搜过一点大学生方程式大赛的内容,而且起因其实是被码掉的那个,完全谈不上进年度吧。不过后面想了想,可能 JMR 也给我算进去了,那还比较合理,毕竟 M1 我是一场不落看下来了。
然后就是上面的「摇滚红与黑」,这个其实应该主要是年初写「音乐人文」报告时看的。不过确实好听,这学期刚开始的时候我也后台听了一次。
合理的。
这个就是近段时间,睡觉的时候放白噪音助眠。因为那段时间常常半夜给吵醒,降噪都挡不住。可能有一点效果?不过不太确定是不是这个的功效。其他感觉都一般,每晚还是斯堪的纳维亚的暴风雪伴我入眠。
这个挺一般的,看来是只统计了关注的 up。然而不关注的 up 我可能投了更多币。3B1B 是历史原因。另一个则是新人 up,加上动态没啥妙界骚扰,所以才关注了。
这样算下来,即使算上比较 bug 的白噪音视频,平均每个视频都低达 4.63 分钟。嗯,果然是看不下来长视频吗?不过手机上经常会点进去看几秒就退出来,或者就是误点就是了。
之前的年度报告,要么是没关注,要么就是没保存,实在是可惜,尤其是还不能看以前的。不过从现在开始留档倒也不迟就是了。
杂项
把一些比较琐碎的拉一块吧。
走错教室
9 日,走错教室了。我上课大部分教室都在 311,另外还有两个在 426。基本都是能凭肌肉记忆走对的。
不过 9 日那天周一,却走到了 311。然后才反应过来回到了正确教室。
不过要是就这么点倒也没啥记的必要,关键在于我充电器没带……甚至带了耳机,就是没带充电器。
然后有意思的是,上课前有个人坐在了我右边,一会后背包就跑出去了,明显也是走错了。按我当时的记录,「这就是湮灭吧」。
没带电源,电量也耗得飞快,虽然我不知道为何,比 CPL 开 IDE 还耗电。虽然说跑了一次 xmake 构建,但也不至于吧。最终是 13% 电,太险了。
6w 门槛
9 日那天的记录,因为 8 日那天键盘按键计数 58421,距离 6w 隔着一步之遥。同时在此之前,还有多次这样的情形,因此让我有点感叹。不过最有意思的其实并不是这个。
当时看记录的时候,在创建了这条记录时,还加了一句「最有希望的 11.28 那天,也因为设定之力败了」,然后比较幽默的是,后面我发现看错了,最有希望的应该是 11.15 那天的 59921(这是真可惜)。然后现在在写的时候,又发现一个更幽默的,我甚至写的时候写错日期了,是 11.29 才对,58777 次。
发现连最有希望都「败」了后,差点笑出了声。下面就是记录原文了(删了一句话,因为那句关联几张图片,但是纯粹是因为我眼瞎,就不弄了):
最有希望的 11.28 那天,也因为设定之力败了。
哦,看错了,最有希望的是 11.15 那天,这是次有希望的。笑死了,连这都要败吗?
当然现在就没啥遗憾的了,在写下这个记录四天后的 13 日,就以 60837 次正式打破了这个门槛,进入了 6w 时代。
等写完别的后再来统计一下按键吧。不过只能看看上一个数据库的统计信息,因为今年还没结束,等我寒假,赶完项目再来写吧。
福利之忧
之前提到过食堂的「福利」,只不过我对此还是有点忧虑的:
时常这样去吃,显得我好像贪小便宜一样。但要是长久不去吃,又似乎有点对不起。
还是没能很好讲出来,不过就这样吧,主要就是留一个记录,而且其实更多的知识杞人忧天。
午安
早安是起床后说的,晚安是睡前说的,那午安呢?是午睡前还是午睡后说比较合适呢?
这个是某次看到有人说「午安」时想到的问题。
回答嘛,我不太确定,因为我好像还真没说过「午安」,最多应该是「晚安」,然后再是「早安」。
「晚安」多大概是因为,是睡前说的,更像是一句「告别」语,可以用来中断对话。而「早安」则更像是「打招呼」一样,对我这种打招呼困难的人来说,就讲得比较少了。
撕裂
拉电脑包拉链时,拉链给拉断了,差不多是平平整整的豁口。不过还是能用,剩下部分还能将就着拉。
冬至
突然想到今天是冬至。我不记得冬至是吃啥了,可能是汤圆?饺子我似乎没有明确的节日去吃。不过元宵就一定是汤圆了,毕竟「元宵」就是汤圆嘛。
当然现在我其实不是很在意什么节日不节日,一时什么的都不怎么感兴趣。虽然我认同什么要传承中华优秀传统文化之类的,同时常常会被震撼到,但我自己是没什么仪式感的,一定要怎么样怎么样。所以说今天也没吃汤圆或者饺子。
不过一般都是说南方汤圆北方饺子吧,然后我想起来昨天做志愿的时候听到有老师在一起包饺子,然后书院好像也有类似的活动,嗯?
本来说是要统计按键、开年终总结的,结果吃完饭后就一直摆到现在(23:40)了,那这边就到这里吧,私博也得临幸一下了,毕竟也差不多月底了,而且今天还是一年难得的回文日,而且还是没啥争议的。
十多分钟后,在 commit 后再补一句,才发现原来私博十二月还没开,这有点悲伤了。十一月也是 29 日匆匆写了两句,稍微写多一点,得追溯到 11.22,差不多一个月前了。
24 日
今天来写点东西,一方面是因为 12.24 这个日子特别好[2]——月、日,以及月日一起看,都是第二个是第一个的两倍。当然这不是重点,更重要的其实是再过十几分钟就是「为死人庆祝」的日子了[3]。不过要写的东西大概是与之没啥关系的。
跑步
今天 24 日,跑了个 2.4km 为这学期的跑步做个收尾。
也就是说这周四就不跑了。当然,前面的欠债也一笔勾销了,12.15 和 12.22 又各欠了一天。虽然说即使按里程算还是欠 600m,但就这样吧。
久久没跑了,结果也没能一下子坚持下来。跑了 1.7km 就萎了,躺在地上疯狂喘气。按速度来看,跑完估计还是会比最快的纪录慢上一会。后面躺着休息了一会再挣扎着把剩下 700m 跑了,然后继续躺在地上喘气。
真是奇怪,明明最开始的时候都能坚持下来,反倒是现在坚持不下来了。
可能是 1km 有无氧,腿有乳酸,导致特别累?我也不明白。总之这个收尾比较丑陋,有点遗憾。
之前跑 2.4km 的时候,还是能比较淡定地数着还剩多少圈的,但是今天确实异常难熬。每次吸气都恨不得把肺灌满,这也是之前跑不会的。
Anki
上天说,我给你便宜,你自己悄悄享受了,明白这是不应该的就好了,怎么能大肆宣扬呢?于是降下了惩罚,21 日和 23 日都缺了。
我觉得要好好思考一下 Anki 的后续走向了。
近期安排
这应该才是今天写这个的初衷。把期末周这段时间的事情简单安排一下,同时也避免后面遗漏了。
好了,已经到点了,不过倒不急就是了,不像一个月前立刻就像脱缰的野马了。
首先是期末考试日程:
- 1.3 上午计组
- 1.4 上午 C++
- 1.5 上午概率论
- 1.6 上午习概
- 1.6 下午毛概
- 1.8 上午机器学习
- 1.12 上午数据结构与算法
本来我想说一下哪些是比较不放心的,结果扫了一眼,似乎没有一个能让人放心的。
计组给了一个大纲,内容非常丰富,加上我与计基不同的部分基本没听,可以说是要从头开始学起了。
C++ 也是要复习的,不过这个应该不用占用很长时间,过一遍 PPT 就差不多了。应该是除了习概最放心的了(指的是复习工作量)。
概率论也是咄咄逼人,中后程没制卡,公式基本不会背,何况极限定理之后,什么鞅、随机过程啊更是一脸懵,作业做得非常痛苦。一开始我没退课是确实觉得作业虽然量大,难度有点大,但是确实是能够解决的。但中后半程属于是我找都找不到答案啊,几道题是写了完全不知道在写些什么,或者是写得非常离谱(比如说少用一个条件得到比要求更紧的界之类的)等等。这个绝对得重点关注,感觉这个的情况倒有点像上学期的离散数学。
习概开卷,虽然说题目会有 PPT 上没有的,但是呢搞笑,有我也未必找得到。何况没有,但能带资料,写东西上去还是能做到的。
毛概就没那么好了,好像划了点重点,我没听而是录音了,后面还得听听录音。感觉上似乎范围比之前的马原和思修大上不少。不过这个虽然一定是得看的(不然真的一句话都写不出来),但也指定是不会付出太多时间的。上学期思修似乎也是前几个小时看的?印象不太深了。
从时间来看,机器学习似乎能喘口气,不过下面就会推翻这个结论。但即使有复习时间,其实在明天上课老师提到考试之前,我也不太能确定能做些什么。因为吧,即使是出作业题,我也是除了一些比较简单的数学推导题能做,其他一概不能独立完成的。之前简单搜了一下但没搜到之前考试的情况,再看吧。这个我确实搞不明白,现写算法?感觉难度不小;现场数学推导?感觉难度更大;现场写代码?那完了,可以直接空着了。先不说其他的,给我文档和充分的时间,我说不定还真能自己独立写出来,但纸上我感觉可以直接放弃了。
数据结构与算法看着时间还挺充裕的,实际不然。不过这个我有点不知道考试形式,是机试还是笔试?于我个人而言,综合之前的情况,我是希望笔试的,我笔试水平应该还是比机试强的,毕竟期中机试成绩稀烂。看教室有点像笔试,不过不太确定。机试还是笔试实际上也决定了我的复习策略。机试应该复习的会少一点,写代码练习会多一点,而笔试应该会看笔记多一点。
实际上除了期末考试,我还有各种 DDL,这也决定了上面空出的时间,我不可能完全投入复习当中(何况越接近考试,我还越摆)。因此下面再列一部分未完成的 DDL:
《人工智能导论》没有期末考试,这个是真的感激老师,不然又得多一门女娲补天,从头学起的课程了。但相应的,需要一个期末论文,DDL 是 1.9,看吧,穿插在考试中间。
之前提到过的国际化网课,结课作业 DDL 也是 1.9。这个课完全没听,不过作业难度也不高,虽然也有我不会的,但感觉这些内容搜一下很快就能解决,何况还有一部分是机器学习课上学过的。但结课作业还是要做的,这个详细还得这周听一下怎么说。当初真不知道为啥选了这个。
一个通识(我也不知道是不是通识,总之就是非专业课,也是没听的课,属于网课)课也有个期末论文,不过这个倒时间比较宽裕,DDL 是 1.17。但实际上我肯定不能期末考完再开始写的,原因下面也会提及。
另外还有一个肯定会有论文,只是暂时还没公布 DDL 的悦读课。这个算是要稍微认真一下的,至少要像人写的,而不能像习概毛概的糊弄过去。当然,这个也适用于《人工智能导论》,不过可能不太适用于上面那个通识。不对,似乎还是有点适用的。
C++ 项目是 1.19。这也是上面说的不能期末考完再开始写论文的原因,因为我无法肯定它的消耗时间,而且是一定要尽力去完成的,所以我要尽可能为它腾出时间。虽然说有延长时间的可能,但我还是要以这个为最终 DDL,一年前 CPL 的项目就挺极限的,那次难度还比这次低,而且专注度也不差,用时也不少,还是 DDL 前一天才满分了。
当然如果现在一点没做,等期末考完再开始做那就可以直接寄了,毕竟我现在写了的时间加起来应该都超过一周了。真的是越弄越对 C++ 有怨念,边写边发誓绝对不要再写了。就比如那包管理,装了三个包,两个能出错,第一个用了一个非常幽默的方式解决了(说出来我都觉得很好笑,是去 MinGW64 目录抓两个文件,掐准时机丢过去);第二个折腾了大半天没能解决,最后放弃了统一管理。结果就是造就了两个包用包管理,剩下一个单独自己放 include
里面,然后 .gitignore
里面排除出版本管理,settings.json
排除代码分析,Doxyfile
排除文档生成等等等,非常滑稽。
啊,真的是不求能有个 Cargo, uv,能有个 pip, npm 我都感激涕零了。写到这我真的有点想流泪,搞着项目 90% 时间(好像说太保守了,99% 差不多吧)不是在写代码,而是在折腾各种事情。当然平心而论还是学到了不少东西的,比如说使用 XMake 构建,Doxygen 生成文档,clang-format 格式化,clang-tidy 代码检查等等。要是到时候项目能顺利完成的话,确实是能比 RAMFShell 写得更多。
现在的状况大概是逻辑照搬了一大半?当然,为了符合项目的要求我最后还得添加额外的东西。不过现在的目标应该是完成剩下一小部分,然后开始着手弄 GUI 了。等弄完 GUI 再考虑添加新特性的事情。
好,那说论文,凭借我上上周四一个下午搞定了毛概习概两篇论文的壮举,要是比较专注的话,这周四可能是可以完成《人工智能导论》和通识的论文的。但是很遗憾这个办不到,因为这周五数据结构与算法还要机试,而且目前似乎还没给点题型,加上我半吊子的水平,周四是不得不拿来复习的。这样看来有点别扭,最后一个考的得最早复习。
还有一个很重要的就是,周五 12.27 正式结课后,理论上有着 12.28, 12.29, 12.30, 12.31, 1.1, 1.2 足足六天的复习时间。但实际上也并没有那么简单,要知道我还有年终总结没写啊,欲哭无泪。此外女娲补天的课程耗时可能也不短。
好吧,今天就写这么多吧,私博那边加一笔,雨露均沾。
31 日
距离 2025 年还有两个小时出头,今天提早回宿舍了。一是今天复习任务大体完成了,二是要补一下今年一直没记录的东西(主要是后面给打入冷宫的私博)。现在这里加一笔,然后去写私博,有时间再回来这里随便唠点。
另外年终说的破不了界,看来是要打脸了,因为就在此时此刻,博客(带私博)总字数已经达到了 898k,距离九十万字只差一步之遥,今年随便写点就破了。这都得归功于计组的总复习,写了足足 20k 字数,以 85k 大小跃升为所有笔记大小的第一位。同时写的过程中我给原始笔记也补充了不少内容,让第六章的「存储器层次结构」击败了盘踞多年的微积分「无穷级数」笔记。
好!就六七分钟了,私博那边大致完事了(其实没能清完),现在是 901k 总字数,这里来随便讲点,讲到 2025 吧。
年终写了两天半,本来计划一天的,硬是拖拖拉拉写了挺长时间。不过目前复习进度还可以,两天把计组总复习整理了,就差重看一遍和制卡突击背诵了。大概明天花个半天制卡,就复习概率论去了。
按我目前的规划来说,时间其实还是比较充裕的,看来合理的考试安排和早放假是不可兼得的。
年终还有一点需要补充的,例如上面的字数呀,还有关于读研部分,漏讲了考研还是保研的,不过时间不多了,也得明天补。
不到一分钟了。
另外其实寒假还能学一下 C#,因为今天我做笔记的时候,发现了一个需求。其实需求是相当难得的,所以我就赶紧记录下来了。
到点了,2025 新年快乐!
所以等寒假倒是可以做一个 PowerToys Run 插件。
嗯,似乎也没啥可说的了,那今天就这样?,会是怎样的呢?