感谢你拜访度量空间！

关于本站

名字

本站为博主的个人博客，名字 Metric Space 取自数学中的度量空间。取这个名字的原因大概有：

  • 博主很喜欢数学，特别是测度论这一块
  • “度量空间” 名字中的 ”空间“ 使其本身很适合作为一个博客的名称（类比 QQ 空间？）。
  • ”度量“ 二字其实也有一些意思。字面上来看，它指的是一个类似距离的概念。在世界上，人与人之间都是存在距离的，用 EVA 中的词来说就是「心之壁」。而当你来访问我的博客时，虽然我们之间存在距离，但至少不是无穷远——因为你通过阅读我的文章，对我有了非负的了解。这也是 ”度量空间“ 这个名字作为博客的一个美好寓意。
  • 我以前很喜欢一些有意思的域名，也因此在机缘巧合下买下了 me.tric.space 这个域名。一开始其实它被用作我的学术主页，后来觉得更适合作为博客的名字。

历史

这个站经历了一次搬迁。之前它还不叫 Metric Space，而是有一个有点文青（小学生）的名字：”没有风经过的旅店“。原先它部署在我的腾讯云 Lighthouse Wordpress 镜像，主题是 WP 中免费的 Akina，建站于 2020 年末，等一系列手续通过之后与2021年1月14日上线（即第一篇 Hello World 发表的时间）。

后面它换成了 Github Pages + Hexo 的方案（也就是现在的样子），名字也改成了 Metric Space。主题换成了 Hexo 的 Cactus。搬迁于2023年10月9日，差不多隔了快 3 年吧。

博客规划

我会不定期（有时可能几个月都不更新）在这个地方发一些关于学习生活的文章，以及从别的创作平台（知乎、豆瓣等）搬运我的文章到这里。这个站的文章暂时不打 Tag，而是用 Category 进行分类。我用游戏《东方 Project》里的角色 ”纯狐“ 的符卡名来为不同的文章分类命名，详情请查看主页的 Category 一栏。

关于博客图片，之前采用直接上传到 repo 中进行引用的形式，考虑到 Github 限制 repo 大小为 100MB 以及访问速度原因，现在改成将图片经过压缩，之后放在我的自建图床上进行引用的模式。所以本博客里一些图片可能存在画质损失，还请谅解。

关于我

我有一个偏学术的个人主页：Lambda。

目前本体是清华大学的一名 CS PhD student。研究方向主要是计算机系统，由于做的很多是和机器学习交叉的领域，所以对一些机器学习算法也比较了解。对理论计算机处于听过课的状况，对 PL 和一些数学属于业余爱好者水平。

  • 平常开发使用最多的 IDE 是 Visual Studio Code，常用的计算机语言是 C++ 和 Python，对偏软件方向的 Go，Web 开发方面的 JavaScript 和偏硬件方面的 Verilog 也比较了解。会非常主动地去创作自己觉得有意思的东西。Github 主页上主要有一些课程项目、科研项目以及一些个人闲暇时候写的小东西。
  • 很喜欢记笔记（甚至到了有点强迫症的地步，在改了在改了），是重度的 Notion 使用者。
  • 通常使用 Windows 和 MacOS 双操作系统。在 Windows 上我一般使用 WSL（The Windows Subsystem for Linux）来获得一个贴近 Linux 的开发环境。喜欢苹果生态的协同。
  • 对编译器方面挺感兴趣，曾经因为课程写过一个 Toy 的编译器，并且在这个过程中读了很多关于编译优化的书和理论。时常幻想自己能够发明一个新的编程语言。
  • 曾经有过数学竞赛和信息学奥林匹克竞赛（OI）经历，了解过一些简单的算法。

了解过比较多 ACG 作品，如果要作为某种标签的话我可以把以下的 IP 列入清单：

  • 东方 Project，主要是正作，最喜欢的作品（主要因为角色原因）是《东方地灵殿》。
  • 宝可梦系列，玩过并通关过大部分正作，在对战方面有一些知识。
  • 超级马里奥兄弟系列（2D 横板），通关了基本所有正作。
  • 植物大战僵尸系列，一代 & 二代死忠粉。

听歌方面，不大听华语，常听欧美歌曲和日语歌曲，欧美歌手比较喜欢的有 Adele 和 Rihanna。对日语歌曲，特别地，我常听很多虚拟歌手的歌曲。在这方面，我最喜欢的 VOCALOID P主的 Top 3 是：かいりきベア（怪力熊），ピノキオP（匹诺曹P）和 john。

阅读方面，曾经是个有点矫情的文青。读过很多遍《三国演义》，喜欢王小波的杂文。以前喜欢写作，但是上了大学以后变得很忙，基本没留下什么作品。

喜欢打的游戏类型有射击类（FPS）、横板过关类和塔防类。对于 LOL 属于自己不打只看比赛的态度。也打音游，但很菜。

喜欢交友，对于朋友会尽力做到尊重对方的立场、信仰等等，但是在社交能量耗尽的时候可能会倾向于一个人自闭。不喜欢在网上聊政治，不喜欢戾气大的发言、阴阳怪气。

一些传送门：

最常用的英文 ID 是 SiriusNEO ，是由自己高中打 OI 时候的 ID 演变而来，通常在偏技术（Geek？）向的场合使用，取名溯源大概是一开始只是因为比较喜欢哈利波特系列的小天狼星，以及最亮的恒星加上 NEO 后缀和我的真名气质比较相符，算是一个神秘的意译；此外，最常用的中文代号是 混乱风扇——为什么长得这么怪？其实就是自己真名的一个变体啦（Chaosfan），算是一种神秘音译。为了简洁也可以叫我小乱（Chaos）。至于这两个常用名有什么联系？答案是没有。

有时也会随机选择自己喜欢的数学家、喜欢的歌曲名、作品名作为用户名。鉴于本人在不同网站取名比较随性，可能随机结合各种典故、取决于当天心情等，以及也会出现 ID 被占用的情况，所以请不要直接根据 ID 判断那是我。