The best way to predict the future is to create it.

Leadership is about creating more leaders, not more followers.

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

预见数学未来的真正方法是研究它的历史和现状。