Rust 基础语法
记录了我对 Rust 语言的系统性学习。
Rust 进阶
记录了我对 Rust 语言的系统性学习。
巴黎游记
记录了 2025.4.9-4.11 婚假在法国巴黎的旅行。
冰岛游记
记录了 2025.4.12-4.18 婚假在冰岛的旅行。
复数的宇宙
本文将围绕复数和复平面，介绍一些经典数学工具和算法。
Web 认证和授权协议
本文将概述 OAuth/SAML 等经典 Web 认证和授权协议，以及它们的现代扩展。
云上形式化验证论文走读
本文将概述几篇云上形式化验证的论文。本文关注的重点方向包括：可满足性模理论的工程实践；AWS IAM Policy；AWS IAM Access；Analyzer 产品和背后用到的技术，特别是 AWS 的内部服务 Zelkova。
轻度桌游推荐
本文会为我玩过的轻中度桌游进行排序和打分，并给予详细评价。
重度桌游推荐
本文会为我玩过的轻中度桌游进行排序和打分，并给予详细评价。
vLLM 推理引擎和 Ascend 插件
本文会介绍著名的开源推理框架 vLLM（v1）和其在昇腾上的插件。