世界称之为不道德的书籍，是那些展示了世界自身羞耻的书籍。
"To me, fearless is not the absence of fear. It's not being completely unafraid. To me, fearless is having fears. Fearless is having doubts. Lots of them. To me, fearless is living in spite of those things that scare you to death."
写作是唯一一个如果你赚不到钱也没人会觉得你可笑的职业。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
如果要从正确和善良中，做出选择，请选择善良。
I'm not a girl who needs to be saved. I'm a girl who saves herself.