➗的日记 · · · · · · ( 全部 )
公理1：不是所有资料都是给程序员看的。小心区分哪些是数学家们玩的，哪些是程序员玩的，否则你会死得很惨； 公理2：不是所有程序都是...额...程序。有的看起来是个程序的，其实它是个定理证明。Curry-Howard同构虽然很酷，但从实际经验来看，定理证明不是程序。 原文写得很不错，值得一看，reddit上的讨论也很不错。 (3回应)
感性大脑是在进化过程中极度优化过的硬连接的处理器，处理速度极快，直接控制着我们的身体； 理性大脑是一块可编程的处理器，具有抽象思维、自我意识等高级功能，处理速度较慢。 行为决定由感性大脑直接产生，然后才通知理性大脑，理性大脑需要为行为寻找一个合理的解释，以维护理性大脑的一致性。 理性大脑虽然不能直接...... (6回应)
➗的评论 · · · · · · · · · · ( 评论6 )
- 关于电影和游戏
-
-
➗
(程序猿)
评论:
地球最后的夜晚
看《地球最后的夜晚》的过程有一种玩游戏的感觉，如果没记错的话，导演在某次访谈也谈到了游戏。 具体的，浮现在我脑子里的是《Alan Wake》，夜晚暗黑的氛围，寻找消失的爱人，破碎的记忆和解谜的体验，都有一点...
- 这只能是平行世界，而不是黑客帝国。
-
-
➗
(程序猿)
评论:
Source Code
➗的广播 · · · · · · ( 全部 )
➗常去的小组(116) · · · · · · ( 全部 )
- 深圳宜家 (1893)
- 一个人看电影 (244003)
- 游泳 (35915)
- 游泳@深圳 (4689)
- 毕赣 (455)
- 自学钢琴 (58714)
- 内向者的幸福人生 (996)
- 集智俱乐部 (7821)
➗的豆列 · · · · · · ( 全部15 )
➗的线上活动 · · · · · · ( 全部 )
留言板 · · · · · · ( 全部 )
> ➗添加的条目
本页永久链接: https://www.douban.com/people/huangyi/
订阅➗的收藏:
feed: rss 2.0