不忘初心,方得始终,我们要始终牢记"我为祖国献石油"的使命。
在编程中,我们所做的一切都是更通用的特例-而且我们常常知道得太快。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
我的雄心不仅是走得比前人更远,还要到达人类可能到达的最远处。
We cannot choose our fate, but we can choose how to face it.
The best architecture is invisible; it is the life within that matters.
一个常见的经验是,一个晚上难以解决的问题在睡眠委员会工作后,在早上得到了解决。