The world is like a chessboard， whereon we may see a living knight， but we cannot see a living chess.
世界就像一個國際象棋棋盤，我們可以看到一個活著的騎士，但我們無法看到一個活著的國際象棋。
The best way to predict the future is to invent it.
形式驗證的挑戰(zhàn)在于彌合抽象模型與實際實現(xiàn)之間的差距。
We stopped looking for monsters under our bed when we realized that they were inside us.
你能做的最糟糕的事情就是假裝成你不是的樣子。
The world is a complicated place, and I try to reflect that in my writing.