我的心是旷野的鸟,在你的眼睛里找到了天空。
对时机的把握是天才的标志。
Never give up on something you really want. It's difficult to wait, but more difficult to regret.
有些怪异的人性总想把简单的事情弄得复杂。
我不相信写作障碍,我相信懒惰。
模型检查是验证硬件和软件系统正确性的强大工具。