The best way to predict the future is to create it.

Under uncertainty, it's better to err on the side of being too aggressive than too passive.

【译文】孔子说：“经常学习，不也喜悦吗？远方来了朋友，不也快乐吗？得不到理解而不怨恨，不也是君子吗？”

Most overnight successes — in fact any significant successes — take at least 5 years. Budget your life accordingly.

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

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。