数学

最近刚刚看完了Proof and Refutation，好长。。。 讲的是数学界各种对Proof，对Conjecture的看法，很喜欢，不过竟然没有怎么提公理体系，仅仅是一笔带过，这就有点不懂了= = 另：作者好强的文笔，竟然能同时驾驭这么多观点迥异的人物，还能描述他们的发展。。。我然后查了下wiki，好像是个很厉害的人。。。什么时候接着爬下他的work 最后，link： Proofs and Refutations (I) Proofs and Refutations (II) Proofs and Refutations (III) Proofs and Refutations (IV)还有这在CS的应用 Proof-Directed Debugging‘Proof-directed debugging’ revisited for a first-order version 去掉上面的Continuation，更加新手友好 （对于你打算教的人，对你更难了） Proof-Directed Debugging and Repair 试图把Proof-Directed Debugging搞成程序

如果大家看过近期的文章，会发现有很多其他人写的文章，比如 @Canto Ostinato 的Stackage 镜像使用说明， @lotuc 的Programming Languages: Application and Interpretation【译6】，@Skillness 的C++模板元编程—lambda表达式简单实现， @品雪 的函数式编程的早期历史， @祖与占 的函数式又是函数式等等。 我认为这些文章都写得挺不错，于是决定开放投稿。 投稿的好处都有啥？你的文章会被更多人看见。 投稿话题偏向于（排在越前越代表同等质量下更大几率接纳）： 0：计算机科学，尤其是编程语言/人工智能相关的 1：数学，最好偏向CS（如离散数学） 2：偶尔会接受点娱乐向的，比如 @Canto Ostinato 的小说，跟车万。。。 如果你在你专栏/你的blog投过稿，你可以把该稿同样投放于此专栏。甚至，你可以在文章内连接自己的**专栏/个人主页，创造回流。 ** 另：如果你短时间内投了大量稿，为了防止刷屏，将会分批处理。 不过如果是1跟2，也请踊跃投稿-我希望专栏文章不要过于单一，如果全部都是haskell的blog的话会很单一的 内容包括但不限于 paper/project/书的广告 技巧/算法/工具/什么鬼的介绍 对啥啥啥的评价