La plus grande preuve d'amour, c'est le sacrifice.

应对一个不自由的世界的唯一方法，就是变得如此绝对自由，以至于你的存在本身就是一种反抗。

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

海洋的恩赐是一种特权，而不是一种权利。

The Book of Life begins with a man and a woman in a garden…It ends with Revelations.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

南怀瑾：世间法不空，与般若有挂碍，等于眼中有沙，认生死轮回为实有；出世间法不空，与般若亦有挂碍，等于肉中有刺，认化城为宝所；故有凡夫生死、二乘涅盘的颠倒梦想。