作家是这样的人，对他们来说，写作比其他人更困难。
"A writer is someone for whom writing is more difficult than it is for other people."
A good system design is one that makes it easy to do the right thing and hard to do the wrong thing.
一本书对孩子来说应该像一个朋友——令人安心、兴奋且充满惊喜。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
铁蛋儿的问题，不是他不识字，也不是他不会思考，而是他不知道什么是思考，并且将其与感觉相混淆。