The aim of proof is to understand, not just to verify.
The world is so unpredictable. Things happen suddenly, unexpectedly. We want to feel we are in control of our own existence. In some ways we are, in some ways we're not. We are ruled by the forces of chance and coincidence.
最好的投资是投资自己。你学得越多,赚得越多。
The future of computing is not about more powerful machines, but about more meaningful interactions.
计算的未来不在于更强大的机器,而在于更有意义的互动。