山丘
越过山丘，却发现无人等候。 这句话隐含的自怨自艾让我如此鄙夷，如果你不喜欢山丘，你越过他干什么
我的商业思维的变迁
引子：我认为作为一个程序员不能不对商业有一些概念，从大一算起，我踏入计算机/互联网互联网行业已经有7年了，这期间我关于商业的思考有了很多变化
在 Scheme 语言上构建静态类型系统
因为工作的关系，需要在古老的 Scheme 上实现一个编译到某种 Vectorized statically typed IR 的编译器，其编译过程需要支持 on-demand parameterized polymorphic ，比如 + 这个函数，需要按需实例化为支持向量+常量