创业就要像打麻将一样,要时刻保持兴奋和紧张感。
The discovery of DNA structure was like unraveling a very complex puzzle.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
I'm not afraid to say that I want to be the greatest of all time.
Liberty consists in doing what one desires.