如果你不尝试揭示看不见的东西并理解其本质,你将无法做好领导的准备。
The world is full of stories, but the stories are all one.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
"The most important thing in filmmaking is to be true to your vision."
The world is a great dance, and we are the dancers.
We were the people who were not in the papers. We lived in the blank white spaces at the edges of print. It gave us more freedom. We lived in the gaps between the stories.