有见识的人做事能提得起,放得下,算得到,做得完,看得破及撇得开。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
图灵机和现代计算机之间有什么区别?这与希拉里(Hillary)登上珠穆朗玛峰(Everest)和在高峰期建立希尔顿酒店之间的过程相同。
I'm as proud of many of the things we haven't done as the things we have done.Innovation is saying no to a thousand things.
在我们这个行业,安全不是优先事项 - 优先事项可以改变;安全必须是一种价值观。
我喜欢旅行,但不喜欢到达目的地。
Some women choose to follow men, and some women choose to follow their dreams. If you're wondering which way to go, remember that your career will never wake up and tell you that it doesn't love you anymore.