科技领域最大的风险是不冒任何风险。
The biggest risk in technology is not taking any risks at all.
写作是让过去成为现在的一种方式。
Sometimes life hits you in the head with a brick. Don't lose faith.
In the era of smart cars, software defines the vehicle.
The challenge in model checking is not just to find errors, but to understand why they occur.
You have to be willing to fail in order to succeed.
