"To me, fearless is not the absence of fear. It's not being completely unafraid. To me, fearless is having fears. Fearless is having doubts. Lots of them. To me, fearless is living in spite of those things that scare you to death."
预测你未来的最好方法就是创造它。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
只要能够改变你自己的头脑,你就可以永远保持年轻。
积极性让我们变得更好。通过打开我们的心灵和思想,积极情绪让我们能够发现和建立新的技能、新的联系、新的知识和新的存在方式。
你知道得越多,就越意识到自己知道得多么少。
I’m not a guy that’s going to let my drive down.
译文:好名声靠同事朋友传扬,好品德靠自己坚持。
译文:彻底领悟之后,便能在这茫茫虚空中,明辨是非。
我接受混乱,但不确定它是否接受我。
Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.