空と海

下一步

Tue, 06 Oct 2026 18:06:52 GMT

下一步

也是好久没有写博客了啊……那就写一点碎碎念吧。

某种意义上我的大学已经过了一半，但出于一些显而易见的原因，我的老同学们一部分在上个月美美保研上岸，另一部分则在猛猛学考研课程。这种情况下多少会被那帮家伙带着走而感到焦虑。而刚好自己也到了该思考当社畜/保/考/润的节骨眼上，不妨写篇博文作为对当下想法的记录，供过段时间的自己参考。

当社畜？

啊哈哈，完全没有考虑过的选项吧算是。拿学士学位出来找工作感觉只能找到一些传统软开方面的工作。但是软开方面感觉真的容易被 AI 取代[^1]，况且传统软开前后端技术栈我目前还算是一窍不通。

但尽管如此，本着试试的态度，还是打算向 Google 和 MS 投一下实习看看（明年5-9月份那批），对转正不抱什么希望，能赚一笔就行。

推免？

前面几年确实没有考虑过保研的事情，一方面是因为从高三开始的执念，另一方面是觉得自己保研只能保本校，而本人恰好又是个不喜欢在一个环境待太久的家伙，再加上不喜欢保研那种为了绩点卷生卷死的氛围，所以一直没考虑过。

但是最近事情出了一些变化^2，导致我似乎产生了一些外保的机会，再加上「那位大人」的因素，我现在逐渐开始考虑保研的可能性了，所以本学期先稳住成绩，看看实习那边怎么说。

考研？

不想卷生卷死，PASS

跑路？

这是考虑过最多的方面了，从高三开始我就有润日[^3]的想法，因为高中一直困在四协的事情中，自然厌恶那种官僚气息，所以当时便向往「自由的学风」的京都大学。

最开始的意向是理学部化学教室 ^4，本来大学报考志愿里也填了一半的化学，但「生化环材四大天坑」的名号实在是太响了，转专业的时候还是选择了泛 cs 方面。意向也变成了五十嵐・末永研 ^5。

后来在辅修了一段时间的数学后，发现自己对数学方面也有点兴趣^6，于是萌生了找寻数学-计算机交叉方向的念头，阴差阳错发现了另一个意向去处

两个实验室中的教授都从事 PLT 方面的研究，在接触了一段时间后发现是自己能学下去（并感兴趣）的东西，尽管不知道能不能走下去、能走多远，但也算是大概找到了属于自己的方向。

闭环？

就此，围绕 PLT 方面我开始做了一些行动，从 Axi 那里了解到了 ailab 的实习，巧的是 ailab 官网当时确实挂着形式化验证的日常实习招聘，遂投递，结果石沉大海，这学期再去看已经把岗位撤掉了，不过我还是从 Gemini 对话记录里把职位要求翻出来了，权当留作记录：

上学期为了这个实习狂刷软件基础，被默拒后不甘心，找到了另一个实习，但这次的老师和学长都很热情，最后也顺利通过^2。往后可能会在保密条约允许的范围内更新一点学到的 PLT 知识，给博客整点 tech 相关内容。

当下？

不管怎么说，先做两手准备吧，一边维持住成绩来保证自己可以拿到保研资格，一边学日语英语，对着募集要项准备专业课。暑假的时候幡然醒悟报了年底的 N3 考试，不管是为了自己还是为了那位大人，都得尽力去学了。至于以后的路究竟怎么走，大概元旦或者寒假我也能得到自己的答案了。

好久没有这样想写什么写什么了，真是爽啊…………

[^1]: 我已经两次误判 AI 的发展趋势了（第一次是高考的时候误判了对计算机的影响，第二次是暑假前误判了对数学的影响）希望这不会是第三次

[^3]: > 实习线上面试 > > 老师：“你为什么打算去日本？这个方面欧洲那边会强一些。” > > 我：“因为经济（笑” > > 老师：“也有日本文化方面的原因吧，我看你的 Github 主页是日文名” > > 我：“呃是这样” > > 会议室里顿时充满了快活的气氛

NULL

Wed, 08 Apr 2026 07:27:09 GMT

无题

自死亡开始说起。

「死去的生命无法出于自身意志传达信息」，至少在目前而言，这是一条犹如公理的存在。那么基于此点成立的基础上，活着的人便无从得知死后的世界。所以各类人物、团体、宗教才会对”人死后会怎么样“这一问题给出不一致的解释。毕竟在不能求证的情况下，任意一种自洽的假设都可能是真相。

我曾有一段时间相信转世，不是那种依靠上一世积德行善换来下一世荣华富贵的转世，而是出于一个朴素的想法：意识并无高低贵贱之分，所以不妨假设所有意识都是同一个存在。毕竟如果我是造物主的话，我就会很喜欢这个看上去复用性拉满的方案。这意味着我，或者说，我们势必会成为被自己伤害过的他人。更进一步地，我们也势必体验世上一切的痛苦与美好。

这是一个很便于用来折磨自己的假设，因为在灾害、战争、瘟疫、事故……中伤亡的人看上去总比平安度过一生的人多。一场意外就可以让一个人万劫不复，但创造一个美好的生活却要在付出许多代价的技术上拼些运气。所以我时不时恐吓自己：“等你这辈子苦吃完了，后边还有那~么~多辈子的苦等着你吃呢。”

但后来，我发现这个假设有个不优雅的地方：并没有一个自然的先后顺序存在。如果甲死后会成为乙，那么乙死后成为甲同样说得通。相比之下，死后意识消散这个假设就自然的多。同时也被包括现在的我在内的很大一部分人接受。（当然，如果你也热衷于像我一样折磨自己的话，我还有个假设，感知时间是个相对主观的东西，所以我们不妨假设人会无限拉长对死前瞬间的感受……）

说回到意识消散这个假设上来，这个假设则表明有些人生我永远无法体验，而有些遗憾也将会是永恒的，比如说我为什么没有个妹妹啦这种。同时，对死亡的恐惧也变得顺理成章起来：恐惧自身存在的消散。

在这个假设下，自外向内看，在一个生命诞生前的漫长时光内，它的意识并不存在；在这个生命消亡后，它的意识也不会再次产生。在漫长的时间中，意识存在的短暂时间才是例外。自内向外看，对于一个意识而言，诞生前与消亡后的世界都是没有意义的，但自己又不可避免地走向无意义的终点，途中一切所作所为都不能改变这点。

活着本身好像也因此而变得无意义起来。

当活着的意义变得不重要，贯穿生命的便只剩下了对死亡的恐惧。或者说活着的意义会被最终的虚无所消解。所以我觉得人生大概就是被对死亡的恐惧追杀一辈子后不得不死掉，提早死掉大概还能减少自己受到的折磨。我知道这是一个算不上健康的生死观，但我一时半会儿也想不到一个更好的。

由此，我又进一步觉得，就如同生命权一般，我同样享有死亡权。不是自己结束自己生命的权利，而是迎来死亡的权利，一种……不被永生的权利。永生将对死亡的恐惧拉长，也将本就短暂存在的意识变为了常态。至少在解释清楚意识之前，我大概是不会接受这样的生活的。

希望有一天我可以平静地接受死亡本身。

MIT18.01-Exam1

Fri, 03 Apr 2026 06:47:41 GMT

(10 pts.) Find the tangent line to $y = \frac{1}{3}x^2$ at $x = 1$

Since $y' = \frac{2}{3}x$.

