杂记（二）

Hello, Fediverse#

最近在小氯的蛊惑下我搭建了一个 GoToSocial 实例，加入了联邦宇宙（Fediverse）。我是个起名废，所以实例的名字就在喜欢的二次元角色里面选了。在综合考虑喜爱程度、角色故事与联邦宇宙契合度和域名 hack 后，我选择的实例名称是 Trinnon――来自星穹铁道的缇宁，域名则是根据选定的名字简单 hack 一下的 trin.one。缇宁的角色背景设定之一：分身千瓣，跨越门扉，在世界各地传信，也算是与联邦宇宙的概念略有契合。

联邦宇宙这个概念，最初还是看大大的小蜗牛的文章了解到的。当时我还没买现在博客的域名，对联邦这个东西只觉得「看起来还行」，没啥特别想法。最近因为我自己 Memos 用法也是全部公开，加上用联邦实例还可以有人互动，所以就换成了 GoToSocial。

在联邦宇宙里发贴文，目前最大感受是：写 ALT(Alternative Text) 是真费劲，经常出现 ALT 比正文还长的情况。虽然也有 ALT bot 这种使用 AI 识别图像内容生成 ALT 文本的工具，但我还是更喜欢手写。不写其实也不是不行，因为反正也没几个人会看我发的贴文。

我也在博客里做了个简单的 Fediverse 时间线展示页面，目前用的是 GoToSocial 自带的 RSS 功能，将 RSS 处理为展示页面。但是这种方式不能正常地不显示某些东西，所以后续准备用 API 重构一次。

Hello, NixOS#

出于对 WSL 的不满，以及又双叒叕受到小氯的蛊惑， 我把笔记本上原来装的 Windows 11 换成了 Windows 10 + NixOS 双系统。

选择 NixOS，有几个原因。琪一是因为 NixOS 的包数量够多，即便去掉 Haskell 的一堆包，也仅次于 Arch Linux 的包数量，并且也有类似 AUR 的 NUR；其二是因为决心换双系统的时候 Typst 中文群里正好在聊 NixOS，看着挺感兴趣的；其三是因为 Nix 的「环境只配一次」的卖点很对我胃口，换电脑的环境配置确实让人不爽；其四是因为 NixOS 的雪花标志很适合在中间放个蓝色系的二次元角色，比如琪露诺。

不过我对东方不熟，放琪露诺似乎不太合适。于是自己 P 了个自己喜欢的蓝色系二次元角色(格蕾修)上去，效果还算不错。不过在用 fastfetch 的时候才发现，zellij 只支持 Sixel 终端图像协议，而 fastfetch 的 Sixel 版 logo 不能很好的显示透明背景，有点可惜。

MCP#

最近尝试用 Context7 这个 MCP 来加强 Roo Code + Copilot 的开发能力，不得不说，很猛。Context7 部分地解决了 LLM 出幻觉瞎编 API 或者调用老版本 API 的问题，对我这种喜欢用新东西的人来说很舒服。

曾见过一种论调，认为 LLM 需要借助 MCP 才能正确完成一些任务，说明 LLM 还不够智能。但是人也不能立刻报出两个大数相乘的结果，需要借助计算器（MCP）或者心算（推理模型），正确使用工具本就是致力于「模仿人类行为」的人工智能应有的行为。

延毕#

是的，虽然很突兀，但是，我要延毕了。

发生什么事了#

并不是因为毕业论文没写好。虽然我论文答辩答得很烂，但是结果多少还算是能看的。厦门大学有一个必修的学分，名为「创新学分」，其获取方式是：参加竞赛得奖、大创项目，或者获取专利。不幸的是，我只参加过一次数学建模竞赛，还没拿奖，而参加竞赛未获奖至多只能获得一个创新学分――毕业必修两个。结果就是，我的创新学分到月底还是不够，喜提延毕。

不走心的挣扎#

面对延毕，有些病急乱投医。在小红书上找到，隔壁经济学院有人用一个线上答题就能拿获奖证书的水货竞赛申请成功了学分，于是我也赶紧去参加并申报剩下的一个学分。很不幸，厦大数院笑话¹又多了一个――我的申请被教秘打了回来：「该竞赛不在学校竞赛库中」。

学院审查宽松是情分，严格是本分，也没啥好埋怨的。况且我自己的问题还很大。早在去年九月，我就意识到了创新学分的问题，并决定用软件著作权来水两个学分――然后写了两天代码就半途而废了。

年前我也选择在网上购买一个软著来水学分，但是很不幸的是，这个软著没有顺利下证。虽然商家退款了，但在五月底，创新学分的认定就截止了，而各种专利和软著最快也要一个月才能拿证――但凡我去年坚持写完一个软件，也不会闹成现在这样。实际上，我从今年年初开始写的目前在用着的博客主题，到现在分量已经完全足够申请软著了，但时间上已经来不及了。

接下来？#

延毕这事对我的实际影响其实不是很大。因为各种工作所需经验都很匮乏（比如前端刚需 Vue 经验，而我的水平约等于培训班两天），我本就将「回家认真复习，再战一次考研」放在了找不到工作的备选项中，而现在不过是把备选项变成了必选项罢了。在就业市场竞争越发激烈的当下，我不幸地选择了大部分人读了都没啥用的数学专业，属实有些难受。但幸运地是我有一个还算富裕的家庭，能够为我提供一个兜底的选择，也不缺我刚出来工作能挣的那点钱。

每年的十二月还有一次毕业认定机会，我也就差点创新学分，完全可以不用待在学校上课，只要把现在的博客主题申请一下软著或者买一个软著就行了。理论上还可以利用延毕的时间刷实习经历，不过我更想通过读研来逃避就业问题。

因为只差创新学分没有拿，我大概率是不需要再回学校待上一整个学期了。这段时间，就待在家里安静再次备考考研了。