成功是我唯一的选择,失败不是。
"Success is my only motherfucking option, failure's not."
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
"The more you try to control something, the more it controls you."
I don't believe in method acting. I believe in being truthful in the moment.
密码学和复杂性理论的交叉点是计算机科学中一些最迷人问题的所在。
理解就是发明。