以几年前的一个 case 为例，讨论了 TiFlash 的 HTAP 架构对排查不一致问题的影响，也讨论了如何用 AI 来减少这一类问题的调查时间。

这是一篇简单直接的文章（或者被认为是提纲），目的是提出价值判断、提出关键问题。我刻意避免引用例子，或者论述逻辑来佐证观点，也刻意避免提出解决方案，因为我认为这一部分工作已经被 AI 所取代。

本文主旨在于探讨在 AI 时代，一个工程师还能够输出什么样的价值。
《空中浩劫(ACI)》系列是理解工程思想很好的学习案例，而计算机系统和航空产业又有很多的共同点。下面几点尤其值得关注：
1.所有的黑天鹅都是灰犀牛
2.本质上都不相信人和机器，对环境保持最低限度的假设
3.计算机（AI、自动驾驶）的参与度都很高

过年期间去了呼和浩特和大同。这是首个依照 codex 做的旅游规划玩的活动。

作为一个桌游爱好者，我打算用 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 版本