"Behind every post is a real person with real feelings—let's not forget that."

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

Sometimes the hardest thing and the right thing are the same.

战略执行比战略制定更为重要。

独居的好处是你不需要考虑任何人。

我相信真实的力量。

顺应常道是凡人，逆反常道可成仙，关键在于颠倒常规的思维方式。