~~We have $\sout{y(0) = \frac{1}{3} \cdot 0^2 = 0}$ and $\sout{y'(0) = \frac{2}{3} \cdot 0 = 0}$.~~

~~Then $\sout{y - y(0) = y'(0)(x - 0) \Rightarrow y - 0 = 0 \cdot (x - 0) \Rightarrow y = 0}$.~~

~~So the tangent line is $\sout{y = 0}$.~~

We have $y(1) = \frac{1}{3} \cdot 1^2 = \frac{1}{3}$ and $y'(1) = \frac{2}{3} \cdot 1 = \frac{2}{3}$.

Then $y - y(1) = y'(1)(x - 1) \Rightarrow y - \frac{1}{3} = \frac{2}{3} \cdot (x - 1) \Rightarrow y = \frac{2}{3}x - \frac{1}{3}$.
Find the derivative of the following functions:
1. (7 pts.) $\frac{x}{\sqrt{1 - x}}$
  
  $(\frac{x}{\sqrt{1 - x}})' = (x(1-x)^{-\frac{1}{2}})' = (1-x)^{-\frac{1}{2}} + (x \cdot (-\frac{1}{2})(1-x)^{-\frac{3}{2}}) = \frac{1-\frac{\cancel{3} 1}{2}x}{(1-x)\sqrt{1-x}}$
2. (8 pts.) $\frac{\cos(2x)}{x}$
  
  $(\frac{\cos(2x)}{x})' = \frac{-2x \sin(2x) - \cos(2x)}{x^2}$
3. (5 pts.) $e^{2f(x)} = g(x)$
  
  $g'(x) = (e^{2f(x)})' = 2f'(x)e^{2f(x)}$
4. (5 pts.) $\ln(\sin x)$
  
  $(\ln(\sin x)) = \frac{1}{\sin x} \cdot \cos x = \cot x$
(15 pts.) Find $\frac{\mathrm{d}y}{\mathrm{d}x}$ for the function for the function $y$ defined implicitly by $y^4 + xy = 4$ at $x = 3, y = 1$.

$\frac{\mathrm{d}}{\mathrm{d}x}(y^4 + xy) = (4y^3)y' + y + xy' = y'(4y^3 + x) + y$

Since $y^4 + xy = 4$ and $\frac{\mathrm{d}}{\mathrm{d}x} 4 = 0$.

We have $y'(4y^3 + x) + y = 0$

Then $\frac{\mathrm{d}y}{\mathrm{d}x} = y' = -\frac{y}{4y^3 + x} = -\frac{1}{4 \cdot 1^3 + 3} = -\frac{1}{7}$ at $x = 3, y = 1$.
(15 pts.) Skipped.
(15 pts.) Let

$$ f(x) = \begin{cases} ax+b, &x < 1 \ x^4 + x + 1, &x \ge 1 \end{cases} $$

Find all $a$ and $b$ such that the function $f(x)$ is differentiable.

$$ f'(x) = \begin{cases} a, &x < 1 \ 4x^3 + 1, &x > 1 \end{cases} $$

So we have

$$ \begin{cases} ax+b = x^4 + x + 1\ a = 4x^3 + 1 \end{cases} $$

at $x = 1$.

Then

$$ \begin{cases} a \cdot 1 +b = 1^4 + 1 + 1\ a = 4 \cdot 1^3 + 1 \end{cases} $$

And we can get $a = 5, b = -2$.
Evaluate these limits by relating them to a derivative.
1. (5 pts.) Evaluate $\lim_{x \rightarrow 0} \frac{(1 + 2x)^{10}-1}{x}$
  
  $\lim_{x \rightarrow 0} \frac{(1 + 2x)^{10}-1}{x} = 2 \lim_{x \rightarrow 0} \frac{(1 + 2x)^{10}-1^{10}}{2x} = 2 (t^{10})'|{t = 1} = 20 t^9|{t = 1} = 20$
2. (5 pts.) Evaluate $\lim_{x \rightarrow 0} \frac{\sqrt{\cos x}-1}{x}$
  
  $\lim_{x \rightarrow 0} \frac{\sqrt{\cos x}-1}{x} =\lim_{x \rightarrow 0} \frac{\sqrt{\cos (0 + x)}-\sqrt{\cos 0}}{x} =(\sqrt{\cos t})'|{t = 0} =(-\frac{\sin t}{2\sqrt{\cos t}})|{t = 0} =0$
(10 pts.) Derive the formula $\frac{\mathrm{d}}{\mathrm{d}x} a^x = M(a)a^x$ directly from the definition of the derivative, and identity $M(a)$ as a limit.

$$ \begin{aligned} \frac{\mathrm{d}}{\mathrm{d}x} a^x &= \lim_{\Delta x \rightarrow 0}\frac{a^{x + \Delta x} - a^x}{\Delta x} \ &= \lim_{\Delta x \rightarrow 0}\frac{a^{x}a^{\Delta x} - a^x}{\Delta x} \ &= \lim_{\Delta x \rightarrow 0}\frac{a^x(a^{\Delta x} - 1)}{\Delta x} \ &= a^x \lim_{\Delta x \rightarrow 0}\frac{a^{\Delta x} - 1}{\Delta x} \ &= M(a)a^x \ \end{aligned} $$

where $M(a) = \lim_{\Delta x \rightarrow 0}\frac{a^{\Delta x} - 1}{\Delta x}$

水杉空间

Tue, 17 Mar 2026 02:28:24 GMT

水杉空间：基于 Misskey 的校内 SNS 实现

[!NOTE] 这篇文章尚未完成，最近不是很有劲头，所以大概会持续完善

::github{repo="misskey-dev/misskey"}

起因

暂略，现在不是很有精力回忆。

契机

契机有二，一是之前在茶栗栗那里看到了 Misskey 这个平台，觉得美观性不错，就记了下来，顺带找了一个实例注册了自己的账号，实际使用体验也不错。二是在刷p大野史的时候顺着一系列链接刷到了闭社。闭社基于 Mastodon 实现，但个人不太喜欢 Mastodon 的 UI 。刚好 Misskey 也兼容 ActivityPub 协议，就想着基于 Misskey 搭建本校内的闭社平台。

结构

服务器

为了在免备案的前提下尽可能压缩成本，一开始的计划是弄个甲骨文云的 Always Free 计划。但是貌似甲骨文云注册门槛相当的高，我一开始用中行的非人哉万事达借记卡没有通过，后来又去工行办了一张零额度的星座VISA信用卡，结果依然没有通过。

后来在朋友刷b站的时候看到 GitHub Student Developer Pack 可以领到免费的 AWS 服务器，就去看了下。结果 AWS 没找到，倒是发现了这里可以拿到 DigitalOcean 一年内 200USD 的免费额度。开一个 2 核 2G 服务器是 18USD 一个月，200USD 刚好差不多用一年，那就你了。

（我，学生，服务器送我.jpg）

基本上在 Github 上通过学生认证后到 Developer Pack 页面找到 DO 然后根据提示领取就行。需要注意的地方在于 Github 学生认证会检查定位与 IP ，在认证过程中不要使用 VPN 。

域名

cloudflare 注册即可，如果您搭建的是自己学校内的闭社，可以向闭社项目组申请 xxxx.closed.social 域名。我用的是自己的域名，所以不太清楚申请流程。

注册邮箱白名单

Misskey 默认筛选邮箱是黑名单制度，只能 ban 掉指定域名的邮箱，而校内 SNS 需要白名单制，即仅允许校内邮箱域名注册。

本着保持对源码最小改动的原则，我们做了如下修改（笑）：

...
if (!isBanned) {
 return {
   available: false,
   reason: 'banned',
  };
}
...

详见 Commit 3b123a2

通过这个修改反转整个黑名单逻辑，使其拒绝所有不在所列邮箱域名内的注册请求，真的是相当粗暴wwwwwwww

运维

在 DO 那边关闭了除 22, 80, 443 之外所有端口的入站流量，确保安全。

后续计划

移动客户端

这个真的很重要但我不会写orz

找回密码

这个似乎有点问题，暂时还没有解决

宣传

补药啊我社恐

民法总论期末论文

Tue, 03 Feb 2026 13:10:00 GMT

论诚信原则在民法中的地位与作用

一、引言

诚信原则是民法的一项重要基本原则，被誉为民法的“帝王条款”。诚信原则在社会治理、市场交易等场景下具有极强的规范意义。我国现行《民法典》第七条明确规定了“民事主体从事民事活动，应当遵循诚信原则，秉持诚实，恪守承诺。”^1 确立了诚信原则在《民法典》中的重要基础地位。

本文将以诚信原则为论述对象，通过历史演进、法条分析、学理探讨、案例剖析等方式，深入分析诚信原则在民法中的地位及其体现，全面阐述对这一原则的认识。

二、诚信原则的历史演进

（一）古代起源

诚信原则最早起源于罗马法^2，违背诚信原则的行为在罗马法中被认定为无效行为。^3 中国古代虽无对诚信原则在法律层面上的明确约定，但也有着“民无信不立”、“仁义礼智信”等谚语，在道德层面上要求人讲求诚信。

（二）近代法典化时期

进入近代，欧洲各国意识到系统性的法条在国家治理层面有着重要的作用，开始编纂成文法典。这一时期产生了《法国民法典》与《德国民法典》两大民法典。而诚信原则在其中均得到了继承与体现，如《法国民法典》规定“契约应以善意履行之”^4，《德国民法典》又将诚信原则拓展到债法的一般原则上，在此之后的《瑞士民法典》更进一步将其确立为全法典的准则。

（三）中国法历程

在我国法治进程中，《民法通则》、《民法总则》、《合同法》等法律均将诚信原则确立为一项基本原则^5。 2020年发布的《民法典》作为对过往民事单行法的整合，于第7条规定了诚信原则，奠定了这一原则在民事活动中作为基本原则的地位。

三、诚信原则在现行《民法典》中的体现

（一）总则编

除上文所述《民法典》第7条之外，民法典亦于第142条规定了解释意思表示时应基于诚信原则，这一规定保证了行为人的意思可以以一种相对客观的形式得到公认的解释，进一步保障了建立于意思表示上的一般民事行为得以正常进行。

（二）合同编

在合同编中，《民法典》第466条规定解释合同条款应当基于诚信原则。同第142条类似，这一规定确保了合同可以得到客观的解释。在此之后，《民法典》第500条规定了订立合同时违背诚信原则需承担民事责任、第509条规定履行合同时应遵循诚信原则、第558条规定了在合同关系结束后依照诚信原则需履行的义务。这一系列法条涉及了合同自订立、履行、终止的全部阶段，由此确保了合同关系始终遵循诚信原则。

（三）诚信原则于《民法典》其余部分的体现

除此之外，诚信原则于《民法典》其余各编中亦有体现，如第222条实质上要求登记不动产时需遵循诚信原则，第1043条夫妻应当互相忠实体现了在婚姻关系中的诚信原则，第1125条表明在继承关系中应当遵循诚信原则等。

由此可见，诚信原则体现在《民法典》中所规定的方方面面，与民事法律行为息息相关。

四、对诚信原则的学理分析

诚信原则实质上要求民事主体“诚实”与“信用”，前者强调民事主体不应通过欺诈、欺骗手段从事民事活动，而后者则要求民事主体应当遵守民事活动中产生的约定。这一原则对民事行为在主客观相统一方面做出了要求：不仅要求当事人在主观角度上没有恶意意图，同时要求了当事人的行为客观上应当符合“诚信之人”的行为标准，

诚信原则在民法体系中为私法自治原则划定了边界，通过强制性的诚信义务要求，避免了私法自治原则遭到滥用，从而导致出现不期望的压迫行为。除此之外，由于法律条文无法规定民事活动中可能发生的全部情形，在法律未涉及的情形下，诚信原则赋予法官一定的自由裁量权，令判决结果更接近实质正义。

五、诚信原则在司法上的应用

在深圳市某甲科技有限公司、深圳某乙科技有限公司等侵权责任纠纷一案^6中，最高人民法院认为某乙公司的行为违背了诚实信用原则，存在不诚信诉讼行为，最终判决深圳某乙科技有限公司、某某实业有限公司、许某智赔偿深圳市某甲科技有限公司经济损失，并驳回深圳某乙科技有限公司的上诉请求。

在本案中，最高人民法院依照诚信原则，规制了通过抢注专利等行为进行恶意竞争，避免了专利相关权利受到滥用，维护了法律正义。

六、结语

综上所述，诚信原则作为民法的基本原则，将诚信一般的行为道德准则规范化，通过切实的法条保证其在一般民事活动中发挥规范、指导作用。在民事纠纷中，诚信原则亦可作为判断依据，使民事纠纷得到适当的裁量。在诚信原则这一基础上得以构建一个和谐的法治现代社会。

《合同法》第六条：“当事人行使权利、履行义务应当遵循诚实信用原则。”
《民法总则》第七条：“民事主体从事民事活动，应当遵循诚信原则，秉持诚实，恪守承诺。”

写于冬至之日

Sun, 21 Dec 2025 08:58:53 GMT

大概是年度总结

56 年寒冬首日（不是这记法还真是有够中二的）。姑且算是过个年吧，整点年度总结什么的。

应用年度报告

虽然不是个很喜欢给自己贴标签的人，但怎么说呢，真方便啊（笑

太久没写正经东西了，不如先从这里给自己找点灵感。

BiliBili

依旧音乐播放器这一块没得说。横向对比一下的话，音乐比其他专门的音乐 App 全不少，找不到原曲也能找到拿来当背景音乐的视频。

跟 Youtube 和 Niconico 的优势比起来就是不开会员就可以挂在后台黑听。

不过今年没营养的视频还是刷的太多了。经常一刷就是半宿，然后导致晚起床。

切片真得少刷，不然纯粹就是破坏了原片的观影体验。

Github

后半年瓷砖的数量显然上来了，按照时间顺序的话，前面零散的应该都是给长庆写的生存手册、十月底跟十一月初是这个博客、十一月后半段到十二月中旬是 Times 和 Plus、然后大概是 Lean 和别的什么了。

看上去可能……还不错？

希望明年能在一些开源项目中做点贡献吧。

Steam

和上文 Github 瓷砖还真是明显的互补啊，我似乎已经能预见到以后工作的悲惨生活了（bushi

照着时间轴捋一下好了，每个月取前四个游戏：

一月：
- 闰跃之年：在亲戚家一个下午打通的，超喜欢这作的知识锁和地图设计，感谢 VS2 大人送我这个游戏；
- 大富翁：和老姐玩的；
- 鹅鸭杀：记不清了，大概是和四协那帮家伙玩的吧；
- 别喂猴子：没那么玩的进去倒是，但是感觉主旨还算有趣。
二月：
- PUBG：我二月就在打这个吗？
- 大富翁：依旧老姐；
- 传送门2：伟大，神中神！我要给月球来上一枪.jpg
- 画猜：年度团建游戏，应该是和四协以及 NAAU 都玩过。
三月：入了夏日口袋，打算在番剧上映之前推掉，显然失败了，此外入了Tick Hop、战地 1 和战地 5
- PUBG：和舍友以及咸鱼打的，我是彩笔（笑
- 夏日口袋：鸥线的前半段，我很好奇我什么时候能全线推完
- 大富翁：和黄油猫打的，他说我像开了
- 双人成行：当时打折买的，也是和黄油猫打的，小游戏跟滑雪好玩捏
四月：
- 超级鸡马：和黄油猫打的，阴b大战阴b说是
- PUBG：依旧舍友老咸鱼
- BABA IS YOU：好玩，可惜没玩明白
- 森林冰火人：童年经典4399小游戏，和黄油猫玩的
五月：
- 造桥：这我真没印象了，为什么是五月最多的？
- PUBG：同上
- 大富翁：同三月
- A=B：？应该是我给别人安利吧
六月：买了田舍妹
- 挺进地牢：元气骑士电脑版（bushi），好玩！经常大半夜哀嚎“（你倒是翻）滚啊！快（翻）滚啊！”
- 大富翁：三人局，依旧像开了
- VVVVVV：像素风小游戏，期末周复习的时候通掉了
- 田舍妹：想冲了（点头）
七月：
- 挺进地牢：同上
- 冰火人：同四月
八月：
- 彼方的她：类生命线作品，通了一条线就没开了，按照玩家来看估计后边几条线也值得一玩
- 夏日口袋：把鸥线结束继续紬线，然后停滞到现在了
- 田舍妹：嗯……
- 机械迷城：点点点益智解谜小游戏
九月：无
十月：无
十一月：
- 泰拉瑞亚：和咸鱼玩过一次，可惜兴趣确实不大
十二月：买了底特律：变人、smee新作、杀戮尖塔和古早街机三合一包

从世间走过

寒冬

冬至和ニャこ还有黄油猫在宿舍里煮了顿饺子。

去体验了一下空港缐首发，横排座椅舒服，可惜票价太贵了。

闲着没事把二课刷掉了。

元旦按照传统去看了日落日出和零点星空，把日出那张照片做成明信片随机寄给了几个人。

cf round 996 1h57min 一发过 D 上蓝了

春

花丸晴琉毕业直播，晴琉琉😭😭😭你不要走晴琉琉😭😭😭

辅修入选了，接着这个机会去参与了友校的水灯节

春末去杭州拍了封电报给慕老师。

夏

我艹这个夏天过的简直太糟糕了

打了拉面大学的校赛，成绩不错，可惜 C 题差了一个性质没看出来

期末周努力活下来了但是电脑被售后格式化了我*你*的**哈批，*了全家的**东西。

六月依旧白蚁季，宿舍楼道里都是

市赛，因为少输出换行奖项掉了一等…………………………

去参与了 SJTU 的 lean 暑训班，第一次接触到这个语言，有种宿命的预感在啊……

顺便去了 AOSCC ，氛围真好的社区啊（叹

暑假留校集训，热麻了

唉唉，人际关系

秋

不知道怎么说，复杂的情感，大概从秋天起就陷入到了一个缺少友情的状态

选拔赛打寄了……大概是要退役了……不是很甘心………………

也没能和新认识的高中学弟学妹混熟…………

国庆爽骑了两天的自行车，速通苏城给江老师寄了封明信片，然后陪 xp 和他对象在古城逛了三天…………唉唉xql真好

十月底翘了两天课回了趟家，赶上了下雪。回来后开始搭这个博客，啧，突然想起来有个草稿存了好久没写完。

去友校买了两个螃蟹吃，圆梦了。

和朋友写了 Times 和 Plus ，可惜还不够好……缺少了一些……说不上来的感觉

分流还不错，如愿以偿。

一直想骑去苏城，没去上

雪冬

复习复习复习复习期末周学麻了说是

报名了 SCU 的 LEAN 寒假培训班，博一下公费旅游（bushi

他人所讲述的故事

Anime

少女终末旅行：好久之前买的，才把漫画看完，打算寒假再回顾一遍番剧和漫画，好喜欢这种末世风。
假冒的孩子：开头不错，后边感觉要落入俗套了，第四册还没出，不知道会怎么样。

Cartoon

败犬女主：单身狗看不得这个，太阳光了太青春了感觉要死了
来自深渊：嗯……

Games

旮旯启动少了，我忏悔

夏日口袋：只推了鸥线
闪耀青春：共通线都没推完

Novel

我和女友的妹妹接吻了：太棒了我要看的就是这种扭曲的剧情啊！！！

Bokaro

海茶、すずぬい：海鲜风味的曲子，今年特别喜欢听
花鸟风月：好听的老歌，可惜专辑有价无市收不到
史替：你说什么和什么的戴维斯线😰😰😰

听筒那端

听筒那端逐渐听不见回声，只剩传来的一阵嘟嘟忙音。

唉唉，人际关系

那日炫目的光彩

学习这块也是烂中烂，苦中作乐的是至少数论还有在好好学。

其他的嘛……基本就是东学一点西学一些了

因为有一条通向远处的路

苏城杭州，都是一日游，没能留下什么记忆

大概也只能回忆起漫步在苏城楼宇间的场景吧。

问点什么？

参考一起用 15 个问题总结这一年吧！

Q01.如果用一个字/词/短语/句子来概括这一年，你会如何描述它？

迷茫。我依旧不知道我将要走向何方

Q02. 这一年是否面临了对你而言重要的人生变化？

电脑被格式化了，失去了整个高中留下来的聊天记录

Q03. 日常的生活节奏如何？在锻炼、饮食、睡眠方面，有哪些变化与反思？

不太像活人，吃饭时间和正常三餐时间完全错开，睡眠时区至少西移了四个时区。睡眠真得调整了（汗

Q04. 在财务管理和储蓄方面是否有变化，有什么有意思的支出吗？

修手机算吗（目移

除此之外大概是下单了 anemoi 的实体版

Q05. 工作或学习上，这一年取得了哪些对你而言具有阶段意义的里程碑？

依旧没挂科，分流顺利，以及入选辅修，和同学做了 Times 和 Plus

Q06. 是否发展了一些个人副业或长期兴趣项目？目前的进展与收获如何？

完全没有，残念，不过我猜新学的 lean 大概会帮我找到一点方向

Q07. 有哪些让您情绪起伏的瞬间？

市赛少输出了换行、电脑被格式化、队友退役

Q08. 是否落泪过，为什么？

骑车风吹的

Q09. 尝试了哪些未曾体验的事情？

好像……没有诶

Q10. 去到了哪些未曾涉足的空间？

通勤路上的十几公里，之前一直是地铁的，这学期时间宽了经常骑车去

Q11. 有哪些对您产生影响的书籍、影视、音乐或游戏作品？其中是否有特别令您印象深刻的人物、角色或观点？

少女终末旅行吧，我现在的个性签名就出自那里

就算活著沒有意義，偶而還是會碰到好事的。

Q12. 是否进入、发展或结束过一段亲密关系，有什么新的体悟？

无

Q13. 哪些朋友对您这一年影响最大？是否结识了新朋友，是如何结识的？

黄油猫，打游戏打的。湘，平时聊天。新朋友基本都是在学校群里抓到的。

Q14. 有没有参与到一些社区或圈子的建设、维护或互动，对您而言意味着什么？

帮 lean 的中文社区抓了点格式错误，对我来说也就是举手之劳吧

Q15. 面向 2026 年，您最希望实现的三个目标或愿望是什么？

把生活习惯（尤其是睡眠）调整好

找到乐于从事的兴趣

有一段关系真的很好的友情

有让自己快乐吗

残念，并没有，我甚至不能直面自己写完这篇总结

（唉不是怎么这么像流水帐啊草，元旦前再完善完善？

Times

Fri, 05 Dec 2025 12:15:05 GMT

Times: 基于RSSHub 与 Friend-Circle-Lite 的学院通知聚合网站

::github{repo="DIYgod/RSSHub"} ::github{repo="willow-god/Friend-Circle-Lite"}

有人似乎半个月没更新博客了（（（

但倒是度过了还算充实的半个月，从 Github 热力图上便可见一斑。

周末闲下来了不妨讲讲这半个月都干了什么，就从 Times 开始好了。

起因

之前跟别人聊天的时候曾经开玩笑地说过

对我来说，信息就是生命

这样的话。所以我在生活中也挺留意学校和其他的一些通知。早获得信息、早做打算、早想对策，于我而言大概算是一种习惯。

所以我闲着没事的时候就回去刷新一下学校的各个通知网站，像是本科生院、学科竞赛、本科生跨国(境)、跨校交流网一类的。

于是就有一个显而易见的问题：通知太“散”了。 基本上为了查看有没有最新通知要去看好几个网站，就很麻烦。但当时也没想到什么好的解决法子，就先凑合用着了。

契机

之前有段时间了解过一点点 RSS ，也听说过 RSSHub 这个为不提供 RSS 订阅的网站添加 RSS 解析的项目，但当时也仅仅是作为一个订阅链接的“使用者”，况且发现由于学校网站迁移，之前前辈写好的 RSSHub 路由不能用了，也就没有深入了解下去。

上个月给这个博客网站添加了友链朋友圈功能后（见这篇博文），我突然发现“这玩意拿来抓学校通知刚刚好”。本着有自用需求的想法，我忽悠 FrozenStarrrr 重启暑假搁置掉的 Minus 计划。刚刚好那周我们专业要进行分流，也带有一点点“做出来的话可以当面试资本”的私心在。

结构

从这一小节开始正式进入具体介绍项目环节。

~~fuwari 怎么没有 mermaid 支持草~~

                                -----------------
---------------------  RSSHub   |     .xml      |
| School's websites |---------->|      on       |
---------------------           | RSSHub Server |
                                -----------------
                                        |
                        ----------------| Friend-Circle-Lite
                        |               |
                        v               v
                ---------------    ------------
                | Github Page |    | all.json |
                ---------------    ------------

// 手搓只能画成这样了凑合看吧

基本思路就是

编写路由解析学校网站的通知公告页面
部署 RSSHub 服务器（当然我们小作坊没钱高服务器只能找其他办法）
利用友链朋友圈定时抓取上一步生成的 .xml 文件
生成静态页面，部署到 Github Page 上

编写路由

因为学校的本科生院网站完全就是把之前教务处网站换了个域名。而棒无前辈之前曾写过教务处网站的路由，这使得我们可以参考抄前辈留下来的 .ts 文件照葫芦画瓢，先将本科生院的路由和自家学院的路由写好。

写完两个路由，也差不多有了点经验。接下来的几周我们陆续又写完了其他 25 个学院的路由（PR#20532, PR#20582）。这也是目前路由的完成情况，有关于更详细的路由支持计划，您可以查看我们 Fork 仓库的 Issue#1。

由于作为一个仅有三人的小作坊，我们属实没钱也没有什么网络安全经验去维护一台服务器，所以我们只能依赖公共实例或是 Github Actions 。无论哪种我们都需要将自己写的路由提 PR 给原 repo。所以有一周基本上就是在 写路由 -> 提PR -> 查看CR评论 -> 改路由 的循环中度过的。

~~考虑到 RSSHub 的规模，我似乎可以不要脸的说自己也是给 stars 项目提过 pr 的人~~

部署友链朋友圈

这一步基本照着文档来就行，但考虑到抓取通知毕竟和项目原目的不一样，还是需要做一些更改。

修改读取 `json` 路径

spider_settings:
  enable: true
  json_url: "https://raw.githubusercontent.com/ECNU-minus/Friend-Circle-Lite/main/sites.json"
  ...

对于新增学院的信息按照文档给定格式写入 Fork 仓库根目录下的 sites.json 文件

由于 RSSHub 生成的订阅路径特殊，不能由 site.json 中的链接自动解析，需要在 conf.yaml 中自行执行 RSS 地址

# 特殊RSS地址指定，可以置空但是不要删除！
# 解释：用于指定特殊RSS地址，如B站专栏等不常见RSS地址后缀，可以添加多个
#   name:               友链名称
#   url:                指定的RSS地址
specific_RSS:
  - name: 学院名称
    url: RSS 订阅地址

添加学院 logo

这一步对我来说是比较难受的一步，需要去各个学院官网手动找到院徽下载转成 .webp 格式然后统统塞入 ./assets/ 文件夹下。理想状态是点开学院官网就能从学院详情直接下载到透明背景的图片，至于实际操作下来嘛……

数院化院还有几个学院没有院徽
计院只能找到蓝底的院徽
传播学院给了 .ai 格式的文件倒是还能理解但是美术学院竟然只提供 .pdf 格式的文件 ~~不是，为什么要用 .pdf 存图片啊~~

最后官网找不到的只好去下载微信公众号头像，没设计院徽的学院就只能用校徽替代，才总算凑了个七七八八。

功能调整

更换默认壁纸

默认壁纸实在是太不二次元了，更换 ./static/bg-light.webp 文件即可

去掉首页

默认的友链朋友圈界面点开会是 文档/接口 页面，需要往下滚动才能查看到文章，容易使用户感到困惑，故需要删掉相关代码

<style>
  ...
  .container {
      background: rgba(255, 255, 255, 0.8);
      display: flex;
      text-align: center;
      align-items: center;
      height: 100vh;
      width: 100%;
      flex-direction: column;
      justify-content: center;
  }
  ...
</style>
...
<div class="container">
  <img src="./favicon.ico" alt="Avatar" class="avatar" />
  <p>Friend-Circle-Lite<br />服务已运行</p>
  <div class="button-container">
    <a
      href="https://blog.liushen.fun/posts/4dc716ec/"
      class="button"
      target="_blank"
      >查看文档</a
    >
    <a href="/all.json" class="button">测试接口</a>
  </div>
  <a href="#" class="scroll-down-icon" id="scroll-down-button"></a>
</div>

修改文章抓取数目与抓取时间

设定每个学院抓取 8 篇文章（只是因为刚好凑个整又不至于太少）

spider_settings:
  ...
  article_count: 8
  ...

原仓库为抓取数目设定了默认 150 的上限，超过了便会按照一定规则筛选作者，考虑到学院数目较多，故将上限改为 256 （同样凑个整）

def deal_with_large_data(result):
    """
    处理文章数据，保留前150篇及其作者在后续文章中的出现。

    参数：
    result (dict): 包含统计数据和文章数据的字典。

    返回：
    dict: 处理后的数据，只包含需要的文章。
    """
    result = sort_articles_by_time(result)
    article_data = result.get("article_data", [])

    # 检查文章数量是否大于 150
    max_articles = 256

从 RSSHub 服务器抓取通常需要更长的时间，默认设置的 15 秒很容易超时，故将其修改为 60 秒。

timeout = (10, 15)

添加筛选作者多选下拉栏

这部分扔给 FrozenStarrrr 处理的，我只提了需求没管具体实现。

生成静态页面

这部分主要是调 Actions ，感觉还算比较重要，故单拉出来一个二级标题。

域名

原部署逻辑是在生成静态页面后初始化 git 仓库然后强制推送到 page 分支上，这样做的好处是 page 分支始终仅有 1 个 commit ，较为简洁，但是每次更新会清理掉 CNAME 文件，令自定义域名失效。故对 actions 做如下修改

- name: Commit changes
  run: |
    mkdir pages
    cp -r main ./static/index.html ./static/readme.md ./static/favicon.ico ./static/bg-light.webp ./temp/cache.json ./static/bg-dark.webp all.json errors.json pages/
    cd pages
    touch CNAME
    echo "times.myecnu.org" >> CNAME
    git init
    git add .
    git commit -m "⏱️ $(date +"%Y年%m月%d日-%H时%M分") GitHub Actions定时更新"
    git push --force https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git HEAD:page

服务器

一开始我们采用的是抓取远程公共实例的方式，但是这样会比较依赖远端服务器的稳定性，在问了伟大的ゲミニ様之后得知可以在 actions 里边通过拉取 docker 镜像提供服务。于是作如下修改
```
friend-circle-lite:
  runs-on: ubuntu-latest

  services:
    rsshub:
      image: diygod/rsshub:latest
      ports:
        - 1200:1200
      options: >-
        --health-cmd "curl -f http://localhost:1200/ || exit 1"
        --health-interval 10s
        --health-timeout 5s
        --health-retries 5
```
然后将所有抓取链接指向 localhost:1200 即可。

后续计划？

当前虽然算是能用，但还是存在一些不足，后续可能会考虑对其进行进一步的修改。

支持更多网站

目前仅支持所有以 <ul></ul> 无序列表实现通知公告的网站（除了你，数院）使用 <table> 和 <div> 实现的网站暂时还没写。目前已经支持和打算支持的页面可以参照 Fork 仓库的 Issue#1 页面。

以及数学科学学院网站采用 gb2312 编码，直接抓取会出现编码错误，暂时还没想好怎么解决。

重写静态页面

审美不合

邮箱通知

当前还只能通过用户查看来被动查找信息，但友链朋友圈原仓库支持邮箱推送，可以实现主动推送订阅通知，提升用户友好性。基于此，下一步要做的是修改对应配置文件，支持用户订阅部分消息源的通知，并定时推送。

::github{repo="ECNU-minus/times"}

本文封面为作品星空鉄道とシロの旅中的 CG

博客折腾指北0x03 - 随记、一言或是微语

Wed, 12 Nov 2025 03:32:02 GMT

随记页面

本小节部分灵感来自于微语/说说/微博/Mricoblog 嵌入博客网页
本文代码修改自 Misskey 文档 - 嵌入网站

::github{repo="misskey-dev/misskey"}

:::tip[实现] 本博客基于内嵌 Misskey 时间线实现该功能，如不想通过该方法方法实现，请查阅其他文章。 :::

在此之前我使用过 Wordpress 部署博客，当时选用的主题是 Sakurairo ，印象当中是有一个页面可以用来记录一些只言片语 ~~方便我随地大小写（bushi）~~。

最近在浏览他人博客的时候，在 Shiro 的博客中又看到了类似的界面。于是便打算给自己的博客也弄一个。 am_g_7 但是当前部署的静态博客有个问题，在移动端设备弄一个 git 和 Obsidian 来写这种短博文有些太过不便了。于是我最后采用了内嵌外部 SNS 的方法。

之前被别人介绍过联邦宇宙（Fediverse）的存在，对这种去中心化但又互联互通的结构颇有好感。在对比了一些平台后，我采用了 Misskey （主要是界面美观还可以插入表情包）。当然你也可以选择 Mastodon 或是别的什么，在此贴一篇基于 Mastodon 实现的参考博文：

Hugo 博客集成 Mastodon

:::warning[使用联邦宇宙时的注意事项] 请遵循你所使用实例的 基本规则、服务条款 等内容，建议有条件的人可以自行搭建实例。 :::

以下为基于 Misskey 的实现方法：

在你喜欢的实例上注册 Misskey 账号

在 ./src/pages/ 目录下创建 misskey.astro 文件

---
import { getEntry, render } from "astro:content";

import Markdown from "@components/misc/Markdown.astro";

import MainGridLayout from "../layouts/MainGridLayout.astro";

const thisPost = await getEntry("spec", "misskey");

if (!thisPost) {
 throw new Error("This page content not found");
}

const { Content } = await render(thisPost);
---

<MainGridLayout title="随记" description="私の Misskey">
  <div
    class="flex w-full rounded-[var(--radius-large)] overflow-hidden relative min-h-32"
  >
    <div class="card-base z-10 px-9 py-6 relative w-full">
      <Markdown class="mt-2">
        <Content />
      </Markdown>
    </div>
  </div>
</MainGridLayout>

在 ./src/content/spec/ 文件夹下创建 misskey.md 文件，并在其中合适位置插入如下代码段
```
...

<iframe
  src="https://<HOST>/embed/user-timeline/<USER_ID>"
  data-misskey-embed-id="v1_<RANDOM>"
  loading="lazy"
  referrerpolicy="strict-origin-when-cross-origin"
  style="border: none; width: 100%; max-width: 500px; height: 300px; color-scheme: light dark;"
></iframe>
<script defer src="https://<HOST>/embed.js"></script>
...
```
并作如下修改：
- <HOST>: Misskey 服务器的主机名
- <USER_ID>: 要嵌入的用户的 ID（不是以 @ 开头的用户名）
- <RANDOM>: 随机字符串（如果使用 embed.js ，则为必填项。如果同一页面中有多个嵌入代码，请确保它们不重复）
上述代码也可以在 Misskey 个人主页-右上角三个点-嵌入-此用户的帖子 处自动生成

修改 ./src/config.ts

...
export const navBarConfig: NavBarConfig = {
  links: [
    ...
    {
     name: "随记",
     url: "/fediverse/",
    },
    ...
  ]
}
...

最终效果请前往随记页面查看

本文封面为作品anemoi中的CG

云端的单身情歌流程简述

Wed, 12 Nov 2025 01:57:17 GMT

如何组织一场线上单身情歌？

在此记录2025年云端单身情歌准备流程，留给后人参考。
—— 09-音频

早期准备

群聊

目前群聊仍是沿用 2023 年云端单身情歌时建的群，截至敲下这段话，群聊内共有1241人。

据 H 统计，去年活动结束后群聊内有约700人，目前群上限为 2000 人（啊我艹年超会好贵.jpg），所以按这个增长率看至少明年还不用担心清人/扩群/分群的问题。

但明年大概需要讨论群满了应该怎么办。

必要的文件

今年和去年用到的文件大致如下：

单身情歌原唱（可由网易云直接播放，但需要会员）
凤凰花开的路口原唱（同上）
往年单身情歌回顾视频（自己剪）
当天上午单身情歌合唱录像（自由&青华，可以试试提前问问光影在校生当天能不能帮忙录像
校歌（可以在 b 站上找）
学校内各类铃声音乐（请尽可能使用原文件，部分文件已上传到策划群群文件中）
- 预铃：《在那白茫茫的田野上》
- 上课铃
- 下课铃
- 二晚放学铃
- 离校铃（工作日晚九点播放）：《友谊地久天长》钢琴
- 间操音乐：
  1. 《Get Up》—— Kelly Clarkson
  2. 《Samsara》—— Tungevaag & Raaban
  3. 《霍元甲》—— 周杰伦

先期宣传

这两年暑假至十一期间，毕业生间会传共享文档。可以趁传的比较热的时候将活动群二维码以接龙留言的形式插进文档。

前期准备

海报

只是提醒有这一项别忘了，具体样式由当年组织者自己发挥，记得把群二维码/加群方式放到海报上。

宣传

可以通过如下几个途径宣传：

QQ表白墙
微信长庆街南北
当届（或往届）毕业生年级群
校贴吧

可以以是否看到自己朋友圈中当届毕业生都在转海报为宣传成功基准。

审核

群聊需要进行审核，主要核验是否会进来捣乱/广告号。

给出我个人审核策略以供参考：

当届毕业生当然需要放进来
往届毕业生也应该放进来
毕业很久的毕业生也别拦外边
在校生也不用卡，考虑到作息不推荐参与，但是想来唱也不拦着
外校学生想来凑热闹的只要表明身份不捣乱也能来
入群问题语焉不详、顾左右而言他的打回但不用拉黑，让他们重新填入群问题

群内管理

控制话题走向，可以闲聊吹水，但不要涉及敏感话题。在有冲突苗头的时候及时介入。善用群管理权限，对于发言不合适的人按照 提醒&撤回-禁言-踢出去 渐进处理。

不是很推荐踢人，容易吸仇恨。一般禁言处理即可。

如果群内有冲突让他们拉个小群自行解决。别在千人群里丢人。

确定时间

近几年活动时间一直是 11-11 23:11

考虑到各个学校晚课、晚自习、熄灯时间不一，以及纪念意义，这个时间算是折中的选择（不过确实晚了些）。

可以在活动前两天在活动群内发个投票询问是否有更好的时间安排。

腾讯会议

确定时间后去淘宝租腾讯会议，租当晚 23:00-00:00 ， 500 的即可。

参考价位是CN¥ 30~40。

千人会议太贵了而且没有那么多人来，没必要租。

如果预估同时入会人数少于 300 人的话可以看看有没有学校为学生提供 300 人会议室预约，比如我就能约到。（不过没什么必要，500 人的也不贵）

活动流程

以下为 2025 年流程，仅供参考。实际组织没必要完全按照这个来，凭当年组织者喜好。

活动开始前

提前一小时（22:00）左右确认设备，调试音量，准备好文件、电脑壁纸等。

提前十五分钟（22:45）进活动会议室，设置联席主持人，手动开启录屏。整场活动中联席主持人需要及时闭麦、禁言、移出不合适发言、行为的人。

23:00 把会议号发到群内，开始进人。

暖场

放一些前期暖场的纯音乐，

我力荐 Yanni 的《With an Orchid》。

前场

放预铃，然后播放往年单身情歌回顾视频和当天学校内录像。

时间允许的话可以下午把当天录像剪入回顾视频中一起放。

主体

放上课铃，然后播放单身情歌原唱，需要在屏幕上显示KTV式歌词，歌词颜色对比度需要大一点（今年看不清放到哪句了）

第一遍放完空两分钟闲谈一下，然后放第二遍让来晚的同学唱。

第三遍依照当年情况酌情考虑，可放可不放。

后场

唱完单身情歌放下课铃，接下来时间留给大家点歌。

一定会有人点校歌，所以先放校歌，接下来可以放间操音乐，这段时间主要留给大家聊天。

结束

基本歌点的差不多了，人开始有点散了，放二晚放学铃，然后放最后一首《凤凰花开的路口》。

放完放离校铃，在群内接龙走队形留念。

然后和剩下的人道晚安，说活动结束了可以离开会议室，这个时候可以放一些音乐作为背景音送大家离开。

我力荐 Kenny G. 的《Going home》

到 00:00 还有人在会议室内的话就直接结束会议。

活动结束后

结束会议后去下载会议云录制视频，如果没有下载/访问权限的话去和淘宝商家对线。

55 年秋 13 周、冬 1 周周记

Mon, 10 Nov 2025 11:23:33 GMT

55 年秋 13 周、冬 1 周周记

秋 13

不是，这太诡异了，我想写周记的时候发现上周没什么好写的。你懂吗，就如同上一周不存在了， removed了， deleted了。

冬 1

嘶，这就半学期了？

学习

计算机

软件测试与验证

秋 13

考试，看上周周记。

编译原理与技术

摸了

冬 3 周考试，需要复习。

操作系统

冬 1

配 lab 环境，没配好

软件分析与验证前沿

暂时没看

竞赛

Codeforces

秋 13

1+2 只开了一道 A 掉大分重回青名，只能说不是很擅长这种数据范围有特殊影响的题目。

这事不想多说……太打击了……

马上还有一场 div 2 ，打回来一雪前耻好了。

AtCoder

秋 13

周六打了 abc431 ，还算不错，基本解题思路和复盘可以看这篇文章。

冬 1

周六打了 abc432 ， C 注意到了性质代码没写对，应该直接用一元二次方程解的。基本思路与复盘还没写，这两天补一下题。

其他

秋 13

数学

上课摸鱼一时爽，周记复盘火葬场了这下。

微分几何

同秋 12 周。

初等数论

冬 1

在讲二次剩余，笔记见初等数论第9周笔记

偏微分方程

没学，也没看回放，只知道还在讲热传导方程，坏中坏。

拓扑学基础

冬 1

开始从头追进度了打算，整理了拓扑学基础第2周笔记

日语

？还有这茬？

（心虚）（目移）

生活

沉迷打则

下周分流

秋 13

水曜 - 学业帮帮，见讲义

土曜 - CMC 体验卡，包没奖的

冬 1

火曜 - 云端双十一，见流程简述

土曜 - 给课栈提了个 pr

啊草怎么突然这么忙了

想不到写什么了，就这样吧。。。

哦对，螃蟹好吃

本文封面为作品Summer Pockets REFLECTION BLUE中的 CG

博客折腾指北0x02 - 友链与朋友圈

Sun, 09 Nov 2025 16:07:24 GMT

友链与朋友圈

我觉得友链界面算是博客必不可少的一部分，可惜 Fuwari 主题尚未实现这一功能，只能自己另寻其他解决办法。

:::warning[参考注意] Fuwari 主题后续可能会内置友链页面，请考虑是否要自己外加这一功能。

此外，我对于 Astro 了解并不深，如您阅读了这系列第 0x00 篇文章的话应该知道我听说 Astro 也仅仅是半月前的事情。所以基本上文中代码不是抄的就是 AI 写的，很多代码可能未必准确，主打一个能跑就行。
这个文章的实现策略也仍存在问题，比如友链部分样式不一致。

如您愿意帮我改进代码，请提PR。我将不胜感激。 :::

友链页面

本小节代码主要修改自仓库 cworld1/astro-theme-pure

::github{repo="cworld1/astro-theme-pure"}

:::note[有关上游仓库 saicaca/fuwari 对友链的支持计划] 详见issue #35和pr #642 :::

友链界面最开始参考了AULyPc的文章给你的Fuwari添加一个友链页面，但后来在逛 Axi's Blog 的时候很喜欢他的友链界面和朋友圈，于是顺藤摸瓜找到了 Pure 主题，然后把友链相关的部分抄了过来，具体步骤大致如下：

添加必要组件

仿照 Pure 主题配置建立 ./public/links.json 文件，以下为示例：

{
  "friends": [
    {
      "id_name": "my-favorite-links",
      "desc": "个人收藏",
      "link_list": [
        {
          "name": "空と海",
          "intro": "就算活著沒有意義，偶而還是會碰到好事的。",
          "link": "https://chiyoyuki.uk",
          "avatar": "https://chiyoyuki.uk"
        },
        {
          "name": "填写示例",
          "intro": "这是一个示例",
          "link": "localhost:4321",
          "avatar": "这里填写对方的头像地址"
        }
      ]
    },
    {
      "id_name": "my-friends-links",
      "desc": "先友后链",
      "link_list": []
    },
    {
      "id_name": "my-links-friends",
      "desc": "先链后友",
      "link_list": []
    },
    {
      "id_name": "special-links",
      "desc": "特殊链接",
      "link_list": [
        {
          "name": "异次元之旅",
          "intro": "我们一起去萌站成员的星球旅行吧！",
          "link": "https://travel.moe/go.html",
          "avatar": "https://icp.gov.moe/images/ico400.png"
        }
      ]
    }
  ]
}

在 ./src/components/ 文件夹下新建 links/FriendsList.astro 文件

---
import { Image } from "astro:assets";

interface friend {
 avatar: string;
 name: string;
 intro: string;
 link: string;
}

interface friend_list {
 id_name: string;
 desc: string;
 link_list: friend[];
}

function shuffle(arr: friend[]) {
 return arr.sort(() => Math.random() - 0.5);
}

interface Props {
 title?: string;
 list: friend_list;
}
const { title, list: friendList, ...props } = Astro.props;
---

{title && <h2 id={friendList.id_name}>{title}</h2>}
<div class="grid gap-3.5 sm:grid-cols-2 sm:gap-4 lg:grid-cols-3" {...props}>
  {
    friendList.link_list.length > 0 ? (
      shuffle(friendList.link_list).map((frd: friend) => (
        <a href={frd.link} target="_blank" class="no-underline">
          <div class="group relative h-full overflow-hidden rounded-2xl border bg-background px-2.5 py-1.5 transition-colors hover:bg-muted sm:px-4 sm:py-2">
            <div class="relative z-10 flex h-full items-center gap-3">
              {/* avatar */}
              <div class="relative h-14 w-14 min-w-14 overflow-hidden rounded-full">
                <Image
                  class="my-0 bg-white"
                  src={frd.avatar}
                  height={80}
                  width={80}
                  alt="avatar"
                  loading="lazy"
                />
                <div class="absolute start-0 top-0 h-full w-full">
                  <div class="flex h-full w-full items-center justify-center rounded-full bg-foreground opacity-0 transition-opacity duration-300 ease-in-out group-hover:opacity-50">
                    <svg
                      xmlns="http://www.w3.org/2000/svg"
                      width="32"
                      height="32"
                      viewBox="0 0 24 24"
                      fill="none"
                      stroke-width="2.5"
                      stroke-linecap="round"
                      stroke-linejoin="round"
                      class="me-2 stroke-background"
                    >
                      <line
                        x1="5"
                        y1="12"
                        x2="19"
                        y2="12"
                        class="translate-x-4 scale-x-0 transition-all duration-300 ease-in-out group-hover:translate-x-1 group-hover:scale-x-100"
                      />
                      <polyline
                        points="12 5 19 12 12 19"
                        class="translate-x-0 transition-all duration-300 ease-in-out group-hover:translate-x-1"
                      />
                    </svg>
                  </div>
                </div>
              </div>
              {/* details */}
              <div class="flex flex-col gap-y-1">
                <p class="my-0 line-clamp-1 text-sm">{frd.name} </p>
                <p class="my-0 line-clamp-1 text-xs text-muted-foreground">
                  {frd.intro}
                </p>
              </div>
            </div>
            {/* avatar bg */}
            <Image
              class="absolute -start-2 top-0 z-0 my-0 h-full w-2/3 bg-white object-cover opacity-15"
              src={frd.avatar}
              height={80}
              width={80}
              alt="avatar bg"
              loading="lazy"
              style={{
                maskImage:
                  "linear-gradient(to left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 1) 100%)",
                msMaskImage:
                  "-ms-linear-gradient(to left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 1) 100%)",
                WebkitMaskImage:
                  "-webkit-linear-gradient(to left, rgba(0, 0, 0, 0) 0%, rgba(0, 0, 0, 1) 100%)",
              }}
            />
          </div>
        </a>
      ))
    ) : (
      <p>Nothing here.</p>
    )
  }
</div>

在 ./src/pages 目录下创建 friends.astro 文件：

 ---
 import links from "public/links.json";
 import Waline from "../components/Waline.astro";
 import I18nKey from "../i18n/i18nKey";
 import { i18n } from "../i18n/translation";

 // import config from 'virtual:config'

 import Markdown from "@components/misc/Markdown.astro";
 import FriendList from "@/components/links/FriendsList.astro";
 // import PageLayout from '@/layouts/CommonPage.astro'
 import MainGridLayout from "@/layouts/MainGridLayout.astro";

 const headings = [
  { depth: 2, slug: "common-links", text: "Common Links" },
  { depth: 2, slug: "special-links", text: "Special Links" },
  { depth: 2, slug: "apply-links", text: "Apply Links" },
 ];

 const { friends } = links;
 // const linksConf = config.integ.links
 const linksConf = {
  // Yourself link info
  applyTip: [
   { name: "Name", val: "空と海" },
   { name: "Desc", val: "就算活著沒有意義，偶而還是會碰到好事的。" },
   { name: "Link", val: "https://chiyoyuki.uk" },
   {
    name: "Avatar",
    val: "https://cravatar.com/avatar/ac3d325212c82a0bed5aac65b37da52e?s=1024",
   },
  ],
 };

 const linkEditPage =
  "https://raw.githubusercontent.com/ChiyoYuki/chiyoyuki.github.io/refs/heads/main/public/links.json";
 ---

 <MainGridLayout
   title={i18n(I18nKey.friends)}
   description={i18n(I18nKey.friends)}
 >
   <div
     class="flex w-full rounded-[var(--radius-large)] overflow-hidden relative min-h-32"
   >
     <div class="card-base z-10 px-9 py-6 relative text-90 w-full">
       <p>怎么可能有顺序呢，当然是随机的~ It's random</p><br />
       <h2 id="common-links">个人收藏</h2>
       <FriendList list={friends[0]} /><br />
       <h2 id="special-links">先友后链</h2>
       <FriendList list={friends[1]} /><br />
       <h2 id="special-links">先链后友</h2>
       <FriendList list={friends[2]} /><br />
       <h2 id="special-links">特殊链接</h2>
       <FriendList list={friends[3]} /><br />

       <!-- apply-links -->
       <Markdown class="mt-2">
         <h2 id="apply-links">Apply Links</h2>
         <p>本站信息（点击即可复制）:</p>
         <blockquote
           class="not-prose grid grid-cols-[auto_1fr] gap-x-2 break-words border-s-4 ps-4"
         >
           {
             linksConf.applyTip.map(({ name, val }) => {
               const script = `navigator.clipboard.writeText('${val}');document.dispatchEvent(new CustomEvent('toast',{detail:{message:'Copied "${val}" to clipboard!'}}))`;
               return (
                 <>
                   <span class="text-end">{name}:</span>
                   <samp class="cursor-pointer" onclick={script}>
                     {val}
                   </samp>
                 </>
               );
             })
           }
         </blockquote>
         <p>
           可通过下方留言或 <a href={linkEditPage} target="_blank">提交 PR</a> 申请友链。此外申请说明：<br
           />
           Apply your link by leaving comment or <a
             href={linkEditPage}
             target="_blank">Submitting a PR</a
           >. Additional info:
         </p>

       </Markdown>
     </div>
   </div>
 </MainGridLayout>

修改i18n信息

在 ./src/i18n/i18nKey.ts 文件中填入 friends = "friends", 一项：

enum I18nKey {
  ...
  author = "author",
  publishedAt = "publishedAt",
  license = "license",
  friends = "friends",
  ...
}

修改 ./src/i18n/languages 下的文件，此以 zh_CN.ts 为例：

export const zh_CN: Translation = {
  ...
  [Key.author]: "作者",
  [Key.publishedAt]: "发布于",
  [Key.license]: "许可协议",
  [Key.friends]: "友链",
  ...
}

将友链界面添加至顶栏

修改 ./src/types/config.ts ，添加 Friends 一项

export enum LinkPreset {
   Home = 0,
   Archive = 1,
   About = 2,
   Friends = 3,
  ...
}

修改 ./src/config.ts ，添加 LinkPreset.Friends 一项

export const navBarConfig: NavBarConfig = {
   links: [
    ...
    LinkPreset.Home,
    LinkPreset.Archive,
    LinkPreset.About,
    LinkPreset.Friends,
    ...
  ],
};

友链朋友圈

本小节代码主要修改自仓库 cworld1/astro-theme-pure 和 willow-god/Friend-Circle-Lite

::github{repo="willow-god/Friend-Circle-Lite"}

生成新的 json 文件

在 ./scripts/ 下（或是别的什么地方）新建 generate-format-friends.cjs

const fs = require("node:fs");
const path = require("node:path");

// 黑名单：不想订阅的站点名称
const blacklist = ["友站名称1", "友站名称2", "友站名称3"];
// 只处理前几个分组（与原脚本行为一致）
const lastIndex = 3;

const inputPath = path.resolve(process.cwd(), "public", "links.json");
const outputPath = path.resolve(process.cwd(), "public", "friend.json");

function loadLinks() {
  if (!fs.existsSync(inputPath)) {
    console.error(`输入文件不存在: ${inputPath}`);
    process.exit(2);
  }
  try {
    const raw = fs.readFileSync(inputPath, "utf8");
    return JSON.parse(raw);
  } catch (err) {
    console.error("读取或解析 JSON 失败：", err);
    process.exit(2);
  }
}

function buildFriendData(data) {
  const friends = [];

  if (!data || !Array.isArray(data.friends)) {
    console.warn('输入 JSON 中未找到 "friends" 数组，输出将为空。');
    return { friends: [] };
  }

  data.friends.forEach((group, index) => {
    if (index < lastIndex) {
      const list = Array.isArray(group.link_list) ? group.link_list : [];
      const filtered = list.filter(
        (item) => item && !blacklist.includes(item.name),
      );
      filtered.forEach((item) => {
        const name = item.name || "";
        const link = item.link || "";
        const avatar = item.avatar || "";
        friends.push([name, link, avatar]);
      });
    }
  });

  return { friends };
}

function writeOutput(obj) {
  try {
    const dir = path.dirname(outputPath);
    if (!fs.existsSync(dir)) fs.mkdirSync(dir, { recursive: true });
    fs.writeFileSync(outputPath, JSON.stringify(obj, null, 2), "utf8");
    console.log(`已生成：${outputPath}`);
  } catch (err) {
    console.error("写入输出文件失败：", err);
    process.exit(2);
  }
}

const data = loadLinks();
const friendData = buildFriendData(data);
writeOutput(friendData);

// 导出以便测试或复用（如果以模块方式引入）
module.exports = { loadLinks, buildFriendData, writeOutput };

克隆 willow-god/Friend-Circle-Lite 并作为公开仓库

修改你的 Friend-Circle-Lite 仓库中的 ./conf.yaml 文件，使其指向第一步中生成的 json 文件

spider_settings:
  ...
  enable: true
  json_url: "https://raw.githubusercontent.com/ChiyoYuki/chiyoyuki.github.io/refs/heads/main/public/friend.json"
  ...

修改你的 Friend-Circle-Lite 仓库的设置， Settings-Pages-Build and deployment 中 Source 选择 Deploy from a brench ， Branch 选择 page 分支根目录。然后可以前往 $USER_NAME.github.io/$REPO_NAME 页面查看是否正常生成

在友链界面添加朋友圈

接下来回到博客仓库

修改 ./src/pages/friends.astro 文件，其中 private_api_url 这里修改为上一步生成页面的地址

...
<Markdown class="mt-2">
    <h2 id='small-circle'>Small Circle</h2>
    <div id='friend-circle-lite-root' class='not-prose'>Loading...</div>
    <script>
    import '@/styles/fc.css'

    import { FriendCircle } from '@/plugins/friend-circle'

    const fc = new FriendCircle()
    fc.init({
    private_api_url: 'https://chiyoyuki.uk/Friend-Circle-Lite',
    page_turning_number: 10,
    error_img: 'https://cravatar.cn/avatar/57d8260dfb55501c37dde588e7c3852c'
  })
  fc.load()
  </script>
  <h2 id="apply-links">Apply Links</h2>
  <p>本站信息 The site information:</p>
  ...
</Markdown>
...

在 ./src/plugins/ 文件夹下添加 friend-circle.ts 文件

interface Config {
  private_api_url: string;
  page_turning_number: number;
  error_img: string;
}

interface Article {
  title: string;
  link: string | URL;
  avatar: string;
  author: string;
  created: string;
}

interface ArticleData {
  article_data: Article[];
  statistical_data: {
    friends_num: number;
    active_num: number;
    article_num: number;
    last_updated_time: string;
  };
}

export class FriendCircle {
  config!: Config;
  root!: HTMLElement;
  start = 0;
  allArticles: Article[] = [];
  container!: HTMLElement;
  randomArticleContainer!: HTMLElement;
  statsContainer!: HTMLElement;
  loadMoreBtn!: HTMLButtonElement;
  modal!: HTMLElement;

  load() {
    this.loadMoreArticles();
    this.loadMoreBtn.addEventListener(
      "click",
      this.loadMoreArticles.bind(this),
    );
    window.onclick = (event) => {
      const modal = document.getElementById("modal");
      if (event.target === modal) {
        this.hideModal();
      }
    };
  }

  init(config: Partial<Config>) {
    this.config = {
      private_api_url: config.private_api_url || "",
      page_turning_number: config.page_turning_number || 20,
      error_img:
        config.error_img ||
        "https://fastly.jsdelivr.net/gh/willow-god/Friend-Circle-Lite@latest/static/favicon.ico",
    };

    this.root = document.getElementById(
      "friend-circle-lite-root",
    ) as HTMLElement;
    if (!this.root) return;

    this.root.innerHTML = "";
    this.createContainers();
  }

  private createContainers() {
    this.randomArticleContainer = this.createElement("div", {
      id: "random-article",
    });
    this.container = this.createElement("div", {
      className: "articles-container",
      id: "articles-container",
    });
    this.loadMoreBtn = this.createElement("button", {
      id: "load-more-btn",
      innerText: "Load more",
    }) as HTMLButtonElement;
    this.statsContainer = this.createElement("div", {
      id: "stats-container",
    });

    this.root.append(
      this.randomArticleContainer,
      this.container,
      this.loadMoreBtn,
      this.statsContainer,
    );
  }

  private createElement<K extends keyof HTMLElementTagNameMap>(
    tag: K,
    attributes: Partial<HTMLElementTagNameMap[K]>,
  ): HTMLElementTagNameMap[K] {
    const element = document.createElement(tag);
    Object.assign(element, attributes);
    return element;
  }

  loadMoreArticles() {
    const cacheKey = "friend-circle-lite-cache";
    const cacheTimeKey = "friend-circle-lite-cache-time";
    const cacheTime = localStorage.getItem(cacheTimeKey);
    const now = Date.now();

    if (cacheTime && now - Number(cacheTime) < 10 * 60 * 1000) {
      const cachedDataString = localStorage.getItem(cacheKey);
      const cachedData = cachedDataString
        ? JSON.parse(cachedDataString)
        : null;
      if (cachedData) {
        this.processArticles(cachedData);
        return;
      }
    }

    fetch(`${this.config.private_api_url}all.json`)
      .then((response) => response.json())
      .then((data) => {
        localStorage.setItem(cacheKey, JSON.stringify(data));
        localStorage.setItem(cacheTimeKey, now.toString());
        this.processArticles(data);
      })
      .finally(() => {
        this.loadMoreBtn.innerText = "Load more";
      });
  }

  processArticles({ article_data, statistical_data }: ArticleData) {
    this.allArticles = article_data;
    this.updateStats(statistical_data);
    this.displayRandomArticle();
    this.displayArticles();
  }

  private updateStats(stats: ArticleData["statistical_data"]) {
    this.statsContainer.innerHTML = `
      <div>${stats.friends_num} links with ${stats.active_num} active | ${stats.article_num} articles in total</div>
      <div>Updated at ${stats.last_updated_time}</div>
      <div>Powered by <a href="https://github.com/willow-god/Friend-Circle-Lite" target="_blank">FriendCircleLite</a><br></div>
    `;
  }

  private displayArticles() {
    const articles = this.allArticles.slice(
      this.start,
      this.start + this.config.page_turning_number,
    );
    articles.forEach((article) => {
      this.createArticleCard(article);
    });
    this.start += this.config.page_turning_number;

    if (this.start >= this.allArticles.length) {
      this.loadMoreBtn.style.display = "none";
    }
  }

  private createArticleCard(article: Article) {
    const card = document.createElement("div");
    card.className = "article";
    card.innerHTML = `
      <div class="article-image author-click">
        <img class="no-lightbox" src="${article.avatar || this.config.error_img}" onerror="this.src='${this.config.error_img}'">
      </div>
      <div class="article-container">
        <div class="article-author author-click">${article.author}</div>
        <a class="article-title" href="${article.link instanceof URL ? article.link.toString() : article.link}" target="_blank">${article.title}</a>
        <div class="article-date">️${article.created.substring(0, 10)}</div>
      </div>
    `;
    card.querySelectorAll(".author-click").forEach((el) => {
      el.addEventListener("click", () => {
        this.showAuthorArticles(
          article.author,
          article.avatar,
          article.link,
        );
      });
    });
    this.container.appendChild(card);
  }

  displayRandomArticle() {
    const randomArticle =
      this.allArticles[Math.floor(Math.random() * this.allArticles.length)];
    this.randomArticleContainer.innerHTML = `
      <div class="random-title">Random Poll</div>
      <div class="article-container">
        <div class="article-author">${randomArticle.author}</div>
        <a class="article-title" href="${randomArticle.link}" target="_blank">${randomArticle.title}</a>
        <div class="article-date">️${randomArticle.created.substring(0, 10)}</div>
      </div>
      <button id="random-refresh">
        <svg xmlns="http://www.w3.org/2000/svg" width="32" height="32" viewBox="0 0 24 24"><g fill="none"><path d="M24 0v24H0V0zM12.593 23.258l-.011.002l-.071.035l-.02.004l-.014-.004l-.071-.035q-.016-.005-.024.005l-.004.01l-.017.428l.005.02l.01.013l.104.074l.015.004l.012-.004l.104-.074l.012-.016l.004-.017l-.017-.427q-.004-.016-.017-.018m.265-.113l-.013.002l-.185.093l-.01.01l-.003.011l.018.43l.005.012l.008.007l.201.093q.019.005.029-.008l.004-.014l-.034-.614q-.005-.019-.02-.022m-.715.002a.02.02 0 0 0-.027.006l-.006.014l-.034.614q.001.018.017.024l.015-.002l.201-.093l.01-.008l.004-.011l.017-.43l-.003-.012l-.01-.01z"/><path fill="currentColor" d="M2 12.08c-.006-.862.91-1.356 1.618-.975l.095.058l2.678 1.804c.972.655.377 2.143-.734 2.007l-.117-.02l-1.063-.234a8.002 8.002 0 0 0 14.804.605a1 1 0 0 1 1.82.828c-1.987 4.37-6.896 6.793-11.687 5.509A10 10 0 0 1 2 12.08m.903-4.228C4.89 3.482 9.799 1.06 14.59 2.343a10 10 0 0 1 7.414 9.581c.007.863-.91 1.358-1.617.976l-.096-.058l-2.678-1.804c-.972-.655-.377-2.143.734-2.007l.117.02l1.063.234A8.002 8.002 0 0 0 4.723 8.68a1 1 0 1 1-1.82-.828"/></g></svg>
      </button>
    `;
    this.randomArticleContainer
      .querySelector("button#random-refresh")
      ?.addEventListener("click", (event) => {
        event.preventDefault();
        this.displayRandomArticle();
      });
  }

  // Enable modal
  showAuthorArticles(author: string, avatar: string, link: string | URL) {
    if (!document.getElementById("fclite-modal")) {
      const modal = this.createElement("div", {
        id: "modal",
        className: "modal",
      });
      modal.innerHTML = `
      <div class="modal-content">
        <div class="modal-header">
          <img class="modal-author-avatar" src="${avatar || this.config.error_img}" alt="">
          <a class="modal-author-name-link" href="${new URL(link.toString()).origin}" target="_blank">${author}</a>
        </div>
        <div id="modal-articles-container"></div>
      </div>
      `;
      this.root.appendChild(modal);
    }
    this.modal = document.getElementById("modal") as HTMLElement;
    const modalArticlesContainer = document.getElementById(
      "modal-articles-container",
    ) as HTMLElement;
    const authorArticles = this.allArticles.filter(
      (article) => article.author === author,
    );
    authorArticles.slice(0, 4).forEach((article) => {
      const articleTemplate = `
        <div class="modal-article">
          <a class="modal-article-title" href="${article.link instanceof URL ? article.link.toString() : article.link}" target="_blank">${article.title}</a>
          <div class="modal-article-date">${article.created.substring(0, 10)}</div>
        </div>`;
      modalArticlesContainer.insertAdjacentHTML(
        "beforeend",
        articleTemplate,
      );
    });

    this.modal.style.display = "block";
    setTimeout(() => {
      this.modal.classList.add("modal-open");
    }, 10);
  }

  hideModal() {
    this.modal.classList.remove("modal-open");
    this.modal.addEventListener(
      "transitionend",
      () => {
        this.modal.style.display = "none";
        this.root.removeChild(this.modal);
      },
      { once: true },
    );
  }
}

在 ./src/styles/ 文件夹下添加 fc.css 文件

/* Random article */
#random-article {
  display: flex;
  margin-bottom: 0.7rem;
  column-gap: 0.7rem;
  align-items: center;
}
.random-title {
  color: hsl(var(--foreground));
  white-space: nowrap;
}
#random-refresh {
  height: 2.35rem;
  aspect-ratio: 1;
  display: grid;
  place-items: center;
  border-radius: 0.75rem;
  border: 1px solid hsl(var(--border));
  transition: background-color 0.2s;
}
#random-refresh:hover {
  background-color: hsl(var(--primary-foreground));
}
#random-refresh svg {
  width: 1.25rem;
  height: 1.25rem;
}
@media (max-width: 640px) {
  #random-article {
    flex-wrap: wrap;
    row-gap: 0.3rem;
    margin-bottom: 1.5rem;
  }
  .random-title {
    flex-grow: 1;
  }
  .article-container {
    order: 3;
    flex-basis: 100%;
  }
  #random-refresh {
    height: max-content;
    padding: 0.2rem;
  }
}

