大学生, 2021 年起就读于 HITsz. 是 HITsz Linux User Group 的成员, 偶尔也会在 HITsz LUG wiki 上写点东西.
初中出于无聊学了 C++, 高中以打 OI 的名义彻底接触了 CS 的方方面面. 比起研究者更像工程师. 打 OI 心累了, 不打 ACM.
最近作为兴趣爱好主要在学编译原理啊, 类型论啊, 函数式编程之类的 PL 方向的内容.
支持自由软件运动, 但可惜没有足够大的毅力能做到多用自由软件.
你可以在 Telegram 上找到我, 也可以在 GitHub / 发 email.
本博客内容如无特殊说明, 均使用 CC BY-NC-SA 4.0 协议发布.
我在用的软件:
- 编辑器: VSCode 一把梭
- 各种各样软件的 theme: Nord
- 操作系统: Windows 11 + WSL2-Arch (我用 Win, 我忏悔 qwq)
- 曾经用过的 Linux distro (大体按时间顺序): Ubuntu, Deepin, Manjaro, Arch, Fedora
- 密码管理器: 自建 Bitwarden
- RSS 服务端与阅读器: Miniflux + Readably (曾经使用 TT-RSS + FeedMe)
经常看的频道/人:
- LTT(Linus Tech Tip)
- CppCon
- 红警 HKB08
- Minato Aqua