我不是一个需要被拯救的女孩。我是一个拯救自己的女孩。
The most dangerous mindset in business is believing you’ve already succeeded.
如果你热爱你所做的事,你一生中就不会有一天是在工作。
The future of computing lies in the development of systems that can verify their own correctness.
I have to be alone very often. I'd be quite happy if I spent from Saturday night until Monday morning alone in my apartment. That is how I refuel.