/* Modal */
.modal {
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
  background-color: hsl(var(--background) / 0.3);
  --tw-blur: blur(24px);
  backdrop-filter: var(--tw-blur) var(--tw-brightness) var(--tw-contrast)
    var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert)
    var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow);
  -webkit-backdrop-filter: var(--tw-blur) var(--tw-brightness)
    var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate)
    var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow);
  z-index: 999;
  opacity: 0;
  visibility: hidden;
  transition:
    opacity 0.3s ease-in-out,
    visibility 0.3s ease-in-out;
}
.modal.modal-open {
  opacity: 1;
  visibility: visible;
}
.modal-content {
  opacity: 0;
  position: relative;
  top: 50%;
  left: 50%;
  transform: translate(-50%, -50%) translateY(-50px);
  width: 40rem;
  z-index: 1000;
  max-height: 90%;
  transition:
    transform 0.3s ease-in-out,
    opacity 0.3s ease-in-out;
  overflow: hidden;
  display: flex;
  flex-direction: column;
}
@media screen and (max-width: 675px) {
  .modal-content {
    width: 90%;
  }
}
.modal.modal-open .modal-content {
  transform: translate(-50%, -50%) translateY(0);
  opacity: 1;
}
.modal-header {
  display: flex;
  justify-content: center;
  align-items: center;
  column-gap: 0.9rem;
  padding: 0.7rem 1rem;
}
.modal-author-avatar {
  border-radius: 999px;
  width: 3rem;
  height: 3rem;
}
.modal-author-name-link {
  text-decoration: none;
}
#modal-articles-container {
  background-color: hsl(var(--primary-foreground));
  border: 1px solid hsl(var(--border));
  padding: 0.7rem 0.7rem;
  border-radius: 0.75rem;
  overflow-y: scroll;
  display: flex;
  flex-direction: column;
  row-gap: 0.7rem;
}
.modal-article .modal-article-title {
  cursor: pointer;
  text-decoration: none;
  display: -webkit-box;
  -webkit-line-clamp: 2;
  line-clamp: 2;
  -webkit-box-orient: vertical;
  overflow: hidden;
  text-overflow: ellipsis;
}
.modal-article .modal-article-date {
  font-size: 0.75rem;
  line-height: 1rem;
  text-align: right;
}

