预测未来的最好方式就是创造未来。
未来属于那些愿意承担经过计算的风险的人。
If you’re not moving forward, you’re falling behind.
"In computer science, we are always trying to find the balance between expressiveness and tractability."