前言 算法题，是很多程序员的梦魇之一。算法本身当然是有趣的，但不会做题的抓狂、面试回答不出问题的窘迫，没有人会喜欢。 应对算法题挑战的传统方式是

如果你在南大或者中大的校园里见过我，也许你会问一个问题： 为什么你只需要 iPad 就能工作（包括写代码）? 这个问题的答案涉及到几个方面，最重要的当然还

作为函数式编程爱好者，你一定知道 Church 和他的 $\lambda$ 演算。如果你学过递归论，也许还会知道 $\lambda$ 可定义性、$\lambda$ 演算的各种性质（Church-R

問有兩尖田一段，其尖長不等，兩大斜三十九步，兩小斜二十五步，中廣三十步，欲知其積幾何？ 術曰：以少廣求之，翻法入之。置半廣自乘為半冪，與小斜冪

行号（Line Number）的显示，似乎不应该成为一个问题。vscode 仓库里还有一个 issue 在询问怎么方便地关闭行号显示。而对于 Vim 用户来说，一句

警告 本文不是严格的学术论文，可能存在一些错漏之处，见谅。 前言 Kurt Gödel 的几个著名定理构成了现代逻辑学的基石。其中，Gödel （第一和第二）