Confidence is not 'they will like me'. Confidence is 'I'll be fine if they don't'.

The state of nature has a law of nature to govern it, which obliges every one: and reason, which is that law, teaches all mankind, who will but consult it, that... no one ought to harm another in his life, health, liberty, or possessions.

I'm not a perfectionist, but I like to feel that things are done well.

我不害怕脆弱。这是人性的一部分。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

在这个巨大的因果链中，没有一个事实可以被孤立地考虑。