烟台威海游记
记录了 2024.5.4-5.6 在威海和烟台的错峰旅游。
黄山游记
记录了 2024.4.18-4.19 在黄山的旅程。
厦门游记
记录了 2024.3.29-3.30 在厦门的旅程。
趣题摘记-算法题精选-1
记录了 OI/ICPC 向的算法题，去其琐碎、留其精髓，望博君一笑。
大模型调研
大语言模型（Large Language Model）在近年来呈井喷式发展。本文试图针对 LLM 的过去技术和最新进展做一个汇总。
Hexo-Butterfly 主题配置
记录了本博客采用的 Hexo/Butterfly 框架的部署配置。
杂乱而有趣的冷知识合集
这里将记录我学到的各种奇奇怪怪的知识。
初等数论
记录了我对初等数论的系统性学习。
云上形式化验证论文走读
本文将概述几篇云上形式化验证的论文。本文关注的重点方向包括：可满足性模理论的工程实践；AWS IAM Policy；AWS IAM Access；Analyzer 产品和背后用到的技术，特别是 AWS 的内部服务 Zelkova。
云南游记
记录了 2023.12.20-12.23 在云南的旅程，特种兵式地逛了大理环洱海、丽江古城和玉龙雪山。