/* Articles */
.articles-container {
  display: flex;
  flex-direction: column;
  row-gap: 0.7rem;
}
.article {
  display: flex;
  align-items: center;
  column-gap: 0.7rem;
}
.article-image img {
  border-radius: 999px;
  min-width: 2rem;
  min-height: 2rem;
  width: 2rem;
  height: 2rem;
}
.article-container {
  flex-grow: 1;
  border-radius: 0.75rem;
  padding: 0.3rem 1rem;
  border: 1px solid hsl(var(--border));
  display: flex;
  align-items: center;
  column-gap: 0.6rem;
  transition: background-color 0.2s;
}
.article-container:hover {
  background-color: hsl(var(--primary-foreground));
}
.author-click {
  cursor: pointer;
}
.article-author {
  white-space: nowrap;
}
.article-title {
  overflow: hidden;
  display: -webkit-box;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 1;
  line-clamp: 1;
  flex-grow: 1;
  text-decoration: none;
  color: hsl(var(--foreground));
  transition: color 0.2s;
}
.article-date {
  font-family:
    ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono",
    "Courier New", monospace;
  font-size: 0.75rem;
  line-height: 1rem;
}
@media (max-width: 640px) {
  .article {
    align-items: start;
  }
  .article-image {
    margin-top: 0.3rem;
  }
  .article-container {
    flex-wrap: wrap;
  }
  .article-author {
    flex-grow: 1;
  }
  .article-title {
    order: 3;
    flex-basis: 100%;
  }
}
/* Load more */
#load-more-btn {
  background-color: hsl(var(--primary-foreground));
  border: 1px solid hsl(var(--border));
  border-radius: 0.75rem;
  padding: 0.2rem 1rem;
  margin: 0.75rem auto;
  display: block;
  transition:
    color 0.2s,
    background-color 0.2s;
}
#load-more-btn:hover {
  color: hsl(var(--primary));
  background-color: hsl(var(--input));
}
/* Status */
#stats-container {
  font-size: 0.75rem;
  line-height: 1rem;
  text-align: right;
}
#stats-container > * {
  margin-bottom: 0.2rem;
}
#stats-container a {
  color: hsl(var(--foreground));
  text-decoration: none;
}

