The biggest regret in life is giving up what should not be given up easily, and stubbornly persisting in what should not be persisted.
人生最大的遗憾，莫过于轻易地放弃了不该放弃的，固执地坚持了不该坚持的。
实现明天理想的唯一障碍是今天的疑虑。
我们即将到来：今天，我们的程序证明了费马的倒数第二个定理。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
I'm not a gay icon. I'm an icon for anyone who believes in equality.
我不完美，但我始终是我自己。