The joy of discovery is what drives mathematicians forward.
The future of computing lies in the development of systems that can verify their own correctness.
I don’t believe in regrets. Everything happens for a reason.
只要我能坦诚地做自己,我就是足够好的。
我唯一知道的是我一无所知。