思考是最艰难的工作，这可能是为什么如此少的人从事它。
Thinking is the hardest work there is, which is probably the reason why so few engage in it.
金钱和鲜血不能混在一起，就像两根老二没有婊子。
"We're living proof that dreams do come true."
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
对认可的渴望，灵魂中的激情部分，不能仅通过经济活动来满足。
写作是开始一段没有地图的旅程，发现内外的新世界。
你有没有为将来打算过呢？