"The mind is everything. What you think you become."

And your friends will be properly astonished to see you laughing as you look up at the sky! Then you will say to them, "Yes, the stars always make me laugh!"

对心灵的研究就是对生活应对机制的研究。

I think of other ages that floated upon the stream of life and love and death and are forgotten,and I feel the freedom of passing away.

The future of drones is not to replace humans, but to help them do their jobs better.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."