编写无错误程序的方式有两种:只有第三个有效。
最好的电影是那些给你留下更多问题而不是答案的电影。
证明是一种让自己和他人相信某事为真的方式。
"The role of a leader is to create an environment where people can do their best work."