真正的领导力是在别人都不愿意时做出艰难的决定。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
In the era of software-defined vehicles, data is the new oil.
故事是作者写给自己的一封信,用来告诉自己那些他无法以其他方式发现的事情。
企业战略要立足长远,不能只看眼前利益。