我们希望被记住为一个努力的组合。
The stories we believe about ourselves can either limit our potential or propel us towards greatness.
真相很少是纯粹的,也从不简单。
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
"I’m not afraid of losing. I’m afraid of not trying."