The opera is a beautiful and irrational world. One could spend a lifetime listening and still not understand everything.
歌劇是一個美麗而非理性的世界。一個人可以用一生去聆聽，卻仍然不能理解所有的一切。
"The beauty of life lies in the details, in the small moments that we often overlook."
故事的力量在于它能夠讓我們以不同的方式看待世界。
幸福就像一只蝴蝶，當(dāng)你追逐它時，總是抓不到，但如果你安靜地坐下來，它可能會落在你身上。
你越是處于心流狀態(tài)，你就越能發(fā)展技能，取得的成就越多，對自己的感覺就越好。
形式化方法的美在于它們能夠提供關(guān)于系統(tǒng)正確性的絕對確定性。
Everyone is an artist.
When you are doing what you love, you don't feel the pressure.