我们总是高估未来两年内会发生的变化,而低估未来十年内会发生的变化。不要让自己被麻痹而无所作为。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
写作是一种信仰的行为。
What we plant in the soil of contemplation, we shall reap in the harvest of action.