➗的日记 · · · · · · ( 全部 )
公理1：不是所有资料都是给程序员看的。小心区分哪些是数学家们玩的，哪些是程序员玩的，否则你会死得很惨； 公理2：不是所有程序都是...额...程序。有的看起来是个程序的，其实它是个定理证明。Curry-Howard同构虽然很酷，但从实际经验来看，定理证明不是程序。 原文写得很不错，值得一看，reddit上的讨论也很不错。 (3回应)
感性大脑是在进化过程中极度优化过的硬连接的处理器，处理速度极快，直接控制着我们的身体； 理性大脑是一块可编程的处理器，具有抽象思维、自我意识等高级功能，处理速度较慢。 行为决定由感性大脑直接产生，然后才通知理性大脑，理性大脑需要为行为寻找一个合理的解释，以维护理性大脑的一致性。 理性大脑虽然不能直接...... (6回应)
➗的评论 · · · · · · · · · · ( 评论5 )
- 这只能是平行世界，而不是黑客帝国。
-
-
➗
(程序猿)
评论:
Source Code
- 当C++程序员中了Haskell的毒
-
-
➗
(程序猿)
评论:
编程的本质
回头重新翻看这本书，严重怀疑作者是中了Haskell的毒，里面一坨坨的c++代码，翻译成Haskell都是几句话的事情。分析问题的思路都是Haskell的路子。 我更愿意相信这其实是英雄所见略同，说明这种思维方式很可能就是... (4回应)
➗的广播 · · · · · · ( 全部 )
➗常去的小组(116) · · · · · · ( 全部 )
- 游泳 (35372)
- 毕赣 (362)
- 游泳@深圳 (4028)
- 一个人看电影 (226353)
- 自学钢琴 (55936)
- 内向者的幸福人生 (983)
- 集智俱乐部 (7796)
- 古典音乐 (111054)
➗的豆列 · · · · · · ( 全部15 )
➗的线上活动 · · · · · · ( 全部 )
留言板 · · · · · · ( 全部 )
> ➗添加的条目
本页永久链接: http://www.douban.com/people/huangyi/
订阅➗的收藏:
feed: rss 2.0