孔子说:“听从花言巧语就会丧失自己的美德,小事不忍耐就会搅乱大事情。”
Stay hungry, stay foolish.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Success is not about how much money you make, it’s about the difference you make in people’s lives.