The pursuit of knowledge in computer science is a never-ending journey, where each discovery opens the door to new questions.

那些自认为被上天选中的人们不喜欢谈及痛苦的取舍抉择。他们喜欢谈论幸福感满满的解决方案，从而可以根除整个的问题，至少在他们的想象里。

工作的未来在于灵活性和包容性。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

You can't change your elephant by direct force, but you can train it over time.

我相信音乐有治愈的力量。