I don’t let anyone dim my light.
做出伟大工作的唯一途径就是热爱你所做的事情。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
厉害的人;厉害的设施;开放的环境。让每个人基于整体表现获得大致报酬,这能够赚很多钱。——文艺复兴公司的赚钱之道。
理解就是感知模式。
永恒只是一瞬间,刚够开一个玩笑。