The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
计算的未来在于理解和利用算法的力量。
I like to make work that is accessible but also has depth.
判断两个λ表达式是否等价的问题是无法解决的。
Innovation is not about saying yes to everything. It's about saying no to all but the most crucial features.