每个孩子都应该在书中看到自己的影子。
哲学的真正意义在于它能够唤醒我们的批判意识。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
你必须不断思考你能做些什么来让世界变得更美好。
最好的林业实践是那些不留痕迹但改变一切的做法。
A distributed system is one in which I can’t get any work done because some machine I’ve never heard of has crashed.