云上形式化验证论文走读
本文将概述几篇云上形式化验证的论文。本文关注的重点方向包括：可满足性模理论的工程实践；AWS IAM Policy；AWS IAM Access；Analyzer 产品和背后用到的技术，特别是 AWS 的内部服务 Zelkova。
轻度桌游推荐
本文会为我玩过的轻中度桌游进行排序和打分，并给予详细评价。
重度桌游推荐
本文会为我玩过的轻中度桌游进行排序和打分，并给予详细评价。
vLLM 推理引擎和 Ascend 插件
本文会介绍著名的开源推理框架 vLLM（v1）和其在昇腾上的插件。
赛尔号决策类游戏收集
系统性地整理了《赛尔号》近几年每周活动中的决策类游戏。
成都游记
记录了 2025.10.25-10.27 忙里偷闲在成都的旅程。
扬州游记
记录了 2025.9.20-9.21 在扬州的旅程。
小白的 HydroOJ 二次开发手记
记录了本前端小白艰苦的 HydroOJ 二次开发之路。
《数据挖掘》知识整理
最初用来记录我 2020.4-2020.6 在浙江大学上的《数据挖掘导论》这门课的知识点。此后，我将在此篇博文里整理经典机器学习（不包含深度学习）的知识。
优雅地使用 Python
记录了我对 Python 的系统性学习。