密码学的目标是使破解系统的成本超过受保护信息的价值。
我们做出的选择定义了我们是怎样的人,而不是我们所面对的环境。
故事是作者写给自己的信,用来告诉自己那些无法以其他方式发现的事情。
判断两个λ表达式是否等价的问题是无法解决的。
我们拥有的越多,我们就越少。
用你拥有的,在你所在的地方,做你能做的事。