当严肃与荒谬不再有界限,真理也随之模糊。
The problem is not that we laugh too much, but that we laugh about everything.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The most important thing in investing is to avoid losing money.