我不想被理解,我想被感受。
I don’t want to be understood. I want to be felt.
A story is a way of seeing the world differently.
模型检查是验证有限状态并发系统正确性的强大技术。
故事是我们跨越时间和空间彼此连接的方式。