The mystery of the room is in the play of light.

最好的投资是你可以长期持有的投资。

技术是一种工具，而智慧在于知道如何以及何时使用它。

I have self-doubt. I have insecurity. I have fear of failure. I have nights when I show up at the arena and I’m like, “My back hurts, my feet hurt, my knees hurt. I don’t have it. I just want to chill.” We all have self-doubt. You don’t deny it, but you also don’t capitulate to it. You embrace it.

模型检查是验证有限状态并发系统正确性的强大技术。