将日常使用的所有软件和数据都迁移到了 Arch Linux（安装在 Btrfs 上）后，需要调整 Btrfs 的大小使之填满整个硬盘。

但是使用 KDE 分区编辑器进行操作，失败了……

作为系列文章的开始，本文整理了 Rust 的类型系统。

系列预告：Rust 语言的类型系统能为编程提供哪些帮助。

前几年博客一直无法正常维护，文章更新也断了很长时间。这次终于可以写点东西了。

2024/12/23 起，本博客启用新域名 https://blog.gyjian.com 并正式对外公开。

本博客的过去、现在与未来。

自用模板，以 Noto Sans 系列字体为基准。

分别以 Noto Sans / Serif / Sans Mono 为系统的 sans-serif (system-ui) / serif / monospace 字体，并分别设置了 SC / TC (TW) / KR / JP 的 fallback。

其余未覆盖的符号使用 Noto Color Emoji。

实现了一些动态组件，通过此文进行展示和使用教学。

测试内容来源：http://leanote.leanote.com/post/markdown-source-code，有修改。