感谢你拜访度量空间!
关于本站
本站为博主的个人博客,名字 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 一栏。
关于我
我有一个偏学术的个人主页:Lambda。
目前是 CS 专业本科就读,24’Fall 入学成为计算机系统与体系结构方向的 CS PhD。研究方向主要是计算机系统,由于做的很多是和机器学习交叉的领域,所以对一些机器学习算法也比较了解。对理论计算机处于听过课的状况,对 PL 和一些数学属于业余爱好者水平。
- 平常开发使用最多的 IDE 是 Visual Studio Code,常用的计算机语言是 C++ 和 Python,对偏软件方向的 Go,Web 开发方面的 JavaScript 和偏硬件方面的 Verilog 也比较了解。会非常主动地去创作自己觉得有意思的东西。Github 主页上主要有一些课程项目、科研项目以及一些个人闲暇时候写的小东西。
- 习惯使用 Markdown 来记各种各样的笔记。有时会使用 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
- 知乎:SiriusNEO
- 网易云:薯片谬论
- Bilibili:混乱风扇
- 豆瓣:Grothendieck
- Steam: 混乱风扇(好友代码:307640762)
最常用的 ID 是 SiriusNEO
/ NEO
,Chaosfan
/ 混乱风扇
。如果限定纯数字作为 ID 的话,我会选择 754
(谐音,以及借用了 IEEE 754 浮点数标准的意思)。有时也会随机选择自己喜欢的数学家、喜欢的歌曲名、作品名作为用户名。
鉴于本人在不同网站取名比较随性,可能随机结合各种典故、取决于当天心情等,以及也会出现 ID 被占用的情况,所以请不要直接根据 ID 判断那是我。