理论上这样就配置好了，需要注意的是当前配置是半自动的，每次增删调改友链后要重新生成 json 文件，你需要在博客仓库根目录下执行如下指令：

node scripts/generate-format-friends.cjs

本文封面为作品Summer Pockets REFLECTION BLUE中的 CG

博客折腾指北0x01 - 博客与笔记

Sun, 09 Nov 2025 14:21:28 GMT

博客与笔记

本篇文章主要叙述安装博客与将原有的笔记页面以外链形式加入。

这篇文章大多是准备部分，按照文档按部就班来就可以那种，我这种半吊子水平写出来的文章估计参考价值不大，所以我也没写太多，请酌情参考。

安装

::github{repo="saicaca/fuwari"}

先在电脑上安装好 node 和 npm 然后执行 npm create fuwari@latest 就行。因为我用的是 pnpm ，所以对应的指令是 pnpm create fuwari@latest 。当然也可以通过官方仓库 README.md 中从模板创建的方法。

然后在博客主文件夹下执行 pnpm install 来安装依赖。没有 pnpm 的话需要先执行 npm install -g pnpm 安装。

基础配置

`./astro.config.mjs`

因为我习惯将静态页面部署到 Github Pages 上，参照官方配置进行配置，主要修改了 site 和 base 两项。

如果使用自己域名的话，需要在 ./public 文件夹下新增 CNAME 文件，内写入使用的域名。

`./src/config.ts`

这个文件需要修改的会比较多，好在官方示例给的注释都很全面，对着修改就好。

在此给出我的修改对比，以供参考。

import type {
  ExpressiveCodeConfig,
  LicenseConfig,
  NavBarConfig,
  ProfileConfig,
  SiteConfig,
} from "./types/config";
import { LinkPreset } from "./types/config";

export const siteConfig: SiteConfig = {
  title: "Fuwari",
  subtitle: "Demo Site",
  lang: "en", // Language code, e.g. 'en', 'zh_CN', 'ja', etc.
  title: "SoraToUmi",
  subtitle: "この綺麗世界",
  lang: "zh_CN", // Language code, e.g. 'en', 'zh_CN', 'ja', etc.
  themeColor: {
    hue: 250, // Default hue for the theme color, from 0 to 360. e.g. red: 0, teal: 200, cyan: 250, pink: 345
    fixed: false, // Hide the theme color picker for visitors
  },
  banner: {
    enable: false,
    src: "assets/images/demo-banner.png", // Relative to the /src directory. Relative to the /public directory if it starts with '/'
    position: "center", // Equivalent to object-position, only supports 'top', 'center', 'bottom'. 'center' by default
    credit: {
      enable: false, // Display the credit text of the banner image
      text: "", // Credit text to be displayed
      url: "", // (Optional) URL link to the original artwork or artist's page
    },
  },
  toc: {
    enable: true, // Display the table of contents on the right side of the post
    depth: 2, // Maximum heading depth to show in the table, from 1 to 3
  },
  favicon: [
    // Leave this array empty to use the default favicon
    // {
    //   src: '/favicon/icon.png',    // Path of the favicon, relative to the /public directory
    //   theme: 'light',              // (Optional) Either 'light' or 'dark', set only if you have different favicons for light and dark mode
    //   sizes: '32x32',              // (Optional) Size of the favicon, set only if you have favicons of different sizes
    // }
  ],
};

export const navBarConfig: NavBarConfig = {
  links: [
    LinkPreset.Home,
    LinkPreset.Archive,
    LinkPreset.About,
    {
      name: "GitHub",
      url: "https://github.com/saicaca/fuwari", // Internal links should not include the base path, as it is automatically added
      url: "https://github.com/chiyoyuki/chiyoyuki.github.io", // Internal links should not include the base path, as it is automatically added
      external: true, // Show an external link icon and will open in a new tab
    },
  ],
};

export const profileConfig: ProfileConfig = {
  avatar: "assets/images/demo-avatar.png", // Relative to the /src directory. Relative to the /public directory if it starts with '/'
  name: "Lorem Ipsum",
  bio: "Lorem ipsum dolor sit amet, consectetur adipiscing elit.",
  avatar: "assets/images/aino_sns_icon1.jpg", // Relative to the /src directory. Relative to the /public directory if it starts with '/'
  name: "千代有希",
  bio: "ignoramus et ignorabimus",
  links: [
    // {
    // name: "Twitter",
    // icon: "fa6-brands:twitter", // Visit https://icones.js.org/ for icon codes
    // // You will need to install the corresponding icon set if it's not already included
    // // `pnpm add @iconify-json/<icon-set-name>`
    // url: "https://twitter.com",
    // },
    // {
    // name: "Steam",
    // icon: "fa6-brands:steam",
    // url: "https://store.steampowered.com",
    // },
    {
      name: "GitHub",
      icon: "fa6-brands:github",
      url: "https://github.com/saicaca/fuwari",
      url: "https://github.com/chiyoyuki",
    },
  ],
};

export const licenseConfig: LicenseConfig = {
  enable: true,
  name: "CC BY-NC-SA 4.0",
  url: "https://creativecommons.org/licenses/by-nc-sa/4.0/",
};

export const expressiveCodeConfig: ExpressiveCodeConfig = {
  // Note: Some styles (such as background color) are being overridden, see the astro.config.mjs file.
  // Please select a dark theme, as this blog theme currently only supports dark background color
  theme: "github-dark",
};

笔记页面

::github{repo="squidfunk/mkdocs-material"}

我觉得点进去笔记页面的基本都能看出来笔记页面与博客页面格格不入。那是因为笔记页面采用了Material for MkDocs。
（之前跟别人写另一个文档的时候被吐槽这个框架太性冷淡风了orz）

按照官方文档将其部署到另一个仓库中，就可以通过 $DOMAIN/$REPO-NAME 访问子页面。

比如说我将笔记部署到了 chiyoyuki/note 仓库中，我就可以通过 chiyoyuki.github.io/note 访问笔记页面。

（与 $NAME.github.io 仓库下子页面命名冲突的情况我还没试过）

然后修改 ./src/config.ts 即可

...
export const navBarConfig: NavBarConfig = {
 links: [
  ...
  LinkPreset.Home,
  LinkPreset.Archive,
  LinkPreset.About,
  {
    icon: "fa6-solid:note-sticky",
    name: "笔记",
    url: "/note/",
  },
  ...
 ],
};
...

如果你有 i18n 需求的话，请参考本系列第0x02篇友链页面小节

本文封面为電竜ライ所绘制的作品

AtCoder Beginner Contest 431

Sat, 08 Nov 2025 14:39:17 GMT

AtCoder Beginner Contest 431 记录

大概是复健第一场 atc （上次 430 打得太烂被我除名了）

A - Robot Balance

2 sec / 1024 MiB / 100 pts

Problem Statement

Takahashi can combine a head part and a body part to create a robot. A robot falls over if the weight of the head part is greater than the weight of the body part.

Currently, he has one head part and one body part. The weight of the head part is $H$ grams, and the weight of the body part is $B$ grams.

He wants to make the body part heavier so that the robot does not fall over. Find how many more grams the body part needs to be made heavier so that his robot does not fall over.

Constraints

