云上形式化验证论文走读
本文将概述几篇云上形式化验证的论文。本文关注的重点方向包括：可满足性模理论的工程实践；AWS IAM Policy；AWS IAM Access；Analyzer 产品和背后用到的技术，特别是 AWS 的内部服务 Zelkova。
云南游记
记录了 2023.12.20-12.23 在云南的旅程，特种兵式地逛了大理环洱海、丽江古城和玉龙雪山。
马尔代夫游记
记录了 2024 中秋假期在马尔代夫莉莉岛五天四晚的旅程。对马尔代夫的主要印象有：开放式管理，中国人很多，浮潜环境非常好。
Rust 语法
记录了我对 Rust 语言的系统性学习。
日本游记
记录了 2024 五一假期在日本的旅程。对日本的主要印象有：路面整洁，国际化，轨道交通发达，便利店多而外卖少。
趣题摘记-算法题精选-2
记录了 OI/ICPC 向的算法题，去其琐碎、留其精髓，望博君一笑。
上海游记
记录了 2024.3.30-3.31 在上海的旅程，第一次去了心心念念的迪士尼。
香港游记
记录了 2024.1.13-1.16 在香港的旅程。主要就是三件事：买金，办卡和吃喝玩乐。
论文调研：图的最小圈基
系统性地对图论中的最小环基（Minimal Cycle Basis）做的调研。
趣题摘记-概率和期望
记录了数学和计算机领域，与概率和期望相关的趣题。
