Technology Comes First

本文将围绕复数和复平面，介绍一些经典数学工具和算法。

本文将概述 OAuth/SAML 等经典 Web 认证和授权协议，以及它们的现代扩展。

本文将概述几篇云上形式化验证的论文。本文关注的重点方向包括：可满足性模理论的工程实践；AWS IAM Policy；AWS IAM Access；Analyzer 产品和背后用到的技术，特别是 AWS 的内部服务 Zelkova。

本文会为我玩过的轻中度桌游进行排序和打分，并给予详细评价。

本文会为我玩过的轻中度桌游进行排序和打分，并给予详细评价。

本文会介绍著名的开源推理框架 vLLM（v1）和其在昇腾上的插件。

系统性地整理了《赛尔号》近几年每周活动中的决策类游戏。

记录了 2025.10.25-10.27 忙里偷闲在成都的旅程。

记录了 2025.9.20-9.21 在扬州的旅程。

记录了本前端小白艰苦的 HydroOJ 二次开发之路。