$1\le H\le100$
$1\le B\le100$
All input values are integers.

Input

The input is given from Standard Input in the following format:

$H$ $B$

Output

Print the answer.

思路

本题只需要判断 $H$ 是否小于等于 $B$ 即可，小于等于输出 $0$ ，反之输出 $H-B$ 。最基本的分支结构练习，没什么好说的。

代码

#include<bits/stdc++.h>

using namespace std;

int main() {
  int h,b;
  cin >> h >> b;
  cout << max(0,h-b);
  cout << '\n';
  return 0;
}

There is a robot, and initially the weight of the robot is $X$. This robot has $N$ types of parts that can be attached simultaneously: type $1,$ type $2,\ldots,$ type $N$. The weight of the type $i\ (1\le i\le N)$ part is $W _ i$. Initially, none of the $N$ types of parts are attached to the robot.

Process the following $Q$ queries in order. The $i$-th query $(1\le i\le Q)$ is represented by an integer $P _ i$ and is as follows:

If the type $P _ i$ part is not currently attached to the robot, attach it; if it is attached, remove it. Then, print the current weight of the robot.

Constraints

$1\le X\le100$
$1\le N\le100$
$1\le W _ i\le100\ (1\le i\le N)$
$1\le Q\le100$
$1\le P _ i\le N\ (1\le i\le Q)$
All input values are integers.

Input

The input is given from Standard Input in the following format:

$X$
$N$
$W _ 1$ $W _ 2$ $\ldots$ $W _ N$
$Q$
$P _ 1$
$P _ 2$
$\vdots$
$P _ Q$

Output

Output $Q$ lines. The $i$-th line $(1\le i\le Q)$ should contain the result of processing the $i$-th query.

思路

将第 $i$ 个零件是否安装在机器人上用逻辑 true 和 false 表示，不难发现每次 $P$ 操作就是在对这个零件进行 xor 操作。

所以只需要单开一个布尔数组用以记录零件是否被安装，然后每次操作根据被操作零件当前状态对总重量进行加减，最后对应布尔变量执行异或操作即可。

需要注意的是机器人初始重量为 $X$ 。

当然像我一样直接开一个 pair 也可以。

代码

#include<bits/stdc++.h>

using namespace std;

int main() {
  int x,n;
  cin >> x >> n;
  vector<pair<int,int>> w(n,{0,0});
  for(int i = 0; i < n; i++) {
    cin >> w[i].first;
  }
  int q;
  int p;
  cin >> q;
  for(int i = 0; i< q; i++) {
    cin >> p;
    p--;
    if(w[p].second) {
      x -= w[p].first;
    }
    else {
      x += w[p].first;
    }
    w[p].second = !w[p].second;
    cout << x <<'\n';
  }
  return 0;
}

C - Robot Factory

2 sec / 1024 MiB / 300 pts

Problem Statement

Takahashi can combine a head part and a body part to create a robot. A robot falls over if the weight of the head part is greater than the weight of the body part.

Currently, he has $N$ head parts and $M$ body parts. The weight of the $i$-th $(1\le i\le N)$ head part is $H _ i$ grams, and the weight of the $i$-th $(1\le i\le M)$ body part is $B _ i$ grams.

He wants to create a total of $K$ robots that do not fall over by appropriately combining the parts he has. Determine whether he can achieve his goal by combining the parts well.

Here, a part cannot be used to create multiple robots, and two or more head parts (or two or more body parts) cannot be used to create one robot.

Constraints

$1\le N\le2\times10 ^ 5$
$1\le M\le2\times10 ^ 5$
$1\le K\le\min\lbrace N,M\rbrace$
$1\le H _ i\le10 ^ 9\ (1\le i\le N)$
$1\le B _ i\le10 ^ 9\ (1\le i\le M)$
All input values are integers.

Input

The input is given from Standard Input in the following format:

$N$ $M$ $K$
$H _ 1$ $H _ 2$ $\ldots$ $H _ N$
$B _ 1$ $B _ 2$ $\ldots$ $B _ M$

Output

Print Yes if Takahashi can combine the parts well to create $K$ robots that do not fall over; otherwise, print No.

思路

题目是要在数列 ${H_N}$ 和 ${B_M}$ 中找到 $K$ 个完全不同的二元对 $H_i\leq B_j$，所以只需考虑最小的 $K$ 个 $H$ 和最大的 $K$ 个 $B$ 是否可以配对即可。

最开始在敲代码的时候犯了“田忌赛马式”的错误，用最小的 $H$ 去和最大的 $B$ 配对。需要注意的是在保留上文提及的 $K$ 个元素后，应当以第 $i$ 小的 $H$ 和第 $i$ 小的 $B$ 配对。

代码

#include<bits/stdc++.h>

using namespace std;

int main() {
  int n,m,k;
  cin >> n >> m >> k;
  vector<int> h(n),b(m);
  for(int i = 0; i < n; i++) {
    cin >> h[i];
  }
  for(int i = 0; i < m; i++) {
    cin >> b[i];
  }
  sort(h.begin(),h.end());
  sort(b.begin(),b.end());
  for(int i = 0; i < k; i++) {
    if(h[i] > b[m-k+i]) {
      cout << "No";
      return 0;
    }
  }
  cout << "Yes";
  return 0;
}

D - Robot Customize

2 sec / 1024 MiB / 400 pts

Problem Statement

There is a robot consisting of a head and a body. This robot has $N$ types of parts that can be attached simultaneously: type $1,$ type $2,\ldots,$ type $N$. The weight of the type $i\ (1\le i\le N)$ part is $W _ i$. Each part has a different happiness when attached to the head versus when attached to the body. The happiness when the type $i\ (1\le i\le N)$ part is attached to the head is $H _ i$, and the happiness when attached to the body is $B _ i$.

The robot falls over if the weight of the head is greater than the weight of the body. Here, the weight of the head and the weight of the body are the sums of the weights of the parts attached to the head or body, respectively.

Takahashi wants to attach all $N$ types of parts to the robot, one of each. Find the maximum possible sum of the happiness of all parts when the parts are attached without causing the robot to fall over.

Constraints

$1\le N\le500$
$1\le W _ i\le500\ (1\le i\le N)$
$1\le H _ i\le10 ^ 9\ (1\le i\le N)$
$1\le B _ i\le10 ^ 9\ (1\le i\le N)$
All input values are integers.

Input

The input is given from Standard Input in the following format:

$N$
$W _ 1$ $H _ 1$ $B _ 1$
$W _ 2$ $H _ 2$ $B _ 2$
$\vdots$
$W _ N$ $H _ N$ $B _ N$

Output

Print the maximum possible sum of the happiness of all parts when the parts are attached without causing the robot to fall over.

思路

不妨先让所有零件组成身体，然后从中选取一部分零件组成头部，组成头部零件的总重量要小于等于身体的总重量。

于是题目可以转化为总容纳质量为 $\frac{\sum_{i=1}^{N} W}{2}$ ，每个物品价值为 $H_i-B_i$ 的 01 背包问题， dp 求解即可。

写代码的时候忘了 01 背包 dp 怎么写，现去看的 wiki 。

代码

#include<bits/stdc++.h>

using namespace std;

int main() {
  int n;
  long long w = 0,happy = 0;
  cin >> n;
  vector<pair<int,int>> a(n);
  for(int i = 0; i<n; i++) {
    cin >> a[i].first;
    int h,b;
    cin >> h >> b;
    a[i].second = h-b;
    happy += b;
    w+=a[i].first;
  }
  w >>= 1;
  vector<long long> dp(w+1);
  for(int i = 0; i < n;i ++) {
    for(int j = w; j >= a[i].first; j --) {
      dp[j] = max(dp[j],dp[j-a[i].first]+a[i].second);
    }
  }
  cout << happy + dp[w];
  return 0;
}

本文封面为作品ATRI -My Dear Moments-中的CG

程设基础讲义1

Tue, 04 Nov 2025 07:26:38 GMT

讲义

各位同学下午好。这份讲义的 pdf 和 md 格式我应该在早些时候发到群里了。

理论上来说，我应该讲的是程序设计基础的补充答疑性质课。考虑到这是学院内的一个非正式课程，没有跟学分啊成绩啊挂钩。而且我也只是大你们一届的学生，未必讲的多好，所以如果你听着听着不想听了，可以直接从前门或是后门离开，不用打招呼，记得拿上个人物品。

出于差不多的原因，我也不会去管在座的各位究竟在干什么，所以大家不妨往前坐一坐，这样我说话不用那么大声也能省点力气。

以及学院那边需要我弄个签到。。。

在讲正经东西之前，我打算先讲一些自己认为还算必要的内容：

如何提问

我先假定提问是建立在遇见问题需要他人协助解决问题的基础上，基于纯粹找茬的提问我们暂且不议。

在提问之前

有些问题可能别人遇到过且被解决了，已经有一套完整的解决方案，比如说配置 VS Code 环境、调整硬盘分区等……
所以在提问之前，可以先试着查找聊天记录、使用搜索引擎或是查阅官方文档等

部分中文文档可能存在翻译不及时或是翻译错误的问题，所以我建议直接查阅英文文档原文。
提问当中

如果你认为确有必要向他人提问，请在提问的时候附上比较详细的信息。

举个例子，前两天有人在群里提问他的代码为什么在 OJ 上 RE (Runtime Error, 运行时错误)了，但是导致 RE 的原因很多，比如说：

没有任何指责这位同学的意思，只是以此举例解释提问附上完整信息的必要性。
- int a = 3 / 0, b = 3 % 0; 除零错误
- int main(){return 1;} 主函数返回值非零
- int a[2]; a[10]=0; 数组访问越界
- ……
如果没有额外信息的话，很难判断出究竟发生了什么错误，所以请在提问他人的时候附上截图、报错信息或是完整代码一类的。
如果附上截图的话，请多截一点，有些错误需要结合上下文分析。

以下为正式内容。

switch-case

switch 语句介绍

switch 语句是一种多路判定语句，用以判定表达式是否与某个常量匹配，其中表达式必须为整型值。[见《C 和指针》4.8]

其基本结构为

switch(表达式) {
  case 常量1: 语句;
  case 常量2: 语句;
  ...
  default: 语句;
}

我们举这样一个例子，上个学期我总和朋友在环球港不知道吃什么，所以常常用扔色子的方式解决：

#include<stdio.h>
#include<stdlib.h>
#include<time.h>

int main() {
  srand(time(NULL));
  int randnum = rand() % 6 + 1;
  // 有些同学可能看出来这个 a 生成 1~6 的概率可能不是均匀的。
  // 生成 1 的概率可能略高于 6 的概率。
  // 但这只是一个简单的例子，我们不妨认为我拿的骰子是灌铅的。
  switch(randnum) {
    case 1:
      printf("Burger King");
      break;
    case 2:
      printf("McDonalds");
      break;
    case 3:
      printf("Liu Jie");
      break;
    case 4:
      printf("Xiao Yang");
      break;
    case 5:
      printf("Bao Zai Fan");
      break;
    case 6:
      printf("Xi Jia De");
      break;
    default:
      printf("Cheater!");
      break;
  }
  return 0;
}

break

在 switch 语句中， case 只决定了进入分支语句的入口，而没有决定跳出 switch 内部的出口。
这意味着程序在执行到其他的 case 标签时不会自动跳出 switch ，而是按照顺序依次执行接下来的语句。

我们也可以利用这个性质，将表达式的多种取值映射到同一个语句执行，比如说下面的代码：

switch(randnum) {
  case 1:
    ;
  case 2:
    ;
  case 3:
    printf("Xiao Long Bao");
    break;
  case 4:
    printf("Guan Tang Bao");
    break;
  case 5:
    printf("Nai Huang Zhi Ma");
    break;
  case 6:
    printf("Dou Sha Bao");
    break;
  default:
    printf("Zundamon");
    break;
}

利用这个性质提高了小笼包的权重。

default

在上述这段程序中， default 是一个可选项，由于在程序的语义上并不会出现匹配到 1~6 之外的情况，所以删除 default 语句后程序功能并不会受到影响。但出于其他角度考量，通常建议为 switch 语句加上 default 分支，这样易于捕捉到一些潜在的 缺陷 。

此外，default 的位置并不一定要在 switch 语句尾，这意味着

switch(randnum) {
  case 1: case 2:
    printf("Akane");
    break;
  case 4: case 5:
    printf("Aoi");
    break;
  default:
    printf("Zundamon");
    break;
}

switch(randnum) {
  case 1: case 2:
    printf("Akane");
    break;
  default:
    printf("Zundamon");
    break;
  case 4: case 5:
    printf("Aoi");
    break;
}

switch(randnum) {
  default:
    printf("Zundamon");
    break;
  case 1: case 2:
    printf("Akane");
    break;
  case 4: case 5:
    printf("Aoi");
    break;
}

这三份代码实际执行同样的功能。

指针

指针的概念

先来快速地过一遍基础内容：

在运行程序时，程序的变量存储在内存中，内存由若干位（bit）构成，每八位构成一个字节（byte）。在内存中，使用地址（Address）来表示字节的位置，字节的位置与地址之间一一对应。

以下面这段代码为例

#include<stdio.h>

int main() {
  int a = 0x66ccff, b = 0x39c5bb; // 为了便于和指针一起查看值，这里采用 16 进制
  int *pa = &a, *pb = &b;
  printf("pa is %p, and pb is %p\n",pa,pb);
  printf("*pa is %x, and *pb is %x\n",*pa,*pb);
  *pa = 0;
  *pb = *pa;
  printf("a is %x, and b is %x\n",a,b);
  printf("pa is %p, and pb is %p\n",pa,pb);
  printf("*pa is %x, and *pb is %x\n",*pa,*pb);
  return 0;
}

指针变量用于存储地址，我们通过 指向类型 * 指针变量名 的方式声明一个指针变量。比如上文中 int *pa; 表示声明了一个存储 int 类型地址的变量 pa。

需要注意的是连续声明指针变量时，每个指针变量名前都需要有 *，比如 int* pa,pb; 中 pa 类型为 int* 指针，而 pb 类型则是 int 整型。

当 & 用作一元运算符（而非二元运算符位运算与）时，用于取一个变量的地址，比如 pa = &a，即为将 a 的地址赋给 pa；

当 * 用作一元运算符（而非二元运算符乘号）时，用于通过地址间接访问，比如 *pa = 0，即为将 pa 指向的变量赋为 0。

正如一般变量一样，未经初始化的指针变量通常指向一个未经分配的地址 对该地址进行读写会造成程序错误，应当尽量避免这种状况

指向指针的指针

指针变量同样也是一个变量，这意味着我们可以声明一个指向指针的指针。例如：

#include<stdio.h>

int main() {
  int a = 0x66ccff;
  int *pa = &a;
  int **ppa = &pa;
  printf("ppa is %p, and pa is %p\n",ppa,pa);
  printf("*ppa is %p, and *pa is %x\n",*ppa,*pa);
  return 0;
}

在这段代码当中， int **ppa = &pa 意味着声明了一个类型为 int * 的变量，其被初始化为变量 pa 的地址（即指向变量 pa ）

NULL

C 语言中 NULL 在数值上中被定义为 0，

#include<stdio.h>

int main() {
  int *a = NULL;
  printf("%p",a);
  return 0;
}

任何被赋值为 NULL 的指针会指向 0x0 的地址。 C 语言保证地址0永远不会存储数据，对这个地址进行读写通常会导致错误，所以在访问指针指向地址之前最好检查指针是否为 NULL。

#include<stdio.h>

int main() {
  int *a = NULL;
  printf("%d",*a);
  return 0;
}

指针传递参数

有时候在调用函数的时候，我们希望改变函数的参数，比如考虑这样一个函数：

传入两个整型变量，令两个数字均变为二者的最大值，但函数返回两个数中的较小值。

int fun(int x,int y) {
  int less_value;
  if(x > y) {
    less_value = y;
    y = x;
  }
  else {
    less_value = x;
    x = y;
  }
  return less_value;
}

这个函数看上去像是实现了要求，但是如果在函数外部检查传入的变量，我们会发现二者的值根本没有发生改变。这是因为函数的参数被当作函数的内部变量。

#include<stdio.h>

int fun(int x,int y) {
  int less_value;
  if(x > y) {
    less_value = y;
    y = x;
  }
  else {
    less_value = x;
    x = y;
  }
  printf("&x=%p, &y=%p.\n",&x,&y);
  return less_value;
}

int main() {
  int a = 37, b = 42;
  int c = fun(a,b);
  printf("a=%d, b=%d, c=%d.\n",a,b,c);
  printf("&a=%p, &b=%p.\n",&a,&b);
}

在这里我们捎带着讲一下变量的作用域：

C 语言的变量分为局部变量和全局变量。

局部变量声明在函数或代码块（即被一对大括号包裹的代码）内部，其作用域仅在函数或代码块内部，在作用域外无法访问这个变量。

全局变量声明在所有函数之外，通常是在代码顶端，任何函数都可以访问全局变量。

回到上述函数的问题上来，函数传入的形参作为函数的内部变量，这意味着在函数内部对参数的修改不会作用到函数外。我们通过程序的输出结果也可以看出 x 与 a；y 与 b 的地址并不相同。

针对这种情况，我们可以通过传入指针的做法实现函数功能

int fun(int *x,int *y) {
  int less_value;
  if(*x > *y) {
    less_value = *y;
    *y = *x;
  }
  else {
    less_value = *x;
    *x = *y;
  }
  return less_value;
}

这里需要画个图

指针的算数运算

指针可以进行自增、自减操作，也可以加上或减去一个整数

#include<stdio.h>

int main() {
  int a = 0;
  int *p = &a;
  printf("Type int is %d bytes.\n",sizeof(a));
  printf("%p\n",p);
  p ++;
  printf("%p\n",p);
  p --;
  printf("%p\n",p);
  p = p + 3;
  printf("%p\n",p);
  p = p - 3;
  printf("%p\n",p);
  return 0;
}

通过上面的例子我们可以看到，指针进行算数操作时并不是将指针值直接加上对应数值，而是变化 数值与指针指向类型的乘积

这里也需要画图

一维数组

考虑这样一道题目：

输出数列中的第 $k$ 项。

Input

每个测试点输入包括三行：
第一行包括 $1$ 个整数 $n(1 \leq n \leq 100)$ ，表示数列长度为 $n$；
第二行包含 $n$ 个整数 $a_1, a_2, \dots, a_n(1 \leq a_i \leq 100)$ ，构成一个数列；
第三行包括 $1$ 个整数 $k$ ，表示需要输出第 $k(1 \leq k \leq n)$ 个整数。

Output

每个测试点输出包括一行：
第一行包括 $1$ 个整数，即为 $a_k$。

这类问题便可以通过数组解决。

// n == 100
#include<stdio.h>

int main() {
  int n,a[100],k;
  scanf("%d",&n);
  for(int i = 0; i < n; i ++) {
    scanf("%d",&a[i]);
  }
  scanf("%d",&k);
  printf("%d\n",a[k - 1]); // 注意数组是零索引
  return 0;
}

100
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100
42

正如字面意思那样，数组是将若干个变量作为一组，其在内存中连续存储，这也暗示着其与指针存在练习，我们等下就会讲到。

声明、初始化、使用

#include<stdio.h>

int main() {
  int a[5] = {2,3,5,7,11};
  for(int i = 0; i < 5; i++) {
    printf("%d ",a[i]);
  }
  printf("\n");
  return 0;
}

我们可以通过 类型名数组名[元素个数]; 的形式声明一个数组。比如上文中的 int a[100] 就是声明了一个具有100个int类型变量的数组。

需要注意的是数组的下标是从 0 开始的，这意味着数组的第一个元素实际上是 a[0]，具体这样设计的原因接下来讲完数组与指针联系之后会讲到，我们不妨先放一放。

数组的初始化可以通过这种方式进行：int a[5] = {2,3,5,7,11}。
如果大括号中元素的数目小于数组大小，则剩下的元素会被自动赋为 0，如 int a[5] = {2,3,5} 等价于 int a[5] = {2,3,5,0,0}，但是反过来让数组大小小于初始化元素数目显然会报错。如果在初始化数组时不指定数组元素个数，则数组元素个数会自动按照初始化列表调整，如 int a[] = {2,3,5,7,11} 等价于 int a[5] = {2,3,5,7,11}

与指针的关系

我们不妨先来直接看一看数组名究竟代表了什么：

#include<stdio.h>

int main() {
  int a[5] = {2,3,5,7,11};
  printf("a is %p, and the address of a[0] is %p.\n", a, &a[0]);
  return 0;
}

很容易注意到数组名的值恰好等于数组第一个元素的地址。但数组名与指针变量不同之处在于：数组名是一个指针常量，无法被修改；

#include<stdio.h>

int main() {
  int a[5];
  int *b;
  int c = 0;
  b = &c;
  // a = &c;
  return 0;
}

这里可以通过画图辅助理解

#include<stdio.h>

int main() {
  int a[5] = {2,3,5,7,11};
  printf("a is %p, and the address of a[0] is %p.\n", a, &a[0]);
  printf("(a+1) is %p, and the address of a[1] is %p.\n", a + 1, &a[1]);
  return 0;
}

由这个例子我们可以看出，正如上文所说，数组在内存中是连续存储的， a[0] 与 a[1] 在内存上是连续的。

当我们访问 a[i] 时，我们实际上在访问的是 a+i 指向的元素，即 *(a+i) 。

~~考虑到加法运算的可交换性嘛……~~

#include<stdio.h>

int main() {
  int n,a[100],sum = 0;
  scanf("%d",&n);
  for(int i = 0; i < 100; i ++) {
    scanf("%d",&a[i]);
    sum += *(a+i);
    // sum += i[a]; // 可以跑，但是别这么写
  }
  printf("The sum is %d.\n",sum);
  return 0;
}

零索引

在介绍完数组与指针的联系及通过指针访问数组元素后，我们可以发现数组下标从 0 开始是很自然的。

考虑到网络上已经有现成的科普视频，我直接在这里 include 进来好了。

数组越界

同样地，基于指针与数组的联系，我们可以发现 int a[10]; a[10]=998244353; 试图在地址 a+10 处进行写操作；但是数组声明仅对地址 a+0 至 a+9 进行了分配，越界访问会同样会引起程序错误。

初学者容易常犯的错误就是在定义了长为 N 的数组后访问 a[N] ；所以一般在编写程序时推荐为数组长度预留一些范围。

字符串

字符串组成

#include<stdio.h>

int main() {
  char str[] = "GLaDOS";
  printf("%d",(int)str[6]);
  return 0;
}

字符串本质上是一个字符数组，即 char [] 。但与简单的字符数组不同的是，字符串会在数组尾添加一个元素 '\0' 作为字符串结束的标志。 '\0' 在数值上等于 0 ，但正如涉及指针时通常使用 NULL 一样，在涉及字符时我们也通常使用 '\0' 而非 0。

这也意味着一个长度为 n 的字符串所占的内存空间为 n+1 bytes，结尾额外多出一个 byte 用于存储 '\0'。

字符串标准库函数

在标准库 string.h 中，定义了一些用作字符串操作的函数，我们在此介绍一些：

size_t strlen(cs) ：返回 cs 的长度
char *strcat(s,ct) 和 char *strncat(s,ct,n)：将字符串 ct 连接到 s 的尾部，并返回 s
int strcmp(cs,ct) 和 int *strncmp(cs,ct,n)：cs 小于 ct返回 负数 ，等于返回 0 ，大于返回正数（字典序比较）；
char *strcpy(s,ct) 和 char *strncpy(s,ct,n)：将字符串 ct 复制到 s 中，并返回 s 。

依旧代码举例

#include<stdio.h>
#include<string.h>

int main() {
  char str1[] = "foo", str2[] ="bar";
  printf("The length of str1 is %d.\n", strlen(str1));
  return 0;
}

应用

~~写不动不想写了，反正这部分是主观内容，留着找例题自由发挥吧。~~

构思循环条件的切入点

实际问题转化

函数与变量的选取

与信息安全数学导论结合

long long pow(long long base, long long exp, long long mod) {
  long long ans = 1;
  for(long long i = 0; i < exp; i++) {
    ans *= base;
  }
  return ans % mod;
}

long long pow(long long base, long long exp, long long mod) {
  long long ans = 1;
  for(long long i = 0; i < exp; i++) {
    ans *= base;
    ans %= mod;
  }
  return ans;
}

long long binpow(long long base, long long exp, long long mod) {
  // exp = exp % (mod - 1); // If mod is a prime.
  long long ans = 1;
  base %= mod;
  while (exp) {
    if (exp & 1LL) ans = ans * base % mod;
    base = base * base % mod;
    exp >>= 1;
  }
  return ans;
}

本文封面为nekomo🐾创作的作品

55 年秋 12 周周记

Mon, 03 Nov 2025 05:09:03 GMT

55 年秋 12 周周记

学习

计算机

软件测试与验证

这周讲了基于逻辑表达式的测试。引入了条件和判定的定义后自下而上讲了判定覆盖、条件覆盖、判定-条件覆盖和修正的判定-条件覆盖。

满足条件不一定满足判定这一点初看有些反直觉，但是花店时间想明白了也很好理解。

最后一种修正的判定-条件覆盖实际运用时需要计算的内容可能略大。

但是写本周作业的时候太过于注意本周所学内容了，导致把分支覆盖率误当作判定覆盖度计算。也算是侧面反映了及时复习过往所学内容的必要性。

编译原理与技术

本周开始学习语法分析，引入了上下文无关语法（CFG）以实现正则表达式无法满足的需求。主观感觉上 CFG 采用了递推的方式，但是我容易在这里产生一个思维误区，比如说认为 $S \rightarrow aSb$ 代表 如果S满足文法，则aSb也满足文法。不过好在多看了几个例子后也算是从思维误区中跳出来了。

lab方面老师没有回复常数判定的问题，只能先按照自己的理解先设计自动机了。

操作系统

本周无课。

软件分析与验证前沿

阅读了 lec2 课件的第一部分，基本了解了一下 LLVM 的概念。

按照个人理解来讲， LLVM 是在程序语言和操作系统间引入的中间层，通过将源代码转化为 .ll 的中间文件，再转化到对应操作系统的机器码。

lab 方面还是没有解决 docker 镜像的问题，很奇怪，即使配置了全局代理，还是无法拉取镜像，docker desktop 也无法打开对应界面。不清楚是不是像 raw.githubusercontent.com 那样 DNS 解析出现了问题需要修改 host 文件。这周还解决不了的话就只能找台电脑挂百度网盘下载了。

竞赛

这周因为看错时间错过了 cf div1+2 ，但是 at abc 倒是按时打了，打得很差。希望是复健第一场不熟悉的问题，期望接下来几场找到感觉能好起来。

下场 cf 在六号（周四）；abc 在八号（周六）。

其他

这周课外探索其他东西的时间可能确实比较多一点。

Astro

这周时间大多花在魔改博客上了，从 Github 瓷砖便可见一二。

虽然对于 Astro 还是不怎么了解的程度，但是算是初窥门径了？

目前「关于」页面致谢大概有十个了，是时候写一篇文章记录一下搭建以及魔改这个博客的经过了。

typst

这周又在别人的博客当中看到了 typst 这个语言。本着如果一个新事物无意中看到超过三次就要去尝试一下的原则去了解了一下基本语法。

对我个人而言感觉优缺点都很明显

优点是在文章中嵌入数学公式要比 Markdown 方便很多，比如说对于同样的一个麦克斯韦方程组

$$ \begin{cases} \begin{aligned} \nabla \cdot \overset{\rightarrow}{E} & = \frac{\rho_{e}}{\varepsilon_{0}} \ \nabla \times \overset{\rightarrow}{E} & = - \frac{\partial\overset{\rightarrow}{b}}{\partial t} \ \nabla \cdot \overset{\rightarrow}{B} & = 0 \ \nabla \times \overset{\rightarrow}{B} & = \varepsilon_{0}\mu_{0}\frac{\partial\overset{\rightarrow}{E}}{\partial t} + \mu_{0}\overset{\rightarrow}{j} \end{aligned} \end{cases} $$

这是 Markdown 内嵌 latex 的代码实现：
```
$$
\begin{equation*}
   \begin{cases}
       \nabla\cdot\vec{E}&=\frac{\rho_e}{\epsilon_0} \\
       \nabla\times\vec{E}&=-\frac{\partial\vec{B}}{\partial t} \\
       \nabla\cdot\vec{B}&=0 \\
       \nabla\times\vec{B}&=\epsilon_0\mu_0\frac{\partial \vec{E}}{\partial t}+\mu_0\vec{j}
   \end{cases}
\end{equation*}
$$
```
而这是 typst 的代码实现：
```
$
cases(
 nabla dot arrow(E) &= rho_(e) / epsilon _0 \
 nabla times arrow(E) &= - (partial arrow(b)) / (partial t) \
 nabla dot arrow(B) &= 0 \
 nabla times arrow(B) &= epsilon_(0) mu_(0) (partial arrow(E)) / (partial t) + mu_(0) arrow(j)
)
$
```
少了很多反斜杠和花括号确实会简便不少。
而缺点也很明显，typst 毕竟是一门新兴的标记语言，所以对应的支持或是生态都不多。像是 VuePress、MkDocs、Hexo 乃至 Github 默认的 Jekyll 这类静态网站生成器都是以渲染 Markdown 为主。而目前主流的论文、简历模板则是以 Latex 居多，比如 SJTUThsis。这就导致了 typst 在当前的应用比较受限。

对我个人而言比较适合用来写当前的实验报告和数学作业，或是先用 typst 写好内容之后通过 pandoc 转为 markdown 或是其他的格式。（比如说这篇博文就是由 typst 写的，由 pandoc 转为 markdown）

但是貌似对于数学公式的转换不太正确，有些地方还是需要手调一下。

git

之前对于 git 的了解仅限于 git clone,git add,git commit,git push,git pull 这几个。但是最近逐渐频繁接触到了代码回滚这类的需要，就需要去学一些 git 的其他指令。

这周大概学了一下 git checkout切换分支、git reset回滚状态、git merge合并分支这几个。还需要找到具体应用场景加以熟练。

数学

有希ちゃん啊有希ちゃん，你怎能如此堕落

微分几何

没学，也没看回放，坏。

初等数论

课上补作业导致后半节课跟不上了只能嗯抄笔记。。。

这周应该是讲到原根了。

偏微分方程

没学，也没看回放，只知道讲到了热传导方程，坏中坏。

拓扑学基础

没学，同样没看回放，这周讲到了第四章，坏完了。

不过对于拓扑最开始的地方有了自己的理解。

这周真的真的真的要学数学了，不然期末只能挂科了。

日语

语法内容还是没有动，但是单词缓慢推进中......

具体表现大概就是每天想起来了就背一点，不过距离补全搁置的还差得远，基本上每天只是背了一点，甚至没有完成 Anki 的当日计划目标。

这个也要坚持啊有希ちゃん！

生活

三分钟热度有些过了啊，感觉不是很想写这份周记。但总归还是要改变一点的，所以还是逼着自己写了出来。

周六卿云中环那边有场洛佬的演唱会，本来打算去看看，结果到点了感觉自己太困了，就回学校了。

因为随记页面需要，又重新接触了一下联邦宇宙，这次没有用之前的 Mastodon，而是凭着审美选择了 Misskey，目前打算是拿来作为朋友圈和文件传输助手的平替，不过目前来看不能完全替代朋友圈的社交属性。不过拿来记点小点子挺不错的。

既然周记都写晚了，不如接着写点这周周一的事情。

大活边上的工地围栏拆了，这下北门可以直通 711 ，教书院门前的那条窄路估计也能得到一些分流不至于那么挤。

软测考完了，突击复习效果不错，客观题就错了一个单选。但是主观题对完答案感觉写的不是那么好。唉感觉自己还是不太擅长记忆概念定义这一类的。

天气凉了（或者不如说早凉了），感觉周四和间周周二可以在厨房做饭吃了。 ~~还能拿来水做饭系列的博文~~

把幸运星的前三集看掉了，发现自己确实很难集中注意力，哪怕是放松的时候。总会想着去看看手机有没有新消息什么的。不过不能专心看番这件事听上去也太扯了一点...... 上旬先把幸运星看完，接下来就看四叠半好了。

宿舍学习效率确实不高，这周还是得去图书馆

本文封面由 @sevenc_nanashi@voskey.icalo.net 创作，遵循 CC BY 4.0 协议.

南洋游记（其一）

Wed, 29 Oct 2025 05:23:00 GMT

南洋游记（一）

所谓大学，无非就是一个有着草坪、食堂和图书馆的地方。

虽然我早在初到古城的第一学期就将南洋粗略地逛了好几遍。虽然我上学期拿到南洋认证权限的时候也想细致地逛一逛。然而前几学期还是课多，第七节一下课就要从华夏中北匆忙赶去乘地铁油线，方才能在上课前赶到南洋二部的教学楼，甚至往往还吃不上晚饭。而下课的时候又太晚，只能匆匆地再瞥上几眼，便要再乘油线回到华夏中北。终究是没有找到一个合适的时间肆意地逛逛，原本上学期打算写的游记也便拖到了现在。

不过好在这学期熬出了头，下午没有排什么课。每周来南洋这边上晚课之前得以有几个下午的闲暇时间可以消磨，索性四下转转，感受友校学生的生活日常，也能将早就计划写的游记写出来。

草坪

高一刚入学的时候曾看见过有位学姐躺在草坪上看书，心中暗暗惊奇这学校的自由果然名不虚传，同时也不免想要效仿一下。毕业典礼那天自己实在听不下去台上各个代表冗长的发言，便撺掇慕兄偷偷溜出会场，躺在教学楼前的小小草坪上，看着浮云飘过。边晒着太阳边有一搭没一搭的聊着。想着未来的大学，想着眼前的高考。想着……
诶，班主任？何时来的（心虚）
~~然后我俩就被我班班任抓回会场了~~

毕业典礼、自主复习、看考场、高考笔试、英语口语、出分、填志愿、查录取结果、收通知书、订车票、收拾行李、离乡。那个听闻了十八年的“无穷无尽的夏日”随着件件事情缓缓流逝，直至迎来终结。

到了大学，虽然自家校区内也有草坪。但是东草经常养护禁止入内、西草太小，小到看上去还没有高中教学楼前那片草坪大，不过好在是真草坪，不至于完全输给高中。南草又太远、太荒。总归不是我幻想中的大学那样的草坪。
~~（其实莲南校区的草坪不错，但那是后话了）~~

24 年春，看到了南洋人节的新闻。便跟着去凑了个热闹。主会场便在二部的电草。那日是个阴天，但是电草上摊位很多，人也很多，东侧的草坪上还搭起了舞台。连着逛了几个摊位，买了些奇奇怪怪的小东西。等到天色渐暗，舞台那边便亮起灯光，草地音乐节开始了。人潮渐渐向东汇去，我不想被挤在人群中间，便去逛了西侧的摊位。听着远处传来的音乐声，看着夜幕中摊位的灯光，就这样悠闲地走着。直到发现时候不早，人也逛得累了，就乘地铁回到了宿舍。

自此之后也就留心起了平日的电草。自南大门进南洋二部，往前一直走，骑过了柏油沥青路面，上了石砖路，两侧就是电草，因为电草在远离住宿区与教学楼的东区，平日里人也不多，但总归还是有人来的。趴在草坪上拍照的学生、散步的小情侣、嬉戏打闹的孩子和在一旁的父母…… 草坪的边缘种着好多的树，天色不错的时候电草上总有人躺在树荫下歇息。

湛蓝的天、洁白的云、翠绿的草、墨绿的书，以及些许消遣时间的人们，这就是电草平日的样貌。

食堂

一餐

上学期的课程基本集中在西区三院，理所应当的路过一餐的次数也最多。一餐有家飞饼窗口名声在外，就连我这个外校学生也有所耳闻。奈何吃过一次后实在难以给我留下什么印象。反倒喜欢光顾的是另一端的馄饨窗口，八块还是十块就能买来一碗飘着紫菜和蛋皮的馄饨。经济、实惠，最重要的是美味。

一餐和校内的麦当劳开在一起，晚课下课后食堂全部歇业了，要想不空着肚子回学校就只能去麦点份夜宵。十三块九毛的 1+1 套餐已经不能喂饱我了，就只能含泪点一份二十二块九的大饱口福套餐，边吃边给自己找借口“吃点好的”。然后临近月底看着空空的银行卡余额欲哭无泪。

二餐

上学期周五时间宽裕，晚课也安排在了东下院，就常跟奈来二餐吃晚饭。二餐最常去的一家是一楼的烤盘饭，两块九毛九一两荤素任选，自己每次去都下手没轻没重的，明明感觉没夹多少，一上称价格就飙到了二打头，不过好在每次也都能吃完。这家的烧烤风味挺不错的，虽然有些辣但即使是我也能接受的程度。

因为暑假要留在古城这边集训，想着反正走不开不如找点事干，就给自己选了两周莲南校区的早八通识修学分，又报名了南洋举办的一个 $\text{L}\exists\forall\text{N4}$ 学习班。尽管个人能力不足没有入选正式名额，但南洋的老师看我学校不远，慷慨地允许我来参与，只不过没有餐饮补贴。不过第一天因为饭卡尚在制作，南洋还是为我们每个人都准备了两天的二餐定向早午晚饭餐券，连我这种编外人员也有一份。

吃了一天“免费”的烤盘饭，第二天想着换换口味吧，就去了二餐三楼的自选窗口。三楼的菜品不少，价格也很便宜。本着不能浪费餐券的原则，我拿了不少菜才凑齐餐券的 20 面额；又本着不能浪费食物的原则，那天中午我吃了很久才吃完，回教室的路上人还是撑着的。三楼的瓦罐汤倒是不错，喝起来有一股很浓的肉香味在。

四餐

这学期因为网络赛安排的缘故要早返校一周，于是课表上就出现了一个看起来很空的“第零周”。和上文一样，本着“来都来了，找点事干吧”的心理，我又给自己报名了南洋和华为合作的一个训练营。这次校方给学员发了四餐的定向餐券。在校内摸索了一阵子找到四餐后，发现四餐二楼和二餐三楼是差不多的自选，遂食之。

参与了一周的训练营，也摸清了四餐的位置，这学期便常常从北三门进，直奔四餐二楼。

四餐二楼的笋和西红柿鸡蛋汤味道都很好：笋炒得很入味，口感略脆；西红柿鸡蛋汤则是勾了浓芡，口感偏粘。除此之外，四餐还有干蒸秋葵，作为一个不能吃辣的人，接受秋葵像绿尖椒的外观还是需要一些勇气的，不过在四餐偶然吃了一次秋葵后发现其实并不辣，而且吃起来口感还不错，感觉自己以后应该也会常吃的吧。（笑）

五餐

五餐只去过一次，所以印象不是很深。只记得有着一个向下的入口，颇像是半地下室的一楼，开放式的楼梯和走廊，颇具工业气息的外观。

（不过那次去吃的一楼那家煲仔饭，也挺好吃

玉兰苑

作为南洋校方钦定的校外人士用餐场所，我在这学期才发现自己常买煎饼果子的地方就是玉兰苑。不过对我而言，光顾玉兰苑的次数也没那么多：要么是晚课下课后去饼家买一份煎饼果子路上吃；要么就是趁着 17:40~18:00 这二十分钟的课间休息从上院飞速骑一个来回买个饭团，省着晚课挨饿。

上学期倒总是口嗨要去玉兰苑买点烤串烤冷面尝尝，但是每次都是先走进了隔壁点了份煎饼果子。这学期我高低要尝尝这烤冷面正不正宗。

西餐厅

南洋的吉姆立德西餐厅我应该是去过三次：

第一次去是南洋的朋友冰水听我来这边上晚课，找了天晚上等我下课邀请我一起去尝尝；
第二次则是来这边参加今年的 AOSCC，餐点直奔二餐烤盘饭而去，结果看到烤盘饭暑假停业，铩羽而归。同行的朋友这时就提出来他和他哥在这边西餐厅吃过味道不错，中午可以去这边吃饭；
第三次则是多年老友和他女朋友来上海旅游，逛南洋校园的时候来吃晚饭。 ~~唉打情骂俏的小情侣小情侣小情侣小情侣，我什么时候才能有女朋友~~

几次体验下来感觉西餐厅相当不错，菜好吃的量也不小，有着（在西餐领域内）不低的性价比。对我而言是萨利亚完全上位替代的存在。可惜要吃就只能跑来南洋，还是有些太远了。

图书馆

我小学的时候就喜欢去市图逛，初中工作日晚上又被家里人拉着去市图自习写作业，高中撞上了疫情出不去家门，到了大学，反倒丧失了去图书馆的兴趣。

大学的图书馆总给我一种压力在，来这里自习的人很多，看书的人很少。我倒无意争论当中的对与错，也无意去指责任何人。只是因为与我过往经历的偏差导致了些许的不协调感。不过现在是信息时代，纸质书有些式微了。唉，感觉我也好久没有静心去读一本书了。

南洋给的入校权限慷慨地包括了进入图书馆的权限，这学期有空也就常来图书馆内写写作业，或是像现在这样码博文。

包图

我对南洋最初的印象就是二月十三推文中包图和猫馆长，来了之后，包图就在思源湖畔，却没见过猫馆长，大概是在哪个角落慵懒地晒着太阳吧。倒是包图门前经常聚了一大片白鸽，还看见过黑天鹅，游人常在那边喂鸟。

包图的书很全，令我惊讶的是藏书中竟然还有轻小说一类的。这学期头一次来包图的时候又读了一遍《银河铁道之夜》，还看完了华夏图书馆内（似乎）没有的《爱丽丝漫游仙境》（我印象里上次去找没有找到，也可能是我找的不够仔细的缘故）。
可惜往后再来，也是来这里自习写作业了。终究还是变成了眼中的他人啊（悲）。

不过也没什么不好，包图绝对是一个适合自习的环境。我常去预约四楼靠窗的座位，写累了一抬眼就能看到楼下的思源湖和更远处的建筑。可惜这扇窗户是面南的，天晴的时候午后的阳光实在是刺眼让人难以落座。昨天便因为这个原因想去六楼。

六楼则是像高中自习室那样的地方，人与人之间用挡板分割，留出来了专供单人的自习区域。但等我预约好了位置后才发现六楼的位置是没有插座的。偏偏我还打算用 Markdown 码这周的数学作业。于是只好再回到四楼预约了一个不靠窗的座位。

这两天包图门前的桂花也开了，一走一过，满是桂花飘香。

主图

主图没有包图那样大气的外观，以至于我去惯了包图有些不愿去主图。但是来都来了，不进去看看还是有些亏的。

按理来讲，明明是后修建的图书馆，主图的桌子和书架看上去却没有包图新，但主图公共区域却有着可供学生使用的双显示屏升降桌。
那可是双显示屏升降桌啊
该说南洋不愧是南洋吗，学生的公共福利这么好。 ~~不知道我有没有机会去那块自习体验一下~~

但楼中有着像是省图那样的开放式楼梯。我向来喜欢这种看上去很开阔的地方，可惜楼梯下的座位约满了。其实主图需要预约的座位反倒是少数，两侧的阅览室内自习座位都无需预约。但我刚下单车，不熟地方，想着向里走走找个别的没被预约的座位，反倒寻到了一个面对着横跨三层大落地窗的自习区。便欣然落座，开始写这篇文章。

现在这篇文章也要写完了，预约座位的时间也快结束了。六点还有 PDE 的晚课，该从主图出发去食堂吃点什么了，不知今晚离开南洋的时候会不会心血来潮再去电草转转呢？

本文封面为あるは创作的ケロちゃん

2025 年 10 月 29 日
于南洋二部主图四楼

若能化作蒲公英

Tue, 28 Oct 2025 15:00:00 GMT

若能化作蒲公英

我想变成蒲公英
蒲公英啊，是不会有焦虑的
这样在我害怕的时候
只要打开伞
就能让风带着我逃走
风啊，风啊
无论去哪里都好
请带我走吧

既然都起这个标题了，不妨塞两首歌，边听边读吧

我想我多少是有些习惯逃避了。逃避本应写的作业，逃避本应处理好的人际关系，逃避本该看的书，逃避不想做甚至是想做的事。
甚至包括在搭建完博客后，我也出于本能地逃避或是抗拒写一些东西。倒不如说虽然有许多想写下来的东西，但一旦坐到屏幕前，双手放到键盘上，就不知道从何写起了。
然后就会觉得想写点什么写不出来啊好痛苦啊……什么的

插播一句，写到这里的时候我手机又摔了。现在最后的手机屏幕也坏了……

又回到了没手机可用的日子咯 T^T！

一方面是总是对自己写的语句不满意，或者说……对自己写的东西感到羞耻吧，但是不写又不能锻炼自己写作的能力，然后就这样一直恶性循环下去。
另一方面是感觉自己的思维有时过于跳脱了，在这一个话题还没写完的时候脑中就会想到下一个话题去，结果写着写着发现上下文完全搭不上，就反复地在一个小地方改来改去，结果最后整篇读起来也像是打满了补丁，索性直接删掉。
再一个方面，虽然我总是嘴上说着 “文章是写给自己看的，不要去想别人怎么看。” 但真轮到我动笔写的时候，难免会产生一些有的没的顾虑：

“已经把自己的身份信息隐藏好了吗”
“别人看到这段会觉得我太做作吗”
“……”

但是啊但是……
没办法啊。
博客就在那里，搭了总归是搭了，既然如此，写也总归是还要写的。对我这种仓鼠癖来说，与其让思绪被遗忘，强迫自己动动手写下来显然是更好的选择。

别的问题也是，人际关系啊作业啊不是放在那里就会自己解决掉的。所以该面对的还是要面对，无非就是早些面对和晚些面对恶化情况的区别。

所以逃避是在害怕什么呢？大概是未知吧，我猜。
害怕当下未知结果的事，一旦动手去做了，就会变成 “写的文章不够好”、 “又说错话了” 这类糟糕的既定事实。于是便会下意识地去逃避自己假设的坏结局，欺骗自己相信未来能想到足够好的解决方案。

但是日子总是这样，每次也总是在事情不得不做的时候草草做了了事。显然逃避并没有给我带来什么好处。

所以我有时候还是会羡慕蒲公英，不需要去想未来。放弃了自己决定命运的权利，同时也换来了不用承担自己决定后果的责任。只需要等待风起，随风而去。风吹到哪里就飘到哪里，飘到哪里就落到哪里，落到哪里就长在哪里。就像野草一样无处不在，不用担心被别人记住，也就不用担心被别人讨论，毕竟漫山遍野的蒲公英那么多，谁又能找到这一棵又是哪一棵。

但我总归是人啊，注定是成为不了蒲公英的。风不愿载我飞于天际，我便只能在地上仰望那随风而去的蒲公英。

蓝天很美。

晚霞很美。

星空很美。

空中蒲公英看到的地面也一定很美吧。

可惜仰望久了，脖子还是会酸的，低头，转身，便又看见了自己试图逃避的种种事物。

逃避并非我的救赎。

本文封面为k.a.256创作的250430

55 年秋 11 周周记

Sat, 25 Oct 2025 13:00:00 GMT

学习记录

计算机

软件测试与验证

本周课堂上学习了基于控制流覆盖的测试设计。
主要讲了语句覆盖、分支覆盖、基路径覆盖和路径覆盖。
主观感受上本周课程的重点应该是基于给定程序构建控制流图，并写出对应的基路径集合。

考虑到这门课程要在第八周进行月考，周末简要复习了 Ch2-SBT 的内容，下周需要更进一步进行复习。

编译原理与技术

本周课堂上继续学习了基于正则表达式构造自动机，承接上周基础上学习了如何将 DFA 转化为 min-DFA。
最近学习内容当中直接构造法构造 DFA 较为薄弱，需要练习并加以熟练。
但是通过汤普森构造法构造 NFA 再通过子集构造法构造 DFA 较为熟练。

本周编译原理下发了 lab1-词法分析器，对于部分语句的处理还有点模糊，需要上课的时候和老师确认一下。

操作系统

这门课理解缓慢，落后进度确实有点多，周末看网课重学了第一章的部分。
下周仍需继续向后追进度，不过运动会冲掉一次课，进度倒也不会特别难追。

本周将 lab 前期环境基本配好，下周可以先逐步开始进行尝试。

软件分析与验证前沿

阅读了 lec1 的课件，理解了 Under- & Over-approximation 的区别。
但是在试图做 lab1 的时候遇到了 docker 镜像拉不下来的问题，尚在解决中。

xCPC

这周算是一点都没有学，我深深忏悔并反思。

下一场codeforces在下周五，atcoder则在下周六。
从这两场开始坚持打之后的每场 rated 比赛。

算法主动学习部分仍以数学方面为主，频率先控制在不低于 1 个算法/周。
~~（我承认这个频率太低了）~~

数学

微分几何

本周学习了曲面部分。

初等数论

本周学习了伪素数定义和检验条件。

偏微分方程

这周将波动方程讲完了，主要学习了分离参数法求解波动方程。
和之前数学物理方法学过的内容差不多，但是傅里叶变换相关部分忘记了需要重新复习。

拓扑学基础

正课进度有些跟不上，目前在重新看书学一遍试图跟上进度。这周看完了第一章大半部分（拓扑空间，内部，闭包，边界）
可能因为之前一直在接触欧式拓扑空间的缘故，导致部分知识点学起来相当反直觉，和上学期学的实变函数一样难以建立直观认知。

日语

这个也是一点没学，平板背 anki 确实还是有些难受。

计划是从下周开始恢复单词背诵，主要使用电脑端 anki ，将日常工作流重心迁移到电脑上，同时养成记博客的习惯。

本文封面为作品anemoi中的CG

空と海

下一步

下一步

当社畜？

推免？

考研？

跑路？

闭环？

当下？

NULL

无题

MIT18.01-Exam1

水杉空间

水杉空间：基于 Misskey 的校内 SNS 实现

起因

契机

结构

服务器

域名

注册邮箱白名单

运维

后续计划

移动客户端

找回密码

宣传

民法总论期末论文

论诚信原则在民法中的地位与作用

一、引言

二、诚信原则的历史演进

（一）古代起源

（二）近代法典化时期

（三）中国法历程

三、诚信原则在现行《民法典》中的体现

（一）总则编

（二）合同编

（三）诚信原则于《民法典》其余部分的体现

四、对诚信原则的学理分析

五、诚信原则在司法上的应用

六、结语

写于冬至之日

大概是年度总结

应用年度报告

BiliBili

Github

Steam

从世间走过

寒冬

春

夏

秋

雪冬

他人所讲述的故事

Anime

Cartoon

Games

Novel

Bokaro

听筒那端

那日炫目的光彩

因为有一条通向远处的路

问点什么？

有让自己快乐吗

Times

Times: 基于RSSHub 与 Friend-Circle-Lite 的学院通知聚合网站

起因

契机

结构

编写路由

部署友链朋友圈

修改读取 json 路径

添加学院 logo

功能调整

更换默认壁纸

去掉首页

修改文章抓取数目与抓取时间

添加筛选作者多选下拉栏

生成静态页面

后续计划？

支持更多网站

重写静态页面

修改读取 `json` 路径

`./astro.config.mjs`

`./src/config.ts`