博客已迁移至 新地址

学习笔记

页面：学习笔记

最近更新：

• git merge 的（伪）形式化定义
• 蓝桥杯 2025 省 A 红黑树
• Types and Programming Languages 题解

赛博日记

页面：漂浮的日记楼

最近更新：

• 12.8
• 12.2
• 11.21

想法

页面：想法

最近更新：

• 被遗忘的快乐-AI 回答
• 被遗忘的快乐
• 串流尝试

友链

• Mitchell
• YuXuan255
• Kiyya 的实验室