云上形式化验证论文走读
本文将概述几篇云上形式化验证的论文。本文关注的重点方向包括:可满足性模理论的工程实践;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 的系统性学习。








