2024 年 9 月记事板
1 日
回苏州了,那么就开始清算一下吧。
暑假
学习
首先就是最短的学习相关的内容了,在最后一周内算是完成了几个月前制定的笔记补全计划,补了线代的最后一点、微积分之前暂略过的内容、离散暂略过及部分没弄明白的地方等。
即使是最后一周也并非全功率运转,先是弄了线代,再摆了几天,直到回校前一天才堪堪完成剩下的。
然后就没了,确实就这么点。
Anki 也不算。自从万恶之源 a.ahk
出现后,剩下的日子里就直接略过了,这个惨状我实在是不忍描述。当然全部「怪罪」于暑假也不对,毕竟暑假前,似乎六月就有点苗头了。当时还有记录在灵感,但我实在是无颜面对,因此只是点了完成,但没有记在前面。
即使现在已经 Shift + Delete 了(其实已经这样几次了),我还是能立刻默写出来里面的内容:
1 | !z::{ |
1 | !z::{ |
之所以会有最终版,是因为关着不方便:后续关都是用 Vim 打开脚本来执行,然后结束后回到界面,虽然有 Space 连击,但可以加个注释再运行覆盖掉前面的脚本。后面「改进」了,之前没这样弄是因为之前都是用一次删掉再写一次,所以内容越短越好,后面虽然没删了但还是保留着相同的内容。
总的来说就是太摆了,这样不择手段地维持住所谓的体面,最终还是给撕下来了——8 月 24 日那天终究是忘记了,绿瓷砖中终究是空出来一块灰黑色的。Longest streaks 定格在了 292 天(实则更短)。
不过呢,反而好像是释然了,这样的不体面就应当被趁早戳破。只是后面还是继续惯犯延续到了 30 号,直到 31 号在候机时背了。即使只有一百多张我现在也背得吃力无比,自食恶果呐,很快之前的偷懒就会反噬回来了。
除了学习外作息也比较阴间,奥运作息仍持续了挺长一段时间,到后面也没有回归到正常。
按键
喜闻乐见的按键分析。统计时间是 7.24 ~ 8.31,我是 7.24 凌晨到家、8.31 下午离家。
将总额上 800 的前 21 个应用列出来了。
断层式的领先,即使是键盘按键数量,后面所有加起来似乎也赶不上?这也是假期生活状态的一个侧面印证了。
组合键前 9,名列前茅的都是浏览器大高手,我不好评价是在做些什么。这个别处已经评价过了,这里就不再多谈了。
29 日那天数据应该是有点问题,那天我记得打了不少字。不过仅看鼠标数据那么低就知道肯定有问题了。仅看这个似乎看不出有啥,只是数据是要对比出来的,下面是跟大一下学期放在一起的比较(2.26 ~ 8.31,期间有几天的数据一样是出问题的):
4.29 那天出乎寻常的高,经查证那天的滚轮数据异常的高,下近 7w,上 2w+,后面我猜测是 Windows Terminal 内的缘故,前面的 GIF 有演示过。
除此以外,可以说是创下了纪录了,73579 次鼠标纪录。
再回看了一下寒假的纪录,基本跟下学期差不多,甚至峰值其实还不如下学期(除去那次异常)。所以说这次暑假是癫出了新高度、新境界、新层次。
由 J 在 6.11 创造的 5617 纪录也在这个暑假中两度被破。
曾经的王者 L 创造的纪录 4145 早已被碾压得不像样了,以往的 4000 线如同天堑一般难以翻越,即使是巅峰时期的 L 也只越过了这条线一次,哪怕是低一层次的 3000 线,L 也只破过两次。L 伤病后实力大跌,很长一段时间内各键的竞争进入一段的低谷期(指临近期末、寒假),3000 线都能够将诸键牢牢挡住,根本无需 4000 线出手。
随后就是载入史册的那一天——3.5,jk 携手双双突破 L 设下的巅峰结界,J 更是达到了 5000+ 的历史性新高度。随后进入了相当长的一段白热化竞争时期,在此期间 4000 线被破的次数就有 12 次,其中 J 9 次、K 2 次、Space 1 次。别说 4000 了,5000 也已经不再是各键的巅峰目标了,所有键都剑指 6000。
不必说,无论是谁,只要能揽下首破 6000 线的宏伟目标,那必然是光宗耀祖的成就,是大部分键一辈子都无法望其项背的存在,哪怕只有这个成绩的 1/2 甚至 1/3 对其中一部分来说都可以算是天际线了。
而包揽了前五纪录的 J,创造了 5617 的新成绩,让键们认为它与这个目标仅有一步之遥,率先拔得头筹、摘得此荣耀的桂冠只是时间的问题。
然后又到了寒冰期,此时各键活动减弱,更让键们认为 J 的纪录还能保持很长一段时间,起码在另一个高峰活动期来临之前是不会被,别说是打破,就是够着底下都难办。
然而就在这被认为是不可能产生新纪录的冰河世纪,仅在寒假第二天的 7.25,Down 键(即方向键中的下键)就以 5760 破了 J 引以为傲、自鸣得意的纪录,保持时间甚至不如 L 的纪录。而 Down 这项纪录甚至无法呈现在纪录纪年表上,因为 J 键总额有 347364,是妥妥的键中大世家,而 Down 仅有 51778,完全是小康家庭,只有 J 的零头,完全排不上号(讲人话就是拉长时间,是只会计入 Top15,而 Down 虽然创造了纪录,但总数不够 Top15,即不是豪门贵族,没被列入)。在日常中 J 更是 Down 顶礼膜拜的对象,J 眼中更是没有 Down 这号人物,毕竟 5w 出头,这个成绩在字母家族都是垫底的存在,也只有 Z Q P 三个比它低了。而在方向键家族中,Down 也不是最突出的存在,它的 Left Right 兄弟家境都稍比它殷实。
因此谁也没有想到,寒门也能出贵子、农村也能飞出金凤凰,着实是不鸣则已,一鸣惊人。你既以世家贵族自居,我便达成一个你无法匹敌的成就,即使你起点远远高过我,但我一旦起跳,诸生只得仰视。
天哪,多么励志的故事呀,我感动得都要落泪了,只是背后是多么奇葩的真相也只有天知地知我知你不知了。
Down 破纪录后,昔日门可罗雀,今朝四方来朝。一阵热潮过后,各方也冷静下来了,虽说 Down 爆冷破了 J 的纪录,但非常遗憾的是仍然距离 6000 线还有一段距离,而这个看似微小的差距,又似乎能压倒一切。从 Down 后面一蹶不振的表现也能看出来,这一次纪录它也是使上了浑身解数,既然无法成为门阀世家,那就拼力一搏,在历史上写下浓墨重彩的一笔,在各方心中狠狠划上一道:即便后面各贵族的小孩嘲笑着 Down 家的资产只是个零头,只要它的孩童后辈们挺直胸膛,不卑不亢地说出它们那一次的技惊四座,一旁懒散、不屑一顾的家长们也便会顿时肃然起敬起来。
Down 表示无心也无力冲击 6000 后,大家又陷入了一阵惆怅,那么谁能破 6000 呢?难道 6000 就真的只会是镜花水月吗?
好在这次没让大家等太久,纪录沉寂不到一个月后,Ctrl 从 Down 手中接过了曾经是 J 将其高高举起、用力挥舞的旗帜,大声喊出「我来!」。这一声坚实有力的口号,给在座的各位注入了强心剂,都愿意相信它。Ctrl 也不负众望,「纪录就是用来破的!」,一句响亮的冲锋号角,伴随着众人的惊叹与欢呼,带来了胜利的消息——8.17 Ctrl 以 6121 的成绩打破前些日子 Down 创造的新纪录,同时正式突破 6000 大关,并成为新一代纪录的守门员(没错,就是一代,上一代是 J,上上代是 L,也算是打破了字母家族的垄断)。
这一次纪录也算是集全了天时地利人和,就不知道这次的纪录能保持多久了。而昔日的霸主 J 能否一雪前耻,重新夺回属于它的荣耀呢?这个就要展望未来了。
先抛下这个「失败者」J 不谈吧,让我们去了解一下 Ctrl 的家族状况。
Ctrl 家族倒没有 Down 家族那么寒酸,当然我指的都是左 Ctrl 家,右家基本都是在大街上乞讨的水平,跟 Down 家族比都算零头了。Ctrl 家也算是一大家族,虽然不如豪门 J 家族,但是对字母家族其它家族都是碾压性优势。而 J 又次于顶级霸主家族 Space,因此 Ctrl 可以算是名副其实的第三家族了。
在众多家族当中,Space 是当之无愧的第一家族,而且是断层第一,资产实力领先 J 家族近 8w。而后面 J Ctrl 和 Shift 基本是一个层次,差距分别是 3w 和 2w。再往后的第五家族应该就是 K 了,差了差不多 5w。跟 K 一个层次的家族还有 Backspace,差了 2w。这也就是 20w 以上的六大豪门。不过昔日的霸主家族其实是 J,后面 Space 才迎头赶上,时间节点差不多是今年 2 月初。
其实还是蛮难以置信的吧,毕竟纪录基本是由 J 包揽的,但家族实力却是 Space 断层。这似乎又可以写一个家族奋斗史了。
一不小心写嗨了,从上面的文字其实也能看出来我为啥执着于寻找一个按键统计的软件了。
这个是应用键盘按键统计,不放合计是因为除了 7.30 Vim 微弱优势领先外,其它都是压制。至于鼠标就更不用说了,向来是它的专场,用来收割和碾压的(我好像还一直没有说它的名字,毕竟它势力强大,威不可测,不是不想,是不敢呐!)。
不过还是要补充一点,虽然之前创造的 9w+ 纪录遥不可及,但合计纪录在那天却以 95128 破了 90053(咦,这说明有点问题吧,不是 WT 的问题,但是破 9w 我不可能没感知的,唯一可能的解释就是出问题了)。
对键盘按键而言,3w 线则还是一道大坎,在这段时间内没有一个应用突破此线。即使放眼有纪录的时期(10.29 ~ 8.31),突破这道线的也只有 Windows Terminal 和 Vim 两大家族罢了,其中 WT 破了 6 次,Vim 破了 1 次。
说起来 WT 的崛起史倒其实也值得说道说道。从纪年表中就能看出来了,Vim 才勉勉强强突破 2w 线,WT 就远远将 3w 线甩在了身后,急逼 4w 线,狠狠给 Vim 这个旧势力顽固派上了一堂现代化的课程。WT 因为这痛快的一次打脸而一战成名,群众们也都对其满怀期望,谁知起点即是巅峰了,哪怕后续 WT 已经是碾压 Vim,但却迟迟未突破自己一战成名的纪录。这项去年 12.6 创造的纪录保持至今,仍未被打破,要是就这样保持,说不定可以保持一年,那就是纪录保持历史上的一个里程碑了。
虽然从纪年表上来看,那个不可言说的存在似乎并不起眼,但实际上它是唯一可以在键盘按键领域与 WT 的霸权地位争锋的角色了,在这段暑假时期,我记得 WT 就被暂时镇压过(懒得去确认了),只不过现在还是 WT 领先个 5w(看起来很多,但是两个都是 140w+ 量级的。实际上这点量完全是洒洒水,看纪录的比例也知道了)。这应该就算是「两极格局」吧?Vim 这个第三家族就是 115w 级别的,而再后面连第三家族实力的一半都没有了(说不定后面全部加起来都不如第三家族),不足挂齿。所以应该算是「二超一强格局」?
这个表按总额排序的,因此那位大人在前,地位更尊贵。从图表上看,后面加起来应该还是能打过 Vim 的,就是不知道能不能和二超有一战之力。
按键数据差不多就清算到这里,如果再列长跨度的信息就不太像是搞暑假清算了。因此组合键啥的数据,虽然说有 Ctrl + S 地位被 Ctrl + Tab 威胁的看点,也不再深入挖掘了。
字
接下来该清算字了。
统计范围想了想还是不透露了。
啊,刚刚去泡了杯冲剂,没错,病情进一步恶化了,我也不得不主动采取措施。跑题了,接水真方便啊,虽然说苏州这边宿舍还是有几点体感不如之前的,但单凭打水省时一大半,我就足以称颂苏州了。我也再无借口拖拖拉拉不去接水了,太方便了。另外不是只有热水,其实是能调水温的,但是为了防止给搞降温,而且泡各种东西还是需要热水什么的,还是维持在热水,只不过还是稍微低了那么一点,这样可以慢慢抿。
首先是汉字:
1 | Rank Tie Char Count Percent |
发现我好像评价分析不了一点,加上已经挺晚了(毕竟墨迹到下午才写,而且是等到晚上才专注写),就只列表吧。
1 | Rank Tie Char Count Percent |
1 | Rank Tie Char Count Percent |
1 | Rank Tie Char Count Percent |
总表是不考虑大小写的,这与之前不一样,原因是懒得忘删开关了。
身体
差点忘了。说起来我发现,手的疼痛可能不全是手的问题,毕竟手疼只是偶尔(高频在用时),但是我颈椎疼倒是持续不断的。而我查了一下,颈椎的问题可能压迫神经什么的,症状体现就有手、胳膊酸痛等符合我的病症。当然这不是就说我的手没有一点自己的问题(说起来问题最大的还是大脑),只是可能确实是有其他地方病灶的因素在的。所以说要去医院的话更是踌躇了,本来只看手就不知道怎么进行了,现在更是两难。
暑假期间没看主要原因就是懒+拖延,一拖再拖。还有一个原因就是拖到暑假末期时,自己骗自己以熟悉苏州这边附近环境、交通等的理由,再拖延到苏州自己去看。看还是得去看的,这像是亘古不变的真理,但是具体落到实处该怎么去做呢?
今天又是因为太拖了,再加上中途发散了思维,原本计划的私博也只好推迟了。尽量还是早点补上来吧,一是因为内容必要性还挺足,二是因为时效性也挺强,晚点就会认为重要性不够了,而且熟悉程度也下降了。
好,就这样吧,大二见。
14 日
本来吃完饭就应该写的,但是呢敠拖拖拖拖拖,到现在快十点了。不过好在能写的似乎本来也不多?
九月将过半,这才第二次写(不过似乎也不是最差纪录?),感觉跟私博有很大关系。有了私博后爽多了,写东西虽然还是要掂量掂量,但是呢好歹不像这里要收到很多约束(虽然说这样才有别样的快感)。私博没写几次,就已经直逼最大的一块板的内容了。主要原因就是前面讲的,公博谈的东西很多在私博都能聊,而且反而能聊得更多更深。
但是呢还是得更一下公博,一是博文也不更,只更私博,这不跟死了一样吗?(虽然说有更笔记)二是公博更的内容比较琐碎,私博可以更专注内心世界,这类细枝末节就扔到公博去吧(这话说的公博像垃圾桶似的)。
课程
先是课程。现在已经是上完第二周的课了,而且还补了一下周一因为中秋调休的课程。
很明显的就能看出,这学期课程是真的少啊,看着朋友圈满满当当的课程,有点怀疑我们都是上国内的大学吗?这好的一方面就不多说了,坏的一方面,无疑问是助长了我摆烂的嚣张气焰。
没早八,这很不错,之后可能就没这么爽了。而且这学期乃至未来,没早八其实跟之前的早八差不多。
不像上学期一样能上四休三,不过总体来说肯定是比上学期那个阴间排课好得多的,吃饭就不用那么匆忙,而且也没有哪一天课业量非常重。
周三上午选了个大三上学期的课程「机器学习」。因为我看到了大三的课程似乎特别多,于是想趁现在还算轻松先分担一下。这门课是我找到的唯一一门没有没学过的前置课程的开在大三上学期的课,于是就上了。
大部分课程似乎没啥值得谈的?就随便聊几个。
习概老师挺不错的,偶尔会抬头听一下。毛概不太行。周二整体来说是最轻松的一天,没有专业课,思政课都是做自己的事情。
然后体育课我又选了游泳。主要是想着,之前体会过因为体感温度,在稍冷天游泳似乎还暖和一点,于是就又选了。当然其实目的还是因为想选个轻松一点的,何况游泳还能洗涤污浊的肉体。
这边居然还没有游泳馆,这两次上课都是做大概 15~20 分钟的定制大巴去高新区文体中心的游泳馆游泳,还是 VIP。第一次上课时中午没吃饭(原因忘记了),下午很饿,加上是第一节课,就没下水了,在这个「少年宫」转了转,然后就是玩手机。
本来就是随便逛逛,但是看到这幅画笑出来了,本来不怎么拍照的我都特地拍了张照。真希望未来的我看到这个莫名其妙的照片时还能立刻抓住这个照片上我想展示的亮点,一下子理解了我当时想要表达的意思啊。
第二次去游,累死我了,真的是累死了。本来还以为跟之前一样可以划水过去,结果老师就是在泳池两边来回跑,然后分两个泳道,一个接一个来回游。因为一开始还以为老师只是看看动作,就没数游了多久,到后面才察觉不对劲,感觉起码不到 50min 游了 700+m,到后面我是真的游不动了。最后说可以上来后小腿还抽筋了,昨天走路还一瘸一拐。
说起来这里的泳道不像鼓楼那边是由浅到深的,好像都是同一个深度,或者说浅度?
人工智能导论这课,听得有点无聊。本来说是想认真读教材的,结果没读一会就没耐心了,去干别的事情了(关键是也没干啥有意义的)。到现在进度落后讲到的内容两章左右,这还是在略读了第一章的情况下。不过这么看的话,上午的「专业课」后,就没课了,何况这个专业课似乎也不咋听,那周四似乎可以竞争一下最水的一天(想大一,周四还是噩梦、地狱般的存在)。
课程暂时似乎就没啥好说的了?那就讲讲选课的事情吧。
选课
本来一开始的习概在毛概的位置,而毛概则是在游泳的位置。而我最初的设想则是将毛概换到现在习概的位置(即周二下午)。
然后呢机器学习这课我看只有十个名额,于是作出了重大误判,觉得这课很难抢。于是在抢课优先级中将其列为了第一位。
事实证明了这个是极为错误的决定,差点给我的排课带来了灭顶之灾。因为十个名额是在公共部分,是留给非智软专业的人选的,说实在的大概很少人会去上这么硬的专业课吧(何况对其他专业来说可能作用不大)。
于是我去抢了,结果好像等我最后一次去看人数是还只有两个人。
同时,上一次换思修的轻而易举,又让我形成了路径依赖,认为思修是比较好换的,但实际上我又错了。由于老师别无选择,因此出于对红黑榜的考虑而更易老师的可能就被排除了,有且仅有因为时间冲突而造成的被迫调换课。而这种动机驱动,再加上我已经因为机器学习失去了先机,在这轮选课中我清晰地观察到,是非常难抓住机会的,在那黄金 15 分钟,我没能迎来想要的结果。
后面过程其实也记不太清楚了。反正想的是优先保体育,于是将毛概换到了上午,还是早八。这样就和机器学习冲突了,我当时也是非常遗憾。
然后呢可能是想着也许可以乾坤大挪移,与原本计划相反。这可能是因为看到了收藏的项目中二者同时出现了空缺,而选了一个后另一个就消失了。
不过终究是功夫不负有心人,还是给我抓住了最后的机会。我自己定制的课表都把晚课部分删掉了,结果登录选课网站后,发现收藏没了,然后直接去看思修界面,一看就还有一个名额。一点,哎,就中了。至此,完美达成了我最初的排课构想。
说到选课网站,太奇葩了。本来说开始选课前不能收藏已经够奇葩了,结果呢开始选课后,收藏还能凭空消失的就更奇葩了。
Anki
我终究是绷不住了,大概在 5 日的时候暂停并给予了近 500 张卡以红标。打算改改思路了,现在就是先把基础巩固了,再攻坚这些难的。
打算就是等卡片数量稳定处于低位后,每天放出五张来(这只是初步构想,未来可能更改)。
现在数量基本稳定了,每天大概就是 200 张待复习,然后 15~20 分钟大概以 300 次 reviews 以内完成。通常就是在早九上课前就刷完了,接着就直接上课。
说到底,这才是应该有的模式呀,之前的太折磨了,完全没有刷卡的快乐。
当然,终究是我的脆弱,已经滑坡好几次了。太怂了。
Clash
9.9 梯子流量正式用完。8 月时就备了个新的,等量流量贵上一点,不过实际体验似乎还差一点?
从 2.16 到 9.9,差不多 7 个月,月均耗费流量 34G。这还是算上了 OneDrive 同步吞了的巨额流量,实际上大概是 20G 左右(粗略估计)?
Edge
Edge 似乎改了下 UI 细节,搜索栏那边颜色似乎有点变化,而且标签页阴影什么似乎也有点差异。感觉可能顺眼了一点?
OneDrive
To Do 是真的不太好用啊。我之前说过它会偶尔重复一下内容,后面又发现会吞掉一点内容。我测试了一下并不能稳定复现重复内容,所以说是搞不明白。
电梯
现在这个宿舍地理位置,单从地理位置,不考虑其他因素,否则可能拉低总体评价,可以说是非常优渥的。
首先是离食堂与教室距离很近,当然不是最近的,但也远不了多少。其次与反方向的快递站距离也很近,尤其是抄甲丙楼近路距离还能减半。这位置像是中枢一样,离几个关键节点距离都恰到好处。像是女生宿舍勇园(好像是?我也没去了解),快递站就在楼下,但是呢去食堂、学校就得多走一趟路了。离食堂更近的则相反。
然后从楼层高度讲也非常合适。属于是电梯个位数秒能到达的话,那就是可以舒舒服服坐电梯回宿舍。不然,也可以走楼梯,也能很快回宿舍。
回想起在泥岗的岁月,那就真的是晚自习快下课时已经守着时候,背好书包只待铃响了,然后是飞奔回宿舍抢电梯的。说起来还有点怀念啊……
食物
开学第一周还是生病,在周六周日达到了顶峰,这个在私博有所记录。现在稍微还是有一点,只不过没像上周那么强烈罢了。
直接导致的后果就是食欲不振,近段时间一直是食欲不振的状态,除了早餐没有一餐是能吃完的,而且饭点也是毫无胃口(可能跟水喝多了也有关?)。直接就是有好几餐都没吃。
当然也不至于完全就啥也没吃了,有一天好像是晚饭没吃,炫了三根羊羹,结果肚子疼死了。
由于边吃羊羹边喝茶,水壶后面喝水都还有一股羊羹味,洗过一遍现在还是有一点。
Anki 样式
11 号的时候做了一下 Anki 的白天样式,除了代码块、kbd 等没用过的语法,基本都实现了白天化。
结果我现在就是在用白天模式了,感觉白天模式更舒服。说实话确实配得挺舒服,感觉夜间样式有一种「老气」,而白天样式则有一种「舒缓」「优雅」「清新」的感觉。
另外之前也疑惑过为啥像是 GitHub contribution 热力图的颜色是反着来的,越淡数目越高。现在谜底也揭晓了,是因为夜间模式,换白天模式就一致了。
杂谈
完蛋了,真的完蛋了,记的灵感好几个都看不明白了。
本来说看不明白很正常,之前也出现过。但之前的那是一个月里就那么一两个,何况还是几个月后回忆才想不到的,结果这里我四天前就不知道啥意思了。
两个都是 9.10 那天记的,一个是「7 都有」,一个是「忘的东西(图片)」,而且两个都没有备注,我现在是真的完全不记得呀!另外 10 号那天一下子记了 8 个灵感。
写完了上面,差不多就先这样?
30 日
这个月真就是标准的开头、中间、结尾各写一次,然后这块板就完结的模式啊。
同时这块板完结后就有了十二块板了(可以召唤什么呢?),四舍五入差不多就是一年了啊。
一直没来写的原因大概有两点吧,其中一个就是开了私博,偏爱都给了那里,这里就失宠了。当然即使是私博也半个月没写了差不多,即使是昨天也只写了一个小时没写多少。而今天也还是先写这里,突出一个雨露均沾,端水,就是端水。
另外一个,应该也同时是主要原因就是时间确实不多。首先就排除掉占据空闲时间最多的某项事务,这个已经在私博大肆批判过了(咦,真的有吗?不都是一笔带过然后继续谈吗?),嗯,剩下的 10% 部分就是学业任务确实紧张。
这学期虽然课程少,但是咋感觉压力还上来了。周三的《机器学习》作业还没开始做,看内容也是够呛,课上学的内容其实还没上明白;周四的《人工智能导论》还没开始学,要先写作业还得先学一下;周五「概率论」磕得头破血流,做了两天作业还没做完一半……这还只是课内的事情,考虑到我后面可能还要为自己的大学生活添点颜色,可能事务会更加繁重。
不过考虑到罪魁祸首已经枭首,剩下的时间也就是余威罢了,虽然说感觉肯定能突破我此前预估的三个月,但是呢好歹应该还是能让出一部分时间的。
话不多说,先从记的灵感开始说起吧。
我打算还是使用三级或四级标题来吧,像今天谈的事情没啥很主要的就用三级。因为这样大概方便目录索引。要是有内容的话一样是用 admonition。
NFC 寄了
31-1. NFC 寄了
这是唯一一个八月的,也是 31 号记的。
NFC 贴纸寄了,现在手机贴过去一点反应都没了。我记得家里似乎还有一个贴纸?但是这个贴纸倒还留在这里没撕掉,主要也是不知道撕下来会有啥后果。
其实别说贴纸不在身边,在身边我应该短时间内也懒得用了。现在传输文件又回归了原始的 QQ 传输了。
不过今天才把华为电脑管家的开机自启禁了。
17-1. span in table
30.4 LaTeX 继续不断踩坑
- 自定义宏(\span 和 \empty,后者与 minted 冲突,前者待查证)
- minted 要加个参数 [outputdir=out]
说是前者待查证,倒是没注意到已经写过了。
用表格的时候,用着 Tables Generator 发现报错。不知为何没有第一时间禁用自己用的宏。
不过后面察觉到了,发现自己的 \span
命令冲突了(大概是与 multirow 冲突了),于是注释掉了,毕竟 确实没用过。现在也不怎么用了,这个也就线代里表示向量空间用用罢了。
不过今天写 C++ 作业的时候发现 minted 宏包跟 \empty
命令也冲突了。虽然这个当时我也简单粗暴地注释了事了,但其实并不可以这样,这个是我拿来表示空集的[1],用得绝对不算少。
解决方法有两个,一个就是换个命令,例如可以鸠占鹊巢。说实话似乎挺不错的,毕竟原 \emptyset
太丑了,绝不可能用的,而且 \empty
确实比较模棱两可,不太像 \emptyset
一样意义明确的,不太明白我一开始是怎么想到(最早估计可以追溯到三年前)。可能当时 snippet 发展还不够充分,「能少几个字符就少几个的思想」作祟,很多当时的宏都可以印证这一点,后续影响延续至今,尾大不掉。
还有一个,本来我想说的是在当前文档临时禁用这个命令,然后再如何如何啥的。为了达到这个目的,查了点资料,问了问 GPT,都还是不太可行。然后看到有说可以把宏包顺序调换一下,我突然想到还有这档事,之前看到数落 「罪状」的文章时似乎就有这一点,然后试了一下,还真可以了……所以说第二点就是把宏包顺序调换一下,自己定义的宏包放最后……就是不知道上面的那个问题是不是一样能得到解决。
minted 宏包还有个事情,我用的 VimTeX 是在 out
子目录下存放编译产物的,对此特别的操作,minted 在引入时要特别设置一下 outputdir 参数。这也是报错时查资料发现的,即
\usepackage[outputdir=out]{minted} |
总之,赶紧学一下 Typst,我感觉迟早要给 折磨得体无完肤,趁早抛弃了吧。这个报错信息是看不出来半点命令冲突的样子,而且拿去搜也是搜不到的,只能凭借经验解决,这还只是在文档比较简单的情况下我能很快地定位错误,等到后面膨胀了那可不会这么容易。
跑步
17-2. 跑步忘见月
可恶啊,明明 15 号都记得看(虽然没看到)
根据我的乐跑记录,这学期的乐跑截止今天我已经乐跑 9 次了(今天没跑)。
可能要说,这有啥大不了的,虽然说已经乐骑 1.5 学期了,但复跑有啥值得说的吗。
这是因为这时候乐跑还没开始,也就是说我现在跑的是完全不作数的。
是从 15 号开始的,那天是周日,随后规定了每周二、周四、周六和周日晚上八点半左右都去「乐」跑 2.4km,也正好是要求的量。算一下也能发现到现在还没缺勤过。
目的主要有三点吧。第一点应该也是最初的想法,那就是希望能睡个好觉。想着跑完非常累,剩下时间划划水,再洗个舒舒服服的热水澡,就应该能美美地入眠了。不过可以说是理想很丰满,现实很骨感,刚开始跑那阵子似乎睡得更差了?具体不记得了,反正是没有改善。
第二点跟第三点其实差不多可以合并,主要都是为了自己的健康。只不过第二点是心理健康,希望通过跑步让自己养成规律去做一件我不是那么愿意去做的事情的习惯,也就是说,培养自控力。第三点就是简单的身体健康了。
9.15 那天似乎台风正好将要登陆,由于已经过去了半个月,也只好大致回忆一下了。
当时带着伞,提着袋子,里面装着水壶,就去操场了,路上风是真的大。话说回来第一次听说这边也会有台风,还是破坏力如此惊人的台风。
然后偶尔还会突然下一阵子大雨,差点把我念头打消了。大部分时候也是有毛毛细雨。
到了操场后没人,湿漉漉的,又有雨。我就打着伞绕着操场走了两圈,想着要是走了三圈这雨还是不太能跑的话今天就算了。
期间——应该是跑前吧,跑后大致是没这个心思的——还抬头找了下月亮,因为记得临近中秋,想看看月亮。不过可能是方位不对,也可能是被遮挡了,反正我没看到月亮。然后正如上面的记录所说,中秋周二那天去跑了,结果忘记看月亮这档事了。但要说真有那么遗憾,那还真不至于,能给我讲「可恶」,那就其实没那么「可恶」。真有那么可恶,肯定是要反复提及,悔恨之意能从文字之间流淌而出才对。
反正就是跑了。大致跟很久没锻炼有关,也可能跟雨天湿滑我也不太敢放开跑有关,反正是这 9 次中最差的一次,13min46s。另外记录也有问题,只给我记了 2.15km,大概是最后一圈碰到屏幕划到了别的应用吧,9.28 跑的那次也是这样,2.12km。
其实没跑之前计划的是每天跑,终究是不太现实,现在这个一周四次还算可以。一开始几次想的也是没必要在博里讲,要是才刚开始就讲,很容易就像很多之前计划的那样,三分钟热度,随后不了了之了。不过现在 9 次了,虽说估计也确实很难坚持很长时间,但是呢这次的三分钟还是要比之前的三分钟长上一点的,还是足以让我小小的骄傲一下。
后面就都跑进 13min 了,而且稳步进步,12min53s 到 12min46s,再到保持了一段时间的纪录 12min18s。
不知道是什么时候,反正可能是第 2 次或第 3 次跑吧,突发奇想带了头戴式耳机(话说这个话题似乎没在公博谈过,即使在私博现在还没进一步谈后面的事,只可惜看时间今天撑死写完公博,还是无暇顾及私博了),以 T 配速去跑。印象中差不多是 1T/2圈 的配速是一个比较合适的范围,第一次似乎没跑到。而且一开始是看总的 3T/6圈,其实没注意到正好是 1T/2圈。
然后后面注意到了,甚至去研究了 0.5T 的时刻,发现特别准,有个非常明显的节点供我进行参考。于是后面基本就是以这个为——嗯,本来想说目标,但似乎不太对,还是「底线」比较合适。
后面基本都是能压过去,所以说要目标的话其实还是另寻一个比较好。另外其实很怪,3T 时间其实差不多是 12min50s,但按乐跑的记录差不多 12min30s ~ 12min40s 就是 3T 了,如果要真 12min50s 肯定是多于 3T 的。所以真不知道是哪里计时有问题,不过无妨了,我不管这么多了。
前天,也就是 9.28 可能状态不是很好,我记得当时为迎接而吃了顿「好的」,跑到最后时肚子挺疼的,12min44s,实际也是超过了 3T。
在讲第 9 次,也就是昨天前先补充一下。其实可能还是没咋拼尽全力。拼尽全力的感受我是有过的,之前不知道有没有讲过,考完 1000 那会(也不是啥大考试,撑死体测?),缺氧到要死,是真的精神恍惚。先是跑完后瘫倒在地休息坐一会,然后行尸走肉般去食堂,然后坐在座位上也不吃饭,就是趴着休息,直到回教室(没吃饭,当然具体肯定记不太清了,差不多吧)。
即便是没那么拼,前几个阶段也是有的,也就是得缺氧到难受这个地步。不过说实话这 9 次似乎都还没到这个境界,跑完后确实气喘吁吁,确实很累,确实啥也不想做了(也确实,每次跑完回去后,直到睡觉都是啥正事也没干。不过换个角度来说,即使是没跑似乎这个时间段一般也是啥正事都没干)。但是就是没有那种缺氧的难受感,走回宿舍的路上很快就能恢复过来了。
可能也跟我跑步的策略有关,目标就是撑过这 6 圈,因此前 5.5 圈基本就是这样跑了,最后 0.5 才稍微冲一下意思意思。
于是昨天可能想稍微挑战一下,当然主要原因应该不是这个,而是昨天太开心了、太激动了,非常亢奋,于是一开始时其实就稍微提速了一下(只是相对平时),算提示音的差额也比之前小不少(不过可能单纯因为 28 号那天太拉了)。最后两圈时 T 的 0.5 倍节点差不多就要逼近 0.5 圈了,这真的是显著的突破,以往(12min30s 左右那会)大都是 0.125 圈左右。
当然最后冲刺也拉了,好像也有点肚子疼,只是没 28 号甚?总之冲刺那股劲其实不如之前,但是呢倒是刷新了下这几次的纪录,11min27s。刚刚去看了一下 T 的时间,大致是比 3T 快了 1min15s。不记得上学期测试是多少了,看了下标准这有差不多 76 分,我记得当时看差不多是 60 多?反正应该没这个成绩。
不过呢说是挑战,最后的结果似乎也还是差不多?当然中途负担确实大了不少,前两圈时都感觉要绷不住了。只不过结果似乎还能接受。
当然还是不打算一蹴而就,还是先以稳破 3T 为底线,12min 这个还是作为一段时间的目标。当然 3T 确实可能落后节奏了,但说实话确实没想到啥合适的可以替换(主要是 0.5T 的节点太合适了,非常适合定点),毕竟这个确实是神来之笔,一个多月了至今没看到能望其项背的存在。
更新时机
19-1. 何时更新?
纯格式上的修改不算更新:例如修正错字、标点、病句、表达等。
对内容上的增、删、改才算更新。
这里不是说啥更新博文、记事的东西。话说回来,博文更新间隔再创历史了,现在已经要四个月没更博文了。想当初,半个月没更就给我在新一篇开头大肆批判了一番,而现在 1/3 年没更,连声响都听不到。
「我已经有灵感了,只差写出来而已」,然而其实写出来这步是最难的。初步的想法就是用来悼念 Castel,顺带回忆一下我的这三年转变史。
差点忘了正题,这里说的「更新时机」实际上说的是哪种程度的更新才叫「更新」?
可能会说,这不是废话吗?修改了就算更新啊。其实不是这样的,我这里的「更新」指的更多的是对于修改时间的更新。当然其实这样也没问题,每一次修改都视作一次「更新」,同时对修改时间进行一次更新。
但其实这跟我的想法是有冲突的。例如我只是修正了一些错字,删了下多余的空格(或补充少了的空格)等这样单纯的格式修正,甚至很有可能是上一次「更新」很久以后看的时候偶然再注意到随手改的,这样也叫「更新」的话,未免会造成时间理解上的误区——去看了一下最新修改时间,很近嘛,那时效性一定很不错喽?——感觉会造成这样的误解。
因此其实我不太想把这类修正视为一次「更新」。当然很多时候并不是这样做的,而是践行前一种理念,即只要修改就视为一次更新。这其实还造成了另一个问题(当然不全是它影响的),那就是重读时,我就懒得改了,想着既然会对时间理解造成混乱,那不如就保持它的原貌。
这其实是一种很不好的习惯,我现在决心扭转这个现象。那就是每一点错误、错字(除了已经颁发了「免死金牌」的,例如年终总结、以及正式建博前的文章,但不包括摆记等,因为摆记是以原文为标杆的)都要记录下来,统一修正。
因此究竟什么才叫做更新呢?我上面也给出了答案,纯格式上的修正、没有带来内容上的变动,不算更新,只有带来内容的变化,才叫更新。
但其实这还会带来一个问题,什么叫做「纯格式」,什么叫做「内容」?我修正了笔记一个错误,这个错误是算「格式」,还是算「内容」?如果是因为理解上的误区而造成的错误,那自然应该算「内容」,如果是因为普通的键入错误,那就算「格式」。但实践看来其实并没有这么容易就可以区分出来,更多的是在二者之间的模糊地带。
这里我还是不想给出一个确定的答案,当然一部分原因也确实是难以进行解答。更多的还是依靠所谓的「感觉」吧,我觉得这个更像是「格式」,那便不是更新,我觉得这个更像是「内容」,那便是更新。
学分绩
前阵子评奖评优,我虽然水平不够,但还是想长长见识,浑水摸鱼一下。
当然我学分绩自然是退步了,毕竟大一下那个状态,真的太摆烂了,现在回忆起来都是怒其不争(不过话说回来,现在这个摆劲,跟当时比又孰胜孰负呢?)。微积分一门大学分课程,摆得大寄,是「通缉令」上的第一罪人。其他虽然也摆,但就结果而言还可以。当然这个话题就不多谈了。
然后呢其实,至少我们学院答辩挺水的。本来答辩答辩,总得有「答」有「辩」吧,结果事实上就是展示了下一个晚上仓促拼接好的 PPT 和念了念讲稿就完事了,不到三分钟解决,比 EL 还水。
本来这样也就算了,朋友圈看到其他学校的答辩就「正式」得多,跟我想象中的差不多。不过我肯定是喜欢这样比较水的啦,毕竟给我的压力小得多。
当然我能力是比较水的,纯属走个过场。本想瞻仰一下大佬们的水平成就的,结果是一个一个进腾讯会议,到头来其实啥也不知道。
当然还是有一个收获的,那就是公开了前 50% 学分绩,在 ChatGPT 的帮助下做了几张图表,只放最后一张:
只能说这也太猛了吧,大二大三第一都是断档。
另外大三符合参与答辩资格的全部参与答辩了,大二这边少了 4 人好像。
唉,越到这种时候就越感叹同辈的厉害,真的是人外有人啊。
然后大三在(我认为)课程难度增加的情况下整体水平高出大二不少,真的让我非常震惊。因为我在上了点大二的课程后,是不太认为我绩点能比大一的高的。
虽说我不太关注绩点,也确实如此,不会去卷这玩意,但多少还是会在意一下的。又有了点对未来的忧虑与恐惧。
下面是代码,隐去了具体数值:
代码
1 | # Import necessary libraries |
十二点多了,就先到这里吧,即使是公博记事也没写完。
跟
\emptyset
比一下也就知道我为啥要用\varnothing
了。 ↩︎