欢迎来到我的博客 👋
这是一个基于 Quartz 搭建的博客，支持 Obsidian 风格的 Markdown 语法。
AI 编程工具
- 从零开始：Windows 上安装 Claude Code 完全指南 — Claude Code vs Trae vs Trae Solo 对比，以及 Windows 安装配置教程
- AI 在数学研究中的使用：年轻数学家指南 — MIT 数学系 Pavel Etingof 教授关于如何在数学研究中负责任地使用 AI 的指南（翻译转载）
Mathematics in Lean 伴读系列
基于 Mathematics in Lean 官方教程的深度伴读笔记，覆盖从代数结构到测度论的完整学习路径。
阅读路线图
- Mathematics in Lean 导读 — 学习路径、Tactic 速查、资源汇总
- Ch1 入门伴读 — Lean 基本概念、
#check、#eval - Ch2 基础伴读 — 代数恒等式证明、
rw、ring、calc - Ch3 逻辑伴读 — 量词、蕴含、否定、
intro、apply - Ch4 集合与函数伴读 — 集合运算、函数性质、
ext - Ch5 初等数论伴读 — 整除、素数、归纳法
- Ch6 离散数学伴读 — 有限集合、
Finset、Fintype - Ch7 结构伴读 —
structure、@[ext]、高斯整数 - Ch8 层级伴读 —
extends、to_additive、bad diamond - Ch9 群与环伴读 — 子群、商群、中国剩余定理
- Ch10 线性代数伴读 — 向量空间、基与维数
- Ch11 拓扑伴读 — 滤子、度量空间、拓扑空间
- Ch12 微分学伴读 — Fréchet 导数、反函数定理
- Ch13 积分与测度论伴读 — Bochner 积分、控制收敛
纽结理论系列
本博客包含一系列关于纽结理论的文章，基于研究生课程讲义，涵盖从基础概念到前沿方向的内容。
阅读路线图
基础概念：
- 纽结理论导览 — 总览与路线图
- Seifert 曲面 — 纽结理论的构造中心
- 经典不变量 — Alexander 与 Jones 多项式
- 常见纽结族 — 环面纽结、辫子、交替纽结
核心不变量：
- unknotting-number — 交叉变换与解结数
前沿方向：
- 纽结理论公开问题 — Slice-Ribbon 猜想、Volume 猜想等
- Khovanov 同调 — Jones polynomial 的范畴化
博客特性
- ✅ Obsidian 兼容：直接使用 Obsidian 编写，支持 wikilinks、callouts 等
- ✅ 图谱视图：可视化笔记之间的关联
- ✅ 全文搜索：快速找到你需要的内容
- ✅ Git 版本控制：每次 commit 都会自动部署
- ✅ Cloudflare Pages：全球 CDN 加速
快速开始
- 在
content/目录下创建.md文件 - 使用 Obsidian 语法编写内容
git commit并push- 自动部署到 Cloudflare Pages
开始写作吧！在 content/ 目录下创建你的第一篇笔记 🚀