Claude 产品洞察
本文将概述 Anthropic 打造的 Claude Code 产品的各种有趣特性。
广州游记
记录了 2026.6.13-6.15 在广州的旅行。
意大利游记
记录了 2026.4.19-4.26 婚假在意大利的旅行。
Rust 基础语法
记录了我对 Rust 语言的系统性学习。
Rust 进阶
记录了我对 Rust 语言的系统性学习。
冰岛游记
记录了 2025.4.12-4.18 婚假在冰岛的旅行。
巴黎游记
记录了 2025.4.9-4.11 婚假在法国巴黎的旅行。
复数的宇宙
本文将围绕复数和复平面，介绍一些经典数学工具和算法。
Web 认证和授权协议
本文将概述 OAuth/SAML 等经典 Web 认证和授权协议，以及它们的现代扩展。
云上形式化验证论文走读
本文将概述几篇云上形式化验证的论文。本文关注的重点方向包括：可满足性模理论的工程实践；AWS IAM Policy；AWS IAM Access；Analyzer 产品和背后用到的技术，特别是 AWS 的内部服务 Zelkova。