Technology Comes First

本文会记录我玩过的所有重度德式桌游，并给予玩法简介和评价（缓更）。

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

大语言模型（Large Language Model）在近年来呈井喷式发展。本文试图针对 LLM 的过去技术和最新进展做一个汇总。

大语言模型（Large Language Model）在近年来呈井喷式发展。本文试图针对 LLM 的过去技术和最新进展做一个汇总。

记录了本博客采用的 Hexo/Butterfly 框架的部署配置。

记录了我对初等数论的系统性学习。

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

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

记录了 2023.12.20-12.23 在云南的旅程，特种兵式地逛了大理环洱海、丽江古城和玉龙雪山。

记录了 2024 中秋假期在马尔代夫莉莉岛五天四晚的旅程。对马尔代夫的主要印象有：开放式管理，中国人很多，浮潜环境非常好。