努力拼搏，聪明拼搏，但最重要的是，一起拼搏。
Hustle hard, hustle smart, but most importantly, hustle together.
Humans are predictably irrational in systematic ways.
The future of food security lies beneath the waves.
After climbing a great hill, one only finds that there are many more hills to climb.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
想想看，人类愚蠢到会去小心地避免那些可能使他们造成伤害的臭鼬或是狐狸，却不担心狮子对他们安全造成的威胁。