rb's

不知道这个比喻对不对, 所谓无的境界: 为什么说identity是不存在的呢, 就好比一个动画里的机器猫, 实际上并没有会动的机器猫, 只有连续播放的静态的机器猫的图片而已; 然而把这些图片连续播放起来, 就产生了机器猫这个identity的假象了.

这个就像functional programming对variable的理解一样, 并没有一个我们称作variable的container能够在不同的时间存放不同的value, 而是仅仅是不同时间不同的value而已. 具体摘录俺们Cornell的Andrew Myers教授的上课讲义:

// quotes 引用

Why do many programmers like stateful programming languages? Perhaps because it matches how we
think of the world. We view the world as being composed of entities (such as people or objects) with intrinsic
unchanging identities. These entities change their state over time while maintaining the same underlying
identity. If a programming language matches our mental model of the world, it’s more comfortable for
programmers to think about.

Thus, stateful languages always come equipped with an underlying notion of identity, such as variable
identity or object identity. In these languages, the binding between identities and their current states can
change over time. Stateful languages intrinsically have a notion of time, unlike pure functional languages such
as uML or lambda calculus, which take an essentially timeless view of computation. In stateless languages,
it doesn’t matter exactly when something happens, because the outcome will be the same regardless. In
stateful languages with multiple concurrent threads, it matters a great deal when something happens.

It can be argued that our perception of underlying identity is an illusion. In physics, identity does not
exist: particles are identified by their state, not by any intrinsic identity. If two electrons in different states
are swapped, no change has happened to the universe, because an electron is really the same thing as its
state. Time is arguably an illusion as well: the universe is a multidimensional object in which physics
says that time is much more symmetric to the other dimensions than we perceive. Being made of particles
ourselves, we are only able to sense a single moment in time. Arguably, the universe is purely functional,
and our minds deceive us. In fact, the observation that we are deceived into thinking that objects have an
underlying identity dates back to Buddhist and even earlier Vedantic philosophy (the Upanishads).

// quotes 引用结束

rb自我感觉这个理解比较透彻, 不过基于这个前提, 没有办法推出比如吃素啊, 做好事啊之类的之类的戒律.

p.s. 最近喜欢上了Taylor Swift, 小声的说, 感觉伊某些神态很像茄子... 大家不用担心漫胖要和rb发飙, 因为她已经发过飙了. 话说今天CMA居然Taylor Swift获得3项大奖: Entertainer of the year, Album of the year, Female vocalist of the year. 太牛了, 才19岁!

// In linux, no proper Chinese support...

I came across this tutorial for the game Go (Weiqi) on Youtube:
http://www.youtube.com/watch?v=gECcsSeRcNo

The last part of the tutorial talked about the main skills developed in Go is not calculation, but judgement. I was quite inspired.

The world is too big to be calculated, the what's fascinating is that you don't have to calculate every detail to predict it, and that's what judgement can help us with.

Of course, if we have enough computing power... Like chess, it's the game tree space is significantly smaller than the game Go(the number of possible games in Go is estimated larger than number of atoms in this universe), so a machine can easily win human players in chess these days.

OK... it seems this article is going to turn into a technical one... I actually wanted to remind myself to use judgement more often than calculation in life.

有时候发现人生实在太无聊了, 人怎么也逃脱不了六道轮回, 想想这些就郁闷地窒息. 在宇宙的眼里, 人群和蚁群不知道有多大的区别... rb所以一直想花时间看一些佛经, 看看佛祖是怎么说的, 不过最终总是被各种其他事情吸引过去, 包括: 电脑技术啦, day dreaming啦, bbs/Internet surfing啦, cooking啦, 看电视啦.

特别这个周末突然喜欢上看football了... 这个实在是个时间黑洞, 一场比赛能看个3个多小时... 所以rb就打算不再发展对baseball的(观看)兴趣了. 今天刚刚看了后半场俺们东北爱国者雪中把田纳西59:0草割的比赛, 据说是1976年以来比分最悬殊的一场; 另外一场是布法罗加时赛40多码外远射干掉纽约Jet的比赛. 两个比赛都算是比较精彩, 也是让rb突然对football感兴趣的原因吧...

总的来说, football果然是个很男人的运动, 相当地直接, 规则上也比soccer多一些tactical的东西, 得分方式也多样化一点, 而且人性化很多, 至少有争议的判罚裁判可以review录像... 当然, 这样要紧关头的判罚每次都要等个好久才能知道结果... 可惜这运动在全世界不流行, 哪天打算回国了, 就没得看了...

最后贴个搞笑的, 意大利实在是...

发信人: nodream (无梦), 信区: FreeTalk
标  题: 意大利驻军贿赂塔利班导致法军阵亡(转载)
发信站: 饮水思源 (2009年10月16日13:35:31 星期五)
【 以下文字转载自 joke 讨论区 】
【 原文由 nmw 所发表 】
（综合讯）据英国《泰晤士报》15日报道，为让塔利班停止在其负责区域内的暴力活动
，意大利驻阿富汗官员曾秘密贿赂塔利班。而后接防的法军因未能意识到这块区域上存
在的危险，导致10名法国士兵被打死。
报道称，意大利情报机关曾向阿富汗塔利班指挥官和当地武装首领支付了数万美元
(欧元)，以求在法国军队到来之前，萨洛比地区能够保持平静。
而在2008年8月发生10名法国士兵遭伏击身亡的事件时，法军负责萨洛比地区刚满
一个月。此次法国士兵遇袭身亡事件也是北约部队在阿富汗受损最严重的单一军事行动
之一。
意大利部队在7月份被法军替代，而此前，只有一名意大利士兵在战斗中死亡。
报道称，因为法方对贿赂事件一无所知，所以他们对该地区做出了“灾难性的不正
确的威胁评估”。
报道还称，这也可以解释为什么当遭遇170名装备精良的武装分子伏击时，法军士
兵相对只装备了轻型武器，而他们的空中支援也不够充分。
一名北约高级军官对《泰晤士报》称：“也许贿赂当地武装组织和使用非暴力政策
来降低暴力事件能够说得通，但这么做而且不通知你的盟友是不可理喻的。”
--
桃花潭水深千尺，不及不及送我情。
※ 来源:·饮水思源 bbs.sjtu.edu.cn·[FROM: 211.151.248.62]
--
※ 来源:·饮水思源 bbs.sjtu.edu.cn·[FROM: 202.96.60.37]
--
※ 转寄:·饮水思源 bbs.sjtu.edu.cn·[FROM: 24.128.170.161]

主要是搬家, 然后家里装了电视, 当然最主要的是给漫姐姐当小差, 被使唤着用, 然后是由于最终选择了developer的生活, 又唤起了rb对写code的乐趣, 以上几种因素的结果就是rb在space上的时间几乎没有... 当然, 开始工作以来, 生活越来越平静, 也没啥好写的了...

先是搬家, 趁9月的美国劳动节长假, 从suburb的Billerica搬到了城郊结合部的Malden. 这里鸣谢开水同学, 伊开来pickup卡车起到了关键作用. 当然最疯狂的是, 搬了整个下午, 结果吃晚饭, 就随开水参加了fjpq同学组织长假party活动. 咱数十个生活无趣的北美ws男女玩三国杀居然玩到了凌晨2,3点... 为啥每每都是和开水都是凌晨半夜才离开fjpq这里的... 不过还好这次rb是带着mp去的, 开水的fiance也没打电话来抽查...

看了国庆阅兵, 人走的不齐了... 哎... 精神力量也没了. anyway, 这玩意儿也就是个大show, 领导们看得欢心, 群众们看得热闹也就ok了. 不过, 连rb这个伪军迷都早就听说的DF41怎么还是没出啊?

漫胖最近迷上了做糕点, 当然这里也有饭盆同学的功劳, 当然rb就很无辜地做了小白鼠, 外加处在被她们传染上肥胖病的边缘, 肥胖病还真是传染病... 以下是吃了只剩一个slice的cheesecake(做过才知道有多么不健康), 和刚出笼的苏式鲜肉月饼

 

第一个是District 9, 好不容易是漫胖请rb去看的科幻片. 不错不错, 非常真实, 真的有外星人来, 估计也就和电影里的差不多了, humanity在interest面前真是没用的东西. 外星人感觉比较像星际里面的虫族. 作为导演的第一部电影, 非常不错. 比同样是今年的变形金刚2, Terminator4好多了. 可惜以外星人拆迁办主任为主角的片子, 不知道要剪成什么样才能在国内上映了, 或者根本没有办法通过审核?

第二个是国内的偶像剧"爱情公寓", 被前两集搞笑的风格吸引来看, 最后一连把所有第一季20集看完了. 总的来说, 就是把几部肥皂美剧和joke经典笑话以及动漫风格柔和到了一块. 说的好听点, 是对friends, how I met your mother, 2.5 men以及joke版的致敬; 说得难听点就是plagiarism. 不过刚好暑期美剧都停播, 刚好弄个国产搞笑片看看也不错.

p.s. 现在怎么都没有热情, 不想不出有意思的project了, 始终找不到一个合适大小的project好连连自己的Haskell水平.