黄毅的日记

黄毅
来自: 黄毅 (深圳) 2014-11-26创建   2011-07-28更新

来自:豆瓣日记
黄毅 12人喜欢
公理1:不是所有资料都是给程序员看的。小心区分哪些是数学家们玩的,哪些是程序员玩的,否则你会死得很惨; 公理2:不是所有程序都是...额...程序。有的看起来是个程序的,其实它是个定理证明。Curry-Howard同构虽然很酷,但从实际经验来看,定理证明不是程序。 原文写得很不错,值得一看,reddit上的讨论也很不错。
来自:豆瓣日记
黄毅 0人喜欢
感性大脑是在进化过程中极度优化过的硬连接的处理器,处理速度极快,直接控制着我们的身体; 理性大脑是一块可编程的处理器,具有抽象思维、自我意识等高级功能,处理速度较慢。 行为决定由感性大脑直接产生,然后才通知理性大脑,理性大脑需要为行为寻找一个合理的解释,以维护理性大脑的一致性。 理性大脑虽然不能直接...

什么是豆列  · · · · · ·

豆列是收集好东西的工具。

在网上看到喜欢的,无论它是否来自豆瓣,都可以收到你自己的豆列里,方便以后找到。

你还可以收藏感兴趣的豆列,看看其他人收集的好东西。

这个豆列的标签  · · · · · ·

黄毅的其它豆列  · · · · · ·  ( 全部 )