I don’t want to be the next Michael Jordan, I only want to be Kobe Bryant.
你唯一能做的就是尽量说出真相。
I'm not going to let anyone bring me down.
挑战在于确保互联网仍然是一股向善的力量,一种赋能的工具,以及一个创新的平台。
I don't do anything unless I feel like I can be the best at it.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."