2024 年 5 月记事板
10 日
好啊,已经摆到这种地步了——过了三分之一才来建板。
主要原因是因为写记事还是挺耗时间的,平时基本懒得写,也就只有周末有时间了。但是周末我有 EL 的威胁,虽然也在不停地摆,但是也不愿去写点记事,因此就这样磨蹭到了今天。
今天是因为是 EL 中期文档 DDL,早上背完 Anki 小摆一会,午睡起来后再到三点才开始写,最后写到快六点,完成了个人纪录与中期文档。然后本计划晚上继续开发 EL,但是又想摆了,于是计划晚上写点记录吧,毕竟过了这么久还没建板,也是空前(不过不知道会不会绝后)的,何况我也已经记录了点灵感。
然而又是摆,刷 B 站摆到了八点多才开始写。我怎么就管不住我这飘摇不定的心啊(痛心语气)。
时间
之前太闲了,稍微给自己找点事做后,结果又感觉没时间了。就例如说每学期的志愿时长,现在还没去做一次呢。
不过之前有个自习室活动,报名了一次,根本没人来问我(总共来的人也不多),可以说真是「自习」了,还有志愿时长,还能专注学习(因为不在宿舍,会稍微收敛一点),真是非常不错呀。只可惜这周也有,但是已经跟组员约好要去拍戏了,可惜,可惜,嘴边的志愿时长就飞了。
不过我去看了下,并没看到被录入,也不知是否正常。话说对于要搞啥东西我现在其实还是一头雾水,随波逐流。
而且有了 EL 这个借口,Anki 也很长一段时间没制卡了。内容很陈旧了,而离散与计基都进入了晦涩难懂的新阶段,也是蛮棘手的。
不过已经毕业近两周了,但是卡数还是没看到下降的趋势,依旧维持在五百多,甚至明天会接近六百。在有明显的下降趋势,同时下降了一定幅度(例如稳定跌破 500 后),可能才会考虑引入欧路的新词。
说到 Anki,背 Anki 时无论左手还是右手按键盘都很酸痛了,现在是右手的苦左手要一起吃。
Anki
正好记录的第一个灵感是 Anki,然后也恰巧说到 Anki。
当时记录的是「Anki 配置」,结果过几天后我就懵了,啥意思。然后昨天晚上去优化参数时才想到,前一段时间我去优化一下好久没优化的参数时,发现牌组预设配置不太对,难怪我背得那么吃力,原来是因为配置弄错了,设定的要求那么高,不吃力才怪。
之前好像也出现过这样的状况?但好像当时没多严重,也许是立刻就发现并解决了。这个我也不知道持续多久了。说起来感觉 Anki 这个牌组预设配置蛮反人类的,有时候我只是想看完这个配置去看看别的配置,结果就相当于换掉了这个牌组的配置。也不知是不是我不会用。
写上面的时候才惊觉昨天我洗澡时还想到了 Anki 翻译的事情,只是出来后就忘记了。赶忙过去看,果然还是近一个月没更新新字段了,因此我也就渐渐忘了这茬了。
还有个事便是上面这图,是上次写完有关 Anki 的问题后,后面才想起来截的图。本来是要附在上个月那里的,但想到也过了挺久了,而且也不是同一个月了,不太合适,就在这里说吧。
简言之就是复习次数最多的几张卡片,可见基本都是 C 级词。随便拉一个出来,都能看出一片连错。其中有很多我现在还是会错,看那间隔就知道了,没一个十天以上的。
WSL 字体
之前说过 Zathura 目录的字体问题,现在也解决了。网上随便找了篇有关 WSLg 字体的文章,看它装了啥我也就跟着装了,果然解决了。不过字形我不太喜欢,我估计这个是能配置的,但我懒得管了。
众所周知,我的 命令中微分算子 \d
用的不是简单的 \mathrm{d}
,而是 \mathop{}\!\mathrm{d}
,这个定义可以在知乎、StackOverflow 等处见到,抑或是一篇博文:在 LaTeX 中使用微分算子的正确姿势。
首先毋庸置疑要用正体[1],那么自然而然的就会想到用 \mathrm{d}
。但是这样有个问题,请看 VCR:
上面的是用 \mathrm{d}
的,下面的是目前的版本。可以发现上面的这个,被积函数与微分算子之间太紧凑了,让人很不舒服,而下面这个则有让人舒适无比的间隙,沁人心脾。
这还不简单吗,用 \,\mathrm{d}
不就行了,这下不就一样了吗?
看起来确实是不错了,不过还有一个问题,那就是用在分数时,就有问题了,下面分别是用 \,\mathrm{d}
和用 \d
的:
可以看出第一个中,上面的微分算子未能居中,而且也使得分数线比较长。因此就有人给出了最终的(能在 实现的)解决方案,也就是上面的 \mathop{}\!\mathrm{d}
。
然后前段时间复习微积分时发现个奇怪的问题,例如 |\d \bm{r}|
,显示为 ,可以看出多了个可恶的间隙,但是我却发现还有些地方却没有这样的问题。看了看源码才知道,没出问题的用的是 \left\lvert \d \bm{r} \right\rvert
,显示为 。 机制我也不太懂,不过为了美观起见,以后得用后者才行(不过这个场景挺少见的说),倒也不用怕麻烦,因为我有专门的 snippet。
中科大
真是静不下心写,刚刚又去四处逛了一下,结果知乎热榜上看到中科大进实体清单了,清北华五第一个被列入清单的,这下是美帝皇军认证,含金量妥妥的了。
说起来我差点去中科大了,一开始本来打算把中科大作为第一志愿的。刚刚看了下分数线,比我低一分,所以说当初要是还是志愿去中科大,那我现在就是在合肥了。当时打算去中科大后,便在心里为它辩护了,在安徽也无所谓,同时也在打探其消息,俨然已经成为了科大学子。
当时似乎想的是物理估计进不去(我也不知道物理分数线多少,不过我有一个比我高一分的同学倒是去了中科大物理),何况我对物理兴致没有那么浓厚,我对计算机性质更浓厚一点,因此当初计划的大概是科大计算机。似乎也考虑过数学?印象不深了,只不过可能是里也还是不够。但记得当时查到的资料,科大计算机没那么好吧,也是有点小失落的,毕竟学校的强势专业不在这。
至于后面为什么又不去了呢?因为当时敲定后,跟 qxr 聊天,得知他好像跟南大招生那边达成了「协议」,就是如果放第一志愿,能进的话,保证进前五个专业(志愿总共六个)。然后 qxr 给了我联系方式,我也去争取了一下。下图是在此之前的聊天记录,之后以及与招生老师的聊天记录可能不在笔记本这里,抑或是给清理了。
我记得招生老师给我大吹特吹了苏州校区,以及我现在在的技术科学试验班,然而我不太感兴趣。印象中还向老师含蓄地表达过对这个专业不太感冒的态度。果真是没做好功课,能有现在挺满意的结果真是运气原因。
下面是当时最终填报的志愿。清华不用作理会,就当是告别了无知小儿儿时不知天高地厚的梦想吧。然后说起来我来南大可能也受了一个人的影响,前面说过,只不过没有细谈。而把哈工深放在了志愿中,也是受了另一个人的影响,也是一样的提到过但没有细谈。只不过这个放在最后更多是象征及凑数的作用,因为基本上滑不到那么远。
然后也去了解了下南大。感觉基本还是稳的,所以下面的志愿其实没怎么认真填,基本都是凑数的。等投档结果出来时,一去看分数线 676,心凉了一半,紧接着再看排名,这才定心。
然后就是了解了一下技科,发现技科似乎比我预想的要好,里面有我想学的计算机,我很满足。不过一开始并不是这样的,还想着转专业的事情,后面发现同类型不能互转,还有点被骗了的感觉(说实话招生确实有点春秋笔法了)。然后开学时也还想着计拔的事情,想着无论是去苏州还是去计拔,横竖不亏。直到计拔大失败,最后回归到技科,并且也正式地接纳了它,现在我很满意。
所以说这志愿真的挺玄幻的,我去了一个我完全不了解的专业,结果这个专业居然恰巧是我想学的东西,还有新校区(魂穿 2020 泥岗),真是「蓦然回首,那专业却在,灯火阑珊处」。运气确实太好了,跟三年前有得一拼,也是一样的压分飘过,竟能如此相像,此时此刻,恰似彼时彼刻。
说回到这禁令,知乎上看跟之前禁的国防七子之类的不太一样,只是禁了软件如 Office, MMA 什么的,签证还是有机会的。那挺好的,软件这事好办,算是变相支持了国产替代。就算不考虑功能可能有所欠缺的国产,Office 和 MMA 的破解也算是比较干净的(我了解的方式),要是能口口相传什么的,甚至不用担心中病毒,我自己就有所储备,只是学校买了,无从发挥(叹息)。到时候更是省了一笔买软件买个名正言顺的钱,挺好的。
不过留美那应该还是有点影响的。问了问 qxr,他及一些同学都有出国留学的想法,考虑得非常长远啊,大一就已经想到保研考研出国的事情了。我则还是走一步看一步,没啥长远的规划。
出国这事情嘛,其实我没啥念头,一是语言不通,二是经济不足,三是挺麻烦的。不过其他同学看得如此长久,让我也是稍许焦虑。
不过我从来都没有作过如此长远的打算。比如问问高一的我,能否想到我将来会去南京大学,我怕是会回答「南京大学是什么?」。
这不是啥玩笑话,是很有可能发生的,因为我对中国大学的了解,仅停留在清北华五除南大,各个大学实力我也不大了解,只知道清北 Top2,华五除南挺厉害的,知乎看的各种 B 故事,Top3。南大的名头虽然高一时大概是真不知道,但后面应该还是听说了的,只不过在填报志愿对一些概念进行了解之前,我还真不知道南大还蛮厉害的。
高中时经常听说 C9、华五两个名词,可能由于 C9 频率更高一点,在填报志愿前查到华五组成前,我一直以为 C9 这个名头更厉害。
这场景其实跟初中很类似,比如初一的我也不知道深中。得益于红岭的宣传,我第一个知道的高中大概就是红岭,也是初一很长一段时间唯一知道的一所高中。
初二一段时间及初一的梦校也一直是红岭,也没啥目的,就是因为听说它食堂挺好的。
直到后面听说了深中,接着成绩又大幅进步了,发现自己似乎也能染指深中了。
中考填报志愿倒没高考那么纠结,尽管后者是出分后再填。毕竟没几所,同时也专注深中,倒也不用考虑专业、地理等等复杂因素,因此填报也轻松。
也找到了当时填报的志愿。不过最后也是没用上。其实我也蛮好奇,如果当初没进数理实验班,我能拿到区的指标吗?(我是非深户,指标在区里而非学校拿,要在学校拿这妥妥的)
触景生情,想到了中考填报志愿时还有点事,不过也不太适合在这里说,就作罢了,不过希望我自己之后知道我本想在这里说什么。只是一件很小的事情,能被我记到现在,也是很稀奇。倒也不是我心胸狭隘,确实很奇怪现在还记得。
跑很偏了,还有很多记录的灵感没写,不过手也累了,也没多少时间了,就这样吧,更多的后面再写。
23 日
这个月确实忙,只不过今天于情于理都应该挤出点时间来写点。
灵感
已经记录很多灵感了,所以等有时间写绝对是量大管饱。
这个是任务列表,可见已经堆积很多了,最早的目前尚未完成的一个都已经是 Pi Day 建的了。
然后终于打算用东西把灵感记录下来了,这才发现原来我丢失了这么多灵感。记性不好还总是懒得记下来。不过总算是开始记录了。
但是像上面堆积在一起也不方便区别时间,因此后面我专门开了个列表分组,用以记录每个月的灵感。
记了这么多灵感,可以称我为灵感大王了。
五月是没啥时间写的,EL 项目进入最后阶段了。六月初大概也是没啥时间写的,因为得准备 EL 项目答辩什么的,而且正如上面任务所示,我还有一堆期末作业,何况还有期末复习什么的,因此也估计没啥时间写。
真正有时间可能是军训时?感觉军训不至于抽不出时间写记事吧。
即便如此也估计得到六月下旬了,到那时候才来写,有点抽象。
EL
除了那么多灵感外,EL 其实也有很多值得写的,不过这几周忙于写代码,中期文档过后也没有继续写文档了。等项目结束后我再补下文档吧。
说起来还是很难以置信的,在做第一个组件那个下午,我还心态崩了,一度决定放弃这 ** 的 EL 项目,同时给了自己好几个理由。然后关掉 VSCode 及一大堆网站、文档不久后,又安慰自己再试试吧。然后也许是终于找到了合适正确的前进方向,目前的进度超出我之前预期比较好的部分,这周如果不出意外,应该能完成所有组件,然后也该进行收尾工作了。
23 日
今天有什么特别的吗?值得我合并完 EL 一个 PR 后还来写点无关紧要的东西?
部分引用一下去年 5 月 22 日摆记,在 5 月 23 日的补充(部分):
今天是 5.23,*** 一周年,真快呀,我已从高二到了高三。不管怎么说,周年快乐!然后周四是 ***,周六是最后一次生日会,这周偶数天蛮喜庆的嘛。
两年前 22:44 的两条微信消息,是这周年庆典的开端。
因此周六,也就是两天后的 25 号还是会来写点东西的。当然因为时间不多,也是不会有多关联灵感的。
高考
好快啊,居然又是一年高考了,我也居然即将升入大二了。
高考真的很奇幻,考前觉得这简直重要得不能再重要,绝对是我人生中一个关键的路口(这两都没错),我还认为估计很久后我还能记得自己的高考成绩。
但实际上,上了大学后,或者说填完志愿、录取结果出来后,我似乎就对高考的结果没那么重视了,突然间就变成了一件无足轻重的事情。甚至回忆起自己的某科成绩也没那么笃定。
中考倒不是这样,虽然也会一身轻松,但也没那么风轻云淡。还记得当时数学最后一题没写出来(巧了,高考也没写出来,我果然不是天赋型选手),中考后去了解了相关背景等等。而高考后,解答过程也懒得看一眼,因此那道题我现在还是不会做。
当然也许只有像我这样高考完后,并取得一个相对满意的结果的人,才能说出这样的话,相信仍然还是有人对于一年前成绩单上的数字耿耿于怀。
当然也不是一点遗憾都没有。
高三一阶考语文考了 130(虽然题型是文言文,Anki 帮大忙),也是我高中唯一一次上 130 好像?然后第二次也挺高,前者年级前 20,后者年级前 30 好像。然后后面一路下滑,高考自食对语文摆烂的恶果。
然后似乎是英语改错了几个?也没能上 140。当然这样想并不合适,没有「改错」一说,又不是我不小心蹭刮到,改变了答案,而是我当时认为另一个是对的才改的,是自己造成的。不过从感性角度确实还是会有点不甘心。
数学也许也有一点,我也不记得对答案结果如何了,但是好像估分感觉能有 140 的,实际上也没有。
至于其他科,似乎化学和生物的遗憾感,比差一分满分的物理还强,尽管我也不记得这三科的情况了。
即使从总体层面讲,也是有点遗憾的。2022 数学难度激增后,我们这一届高三真的是在数学的折磨中度过的(虽然我态度也很散漫,经常放掉作业)。但是高考时数学、物理难度却比预想低很多,语文又没那么容易。考完第一科、第一天以及第二天第一科(如果我记忆没出错的话,应该是语文、数学和物理)就感觉要寄了,而且是逐步增强的感受。最后也确实果不其然,数理容易,语文就不那么放水了,同时也就得严抓过程了。
当然归根结底还是我太菜了,成绩很大一部分因素由外界环境影响,真正的强者从不管你这些。这样真正的强者,我也是亲眼见证的。Peer pressure 真的难顶。
这么看来我似乎好像还耿耿于怀一样。但看我到底后不后悔,就是看再给我一次选择的机会,我能否毫不犹豫地再次做出相同的决定。而这,是显而易见的。
差不多了,就这样。
25 日
今天有点小摆,早上没背 Anki,下午也摆了挺久,正事基本没干。
拖到现在十一点多了,我估摸着要是先背 Anki 就可能错过了。所以还是先简单写点吧。
其实也多少要说的,就一句 Y 生日快乐!
一年前这个时候大概是高考最后的自主复习阶段,然后我当时似乎因为摆太久了,卡太多了(还是什么别的原因),因此早上早早起来清卡(好像六点就起了?具体不记得,反正自主复习时相较于平时是可以多睡一会的本来)。
然后不记得是清了一点后发的,还是清完后发的了。总之一年前也是为 Y 庆贺了生日,因此今年也不能落下。
最后引用一下去年中午摆记写的吧:
今天是 5.25,** 生日快乐!🎂
没了,就这样。本来还想说说昨天气急败坏、怒火攻心导致晚饭没胃口的事情,但还是算了,煞风景。
28 日
嘛今天来可能是来「忏悔」的。
本来前几天想着的是,去年连着三天是好日子,然后想到今年其实昨天也算好日子,只不过跟一年前的生日会不一样罢了。
结果呢我昨天居然忘记了……心里是一点念头都没有。直到晚上上完思修,在路上走的时候猛地察觉,迅速抬表一看,28 日,登时一拍大腿,扼腕叹息。
说起来这个日子,一开始我以为是某个含义,结果在看 yj 的文章时发现居然是另一个。不过可以算是一个美丽的巧合吧。
然后今天回宿舍验证了一下这个说法,然后发现又几个巧合的事情,怎么三个都在五月啊。看来四月是那边的大本营,五月是这两边的大本营。不过狗和猫还没看,不知道还会不会有这样的巧合。
另外天天进出宿舍大门,想到,我要是要有个中文网名,那应该有个字「勤」。
另外,希望虽然已经消失得差不多了,但还是保留一丝期许。我在这里发誓啊(虽然我发的誓多了,甚至自主复习期间还由 Y 担保过,然而基本都是高高举起,轻轻放下),只要为我打开灯,我就一定开始写「水煮刀」。
这么看来,差个 29 号?
其实很奇怪吧,微分算子、自然底数 、虚数单位 什么的我喜欢用正体,然后说这是规范,但是圆周率 我却更喜欢用斜体,尽管 ISO 也说应当用正体,不过 似乎也打不出来。 ↩︎