正是在我们最黑暗的时刻,我们必须集中精力看到光明。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
不要自怨自艾,因为这解决不了任何问题。
Anyone who recovers from an addiction has my respect.
你如果出色地完成了某件事,那你应该再做一些其他的精彩事儿。不要在前一件事上徘徊太久,想想接下来该做什么。
我不喜欢给音乐分类。
The teacher should not teach as if he were pouring knowledge into an empty vessel, but rather as if he were lighting a fire.