音乐让我疯狂,也让我冷静。
Music makes me crazy and also calm.
The only real voyage of discovery consists not in seeking new landscapes, but in having new eyes.
出自《论语·泰伯》。没有在哪个位置上担任职务,就不要去考虑那个职位应当过问的事情。
我们不是在制造汽车,我们是在培养制造汽车的人。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."