Structures should grow, not be imposed.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

艺术是在你不刻意创作时发生的东西。

I'm not a feminist. I hail men, I love men. I celebrate American male culture, and beer, and bars and muscle cars...

I don't make music for eyes, I make music for ears.

The ultimate goal of computer science is to create systems that are both powerful and reliable.

即使跌倒100次，我也会第101次站起来。

Blow, winds, and crack cheeks! Rage!Blow!

事实是，最多人的最大幸福是衡量对与错的标准。