My paintings are like silent screams.
What other dungeon is so dark as one's own heart! What jailer so inexorable as one's self!
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
Life is what happens when you’re busy making other plans.
最终,我们将记住的不是敌人的话语,而是朋友的沉默。