聪明的人谈现在,愚蠢的人谈过去,傻子才谈未来。
一本书应该像一场冒险,即使它只是关于在家的一天。
我已经不再年轻,不再无所不知。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
A mathematician's work is to find patterns where others see chaos.