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