"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.
我相信真实的力量。
顺应常道是凡人,逆反常道可成仙,关键在于颠倒常规的思维方式。