作为一个桌游爱好者，我打算用 Codex 去 Vibe 一个桌游模拟器，这样我可以尝试自定义规则和 Bot 强度。这篇文章我会介绍我 Vibe 的经验。

我的项目是 https://github.com/CalvinNeo/OpenBoardGame。

学习 3FS。

介绍下用英文写作计算机博客的一些经验。

总的来说，太原是类似于西安的城市，类似的气候，类似的历史文化。但在游玩体验来讲，太原总体略优于西安，主要是：

• 西安商业化太浓重了，例如大唐不夜城、城墙上骑车等。当然这也不是坏事，但如果玩的多了，就会觉得商业化严重的景点如同预制菜一样，不能说不好吃，但感觉容易腻
• 西安人太多了

但太原的问题主要是：

• 交通很不方便。虽然也看到它有专门的旅游线路，并且感觉是用心的，但体验上确实还有欠缺。

记录了 TiCI 上线过程中遇到的一些问题：

• 针对这些问题的技术性解法和运维性的解法
  涉及到某些内部知识的将不予公开。
• 对于问题严重程度应该如何判断
• 如何为了达成上线的既定目标，设计临时性的缓解措施

在 x86 上可以跑，但是在 arm linux 上就报这个错误。

1

/tiflash/tiflash: symbol lookup error: /tiflash/libtici_search_lib.so: undefined symbol: pthread_atfork

基于 tokio 1.46.0 版本

我觉得“良定义”的状态需要具备：

• 完备性
• 唯一性

通过 https://kernel.dk/io_uring.pdf 简单学习下 io_uring。

主要关注：

• LLM 的基础原理
• KVCache