Fearless is not the absence of fear. It's not being completely unafraid. Fearless is having fears. Fearless is having doubts. Lots of them. Fearless is living in spite of those things, every day.
无畏不是没有恐惧。不是完全不害怕。无畏是有恐惧。无畏是有怀疑。很多怀疑。无畏是尽管有这些,依然每天生活。
The future of computing lies in the development of systems that can verify their own correctness.
每一项伟大突破最开始都是可笑的、荒谬的。事实上,如果它一开始不是可笑和荒谬的,就不是突破。
We must measure success not just in barrels produced, but in emissions avoided.