"You can’t always get what you want, but sometimes you get what you need."
Technology should serve people, not the other way around.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
A building must be a vessel for life.
我不得不提醒自己有些鸟是不能关在笼子里的，他们的羽毛太漂亮了。
试图在不激发学生学习欲望的情况下进行教学的老师，就像在冷铁上敲打。