函数式编程的两种路线

可能很多人没有意识到,函数式编程(FP)有两种非常不同的路线。

一条路线,为类型疯狂。这条路线的语言以Haskell为代表。这种FP,一切以类型为
中心,编程的主要任务,是要把类型搞对了,让编译器高兴,号称是“如果程序编译通
过了,程序就是对的”。这条线来自学术界,有很长的历史,是FP的主流路线,有很多
其他FP语言以此为模版。科班出身的同学们说到FP,说的就是这条路线的FP。可能他们
上学的时候学过Haskell,甚至可能还给Haskell课当过助教,但是他们恨死了Haskell
。所以这些同学们,是打死不信FP能实用的。

科班出身的同学们不知道的是,FP还有另一条路线,与Haskell完全不同,它为数据疯
狂。这条路线的语言目前只有一个样本,就是Clojure。这条路线是野路子,来自一个
没有CS背景的学音乐的程序员,名字叫Rich Hickey。他发明Clojure是让自己还可以继
续编程下去。他当时主要用C++编程接活,还在NYU教过C++。但2007年的时候他觉得自
己身心俱疲,被并行编程快搞疯了 …

更多 ...

从变量说开来

数学的变量与计算机语言的变量不同。数学的变量更抽象,是真的变量。而计算机语言的变量是假的,其实还是属性,是某个内存地址或者寄存器的属性。

一个非程序员A,第一次编程,看到变量,会很疑惑,比如我当年,“这是什么东西的 的变量啊”? 后来明白了,原来就是一个地址可以存不同的东西啊,明白了。指针?这不是很明显么,就是地址啊,有什么难的? 另一个非程序员B,第一次编程,看到变量,说,哦,我知道,数学上小学就学了的,变量就是数学上的变量啊,懂了。结果看到指针,蒙了,数学上没有指针啊,到底什么是指针啊?

人和人的思维方式不一样,从对数学的态度可以看出。有的人,比如冯诺伊曼,说“ You don't need to understand mathematics, you just get used to it …

更多 ...

一个女性友好的家防霰弹枪的配置

响应拜登副总统的“Buy a shotgun”的号召,我家买了一支泵动霰弹枪用于家防。这儿介绍一下这个枪的配置,配置的目标是让身材比较娇小的女性也可以比较容易地使用12GA的家防弹药。要不然,这个录像上的这些状况发生在Yunyao身上就不妙了。

必备项

  1. 枪:Mossberg 500系列。

* 型号,其实关系不大,有比较短的枪管就可以,这样室内舞得开。枪管太短了也不行,至少要18英寸才合法。我在Big5 买的combo,两个枪管,一个18.5英寸的用来家防,另有一个28寸的枪管,现在闲置着,以后可以打飞盘或者打猎啥的。摩丝五百换枪管非常容易。
* 口径,我买的最常见的12GA口径的。有人认为20GA口径的后座力要小一些,也有人认为其实没区别,还有人认为20GA感觉更疼。我没比较过,但我觉得家防还是威力更重要,就买了更大一些的12GA口径的。
* 装弹量,我这个枪是标准的5+1, 就是弹筒里5发,枪膛里一发。有人可能觉得这比较少,不过我觉得足够了,一般贼人最多来三人,而且用霰弹枪要养成射击中一有空歇就装弹的习惯 …

更多 ...

三藩Wipro首马报告 --- My First Marathon (San Francisco Wipro Marathon 06/17/2013)

[前序]
我的同事中有不少人跑马的,他们也曾经鼓动我参加跑步运动,但是我一直觉得跑步很
无聊,跑马就更加不可想象了。但是今年一月底的时候,在LG的鼓动下,我们两个一年
跑过的距离加起来也不超过全马的的人居然报了六月三藩的全马。我的跑马的同事们都
说我们很疯狂。我其实报着舍命陪君子的态度,主要目的是让LG多多锻炼。

从二月开始,我们参加了为期16周的Run365的训练计划,同时也开始到跑版来潜水,仰
望各位牛人。我们工作都比较忙,除了一周勉强能参加两三次group run之外,基本没
有时间自己训练。中间度假和出差还错过了不少训练。不过感觉自己进步还是不小,从
一开始只能跑两三迈到后来跑十几迈也没问题。

[比赛前]
时间过得很快,一转眼六月份就到了。周六睡了一个大懒觉,吃过了午饭后开车到了三
藩,在旅馆check in之后走路到Hyatt (本次比赛的host hotel)坐shuttle去expo拿bib
和sweat bag。等到回到旅馆已到了吃晚饭的时候。 我和LG继续carbon-loading,各吃
了一大盘pasta。因为第二天一大早四点就要起床,把第二天比赛时需要穿的衣服都整 …

更多 ...

一个关于儒家核心价值观的对话

下面是一个中文BBS上发生的一个关于中国传统文化和价值观的对话,我简单编辑了一下,贴在这儿,也许对某些人有所助益。

[猴娘]  基督教中国化,会不会产生一个类似禅宗一样的新宗教呢?儒学和基督教的融合,存在什么样的困难?
...

[东沟]  ...儒家其实从鸦片战争之后就有所蚕食,五四以后开始被踹,文革时候彻底踹倒。然后改革开放的现代化把其经济基础彻底瓦解,连死灰复燃的机会都没了。一句话:我没有说文革十年毁掉中华文化,我说的是文革十年在中华文化的破房子上踹上最重也是最终的一脚。

今天儒家只能当历史瞻仰,不可能当做信仰。你可以对儒家有无限怀念,但你绝对不会三妻四妾,绝对不会趋义弃利,父母死了绝对不会三年守孝,要是女的更绝对不会三从,也绝对不会饿死事小,失节事大等等等等。你可能会“三思而后行”,会“满招损谦受益”,会“学而时习之”,会“己所不欲勿施于人”,但因为这些东西跟普世价值太像了,你不能说信奉他就是信奉儒家。

[火柴]  你真逗,因为不能“三妻四妾趋义弃利三年守孝三从饿死事小失节事大”,所以儒家灭了。因为“满招损谦受益,学而时习之,己所不欲勿施于人”跟普世价值太像了,所以不能叫儒家得叫普适价值。感情叫不叫儒家不取决于自己,取决于别人 …

更多 ...

读《概念空间》 - 0

Peter Gardenfors, Conceptual Space: The Geometry of Thought, MIT Press, 2004

我先写个总的印象,再逐章总结一下,这书共八章。

这本书的基本思想其实并不新,这个基本思想就是用几何的观点来看认知。R.N. Shepard, J.Feldman等等很多认知心理学家的文章里面隐含就有类似想法,当然都没有系统阐述这个观点。我个人在读这本书之前其实早就已经认同了这个几何观点,并把有些想法用在了自己的工作中。所以当时买了这本书但一直没有认真读,觉得可能没有太多新东西。最近读了一遍,觉得还是有点料的,现在在看第二遍,随便作个总结和科普。

作者不是正统认知心理学出身,而是学哲学搞符号逻辑出身的,早年以搞belief revision成名。不知怎么的,在九十年代初突然就觉得符号逻辑的路途不通,转成了几何的路子。这本书用很大篇幅比较认知理论的三条道路:符号,几何和神经网络。他认为这三条道路并不相互排斥,而是从上到下的三个不同的层次。

这种层次论似乎对应于Marr的三个层次:计算,算法和实现。但好像又不太一样。作者没有对比。我个人理解作者主要是从科学哲学的角度来说的:科学理论是人的理论,必须是人能够理解和把握的 …

更多 ...

中国的技术引爆文艺复兴?

《1434》是一个英国退役的潜艇舰长Gavin Menzies写的书,是他的《1421》的后续。《1421》主要是说是中国
人,具体的说,就是郑和舰队的一支,发现了美洲。自然,有很多人质疑。其中一个观点就是如果中国人发现了美洲,咋没到更近的欧洲?《1434》就主要讲郑和的舰队的一支,在最后一次出航的时候的确到了意大利,并且带去了技术引爆了文艺复兴。 这本书也花很大篇幅介绍了中国舰队使用的星相航行技术的细节,弥补了上一本书的一些缺陷。

这本书的前两页我翻译了一下:

-------------------------
我(Gaviin Menzies)在写《1421》的时候,有一件事让我百思不得其解,这就是为什么很多职业历史学家如此缺乏好奇心。毕竟,哥伦布被认为是在1492年发现了美洲,但在他出航的18年前,他就已经有了一份美洲地图,并在他后来的航行日志中承认了。事实上,在他第一次出发前,哥伦布与西班牙国王和王后就签了合同,聘他为美洲总督。在1492与他同行的一个船的船长,Martin Alonso Pinzon,也在教皇的藏书室里见过一份美洲地图。你如何可以发现一个你已经有了地图的地方?

同样的问题可以问麦哲伦,连接大西洋和太平洋的海峡被以他这个伟大的葡萄牙探险家来命名。当他在1520年到达那个海峡的时候,他已经断粮了 …

更多 ...

心理学能成为一门关于思维的科学么?

心理学能成为一门关于思维的科学么?

斯金纳

就像过去的哲学家一样,过去很多心理学家试图通过观察自己的内心来寻求对行为的解释。通过内省,他们能观察自己的感情和心理过程。不过,内省的方法一直都不太让人满意。哲学家们承认这种方法的缺陷,但还是坚持认为这是自我认识的唯一方法。心理学家曾经尝试着去完善这种方法,使用受过训练的内省者和那些被威廉.詹姆斯很看不上的铜质仪器­。现在再也没人使用内省的方法了。认知心理学家号称可以认识到(心理)表征,甚至可能认为心理表征是唯一能够被认识到的东西,但他们并不号称他们能观察到自己处理心理表征的过程。心理分析师面对同样的问题:无意识的心理过程是不能被直接观察到的。和心理分析师一样,认知心理学家也转向用理论来解决问题。但是理论需要被验证,于是很多人转向了脑科学,在那儿,(心理)过程号称是可以被观测到而不仅仅是被内省到的。如果思维是 “大脑干的事”,而大脑又可以像其他器官一样被研究,那么最后,脑科学就应该能告诉我们以下过程到底是咋回事:建立一个对现实的心理表征,在记忆中存储心理表征,把目的转化成动作,感觉到快乐和悲伤,得出一个逻辑结论,等等。

但是,就如同思维或自我被认为能产生行为那样,大脑也是能够自发产生行为的么?大脑是身体的一部分,大脑干的事是身体干的事的一部分,也是需要被解释的东西的一部分。身体及其大脑是从哪里来的?为什么它们每时每刻都在发生细微的变化?对这些问题,我们不可能在身体及大脑本身上找到答案,无论是用内省的办法也好 …

更多 ...

Is that a cat?

1. 用过晚饭后,唐唐又迫不及待的要麻麻带着到外面进行巡视领地的每日一游的活动。正当他迈着小步在sidewalk上走的时候,一辆SUV从住在我们这片小区里面开了过来。然后在不远处停了下来。接着车窗摇了下来,然后一位女子探出头来问到"Is that a cat?"当麻麻确认唐唐的猫身以后,便被唐唐又拖着继续巡视领地。只听见身后车里的几位不约而同的感叹到"Wow. Cat on a leash!"

2. 晚饭后唐唐又在麻麻的带领下在sidewalk上散步,还很高兴的走到麻麻的前面带路。 走了没多久,就迎面看见不远处有人朝这边走了过来。唐唐先是停下脚步,然后走回到麻麻的脚下,然后坐了下来。等过路人快到面前的时候,麻麻本来以为唐唐会赶快逃跑。没想到到他不但不跑,反而妙妙的朝别人叫了起来。有点象狗向陌生人汪汪叫一样的,不过是在原地叫。更雷人的是,这名过路人还很惶恐的问"他不会咬人吧"把麻麻差点笑翻了。

更多 ...


大草原和越野车:谈谈科学的硬壳(上)

到非洲撒哈拉沙漠以南辽阔的大草原(Safari)上旅行可能是很多人的梦想。在电视上大家可能看过这样的镜头:纯净高远的蓝天之下,水草丰美的草甸之上,大群大群的野生动物随意倘佯,与坐在越野车上的游客咫尺相邻,兴奋的游客们有的照相,有的惊呼指点,好不快活。不过,如果知道这些游客在上车前受到的警告,可能有人就不会觉得有这么快活了。我手头的这本旅游杂志是这样转述这些警告的:“不要下车,否则狮子会吃了你!不要把身体伸出车外,否则狮子会吃了你!”可以想见,当人们读到有游客因为下车到灌木从中撒尿而被狮子咬死的新闻的时候,是如何地既感到惋惜,又止不住有一种的哑然失笑的感觉的。当我听到有人哭喊着抱怨说“哲学不应该来指导科学”的时候,就想起了那些下车被狮子咬的游客。

如果我们把大草原想象成各种思想争奇斗妍的大舞台,大草原上各种野生动物就是如各色各样的非科学的思想,哲学的,宗教的,学院的,民间的,各不相同,千奇百怪,而科学,就如那驰骋在大草原上的越野车,自由自在,想到哪就到哪,所到之处,野生动物纷纷避让,科学简直就是无往而不胜的啊。科学的胜利难免让乘坐在科学的越野车上的人们产生了自己是不可战胜的幻觉,贸然走到车下,于是就有了人被狮子咬的新闻。

人们不应该忘记了,科学的战无不胜的原因,就如越野车一样,在于它本身具有的钢铁硬壳。没有硬壳的保护 …

更多 ...

嫉妒教信的是假道么? 一个教义的分析

面对嫉妒教徒(1)的所作所为,很多人很疑惑,为什么这些自称以耶酥为楷模的人群,
行为上和耶酥所教的往往是背道而弛呢?我现在说的行为,并不是指个别嫉妒教徒的恶
行,而是在嫉妒徒中普遍的存在的,在外人看来是虚伪的行为。一个极端的例子,就是
前美国新教福音派领袖Ted Haggard。而不那么极端的例子,读者如果留意,就可以在
身边找到。正如甘地所说:"我喜爱你们的耶酥,只是太多的嫉妒徒和耶酥实在太不像
了。"(2) 这样的差异的来源是什么? 本文试图从嫉妒教的教义和历史中寻求答案。

信嫉妒教的朋友们可能都知道,没有保罗,就没今天的嫉妒教。几乎完全是靠保罗一个
人的超强的组织能力,口才和热情,才使得嫉妒教在犹太人以外传播开来。指导嫉妒徒
日常生活的教义,基本上来源于保罗对教义的阐述。一本新约,只有前面四篇福音是纪
录耶酥的言行,剩下的倒有十四篇经文是纪录保罗的言行,篇幅和福音差不多长。就是
福音,保罗的印记也很明显。比如说,路加福音的作者就是保罗的弟子,马可福音的作
者也和保罗一起旅行传道过。事实上,新约的最早内容就是保罗的书信 …

更多 ...

显微镜下的数学

显微镜下的数学 Mathematics under microscope (电子书下载)是本数学家写的
从认知角度看数学的书,挺有启发性的。

数学和心理学的联系,应该要比和物理学的联系还要紧密,还要更自然:数学是心理产
物(Mathematics is the study of mental objects with reproducible properties.
p.IX),而心理学是研究心理产物的产生过程的。如果对心理产物本身都不了解,如
何能正确认识其产生过程?

从方法上看,心理学也需要极大地增加数学的使用。有很多心理学实验结果,其实可以
找到数学上的解释。比如最近的一个例子,关于认知失调(cognitive dissonant)的,
实验结果用概率论也能解释,而不一定就是认识失调。具体可见这篇纽约时报的文章

另外一个有趣的观点,就是很多高深的数学计算,其实是很低级的神经系统作的。好的
数学家能把这些低级功能带入意识来。一个有关的例子就是所谓的白痴数学家。

我还没看完这本书 …

更多 ...

唐唐娇娇春游记 (Tom, Mayori Field Trip in a sunny spring day)

春天来到,野花微笑,小鸟欢叫,唐唐娇娇,春游去了!

左一个,右一个,奔跑在希望的田野上。

一二一, 仰首阔步向前走。

东闻闻西嗅嗅,春天的气味好甜蜜。

走累了歇一歇。

娇娇的到此一游照。特纪念第一次春游:共走了两哩,遇各种大小的狗狗五只,大人小人数十位,各被小朋友pet两次,被大家夸奖数次。

更多 ...

Interesting Comments on The Election From MITBBS

So funny!


发信人: restarted (New Day), 信区: USANews
标 题: Re: obama说昨天hillary clinton赢是因为媒体帮忙
发信站: BBS 未名空间站 (Wed Mar 5 21:30:17 2008), 转信

所以他老婆说他是绝无仅有的。。。。

【 在 sleeping (此ID重新启动) 的大作中提到: 】
And, he published nothing in the Review over which he presided as President!
The law students on the Review all have …
更多 ...

Valentine's day with the cats

Another lonely Valentine's day for me. Fortunately, the cats are with me.

唐唐:巴巴给麻麻送的什么呀。让我先鉴定一下。
嗯,闻起来好象不错。

娇娇:哼,有什么好的。又不能吃,还有刺。不好玩。

jiaojiao

更多 ...


小"WSN"唐唐

自从家里来了一位美猫JJ Cassandra之后 (暂时寄养的猫),

春心萌动的少男唐唐就变成了彻头彻脑的小"WSN"。

先说这位美猫Cassandra貌美如花,阅猫无数,对唐唐这样的楞头青自然是看不上眼。只要一看到唐唐稍微一接近她,Cassandra必对唐唐猛哈无疑。

唐唐看到正面接触美猫JJ不成,就改换了曲线救国的方针--每每在Cassandra吃饭喝水被梳毛的时候,从Cassandra的后面慑手慑脚的靠近她, 一边贪婪的闻美猫JJ的体香,一边伸出爪子企图摸Cassandra的尾巴,直到被发现后被哈为止。

见唐唐日渐为伊消得猫憔悴,日日"以酒浇愁"

巴巴麻麻看在眼里疼在心上,在经过一番思想斗争之后决定要帮助唐唐实现接近美猫的心愿。于是一日在巴巴给Cassandra梳毛外加按摸得美猫神魂颠倒之时,麻麻趁机把唐唐抱到的Cassandra的跟前。没想到唐唐到了Cassandra眼前,不是趁机与美猫亲密接触,而是一边拼命往后躲,一边委屈的大声惨叫。

唐唐不但白白浪费了这个大好机会,还从此被冠于了"唐阿斗"的称号。

更多 ...

介绍娇娇

jiaojiao

姓名:娇娇

性别:小美女。

品种: 巧克力点的巴利猫(Balinese, chocolate-point)

性情:哼,你们嫌我脸上有花,可我知道我是个美女~_~。我感情特细腻,特丰富的。隔一小会儿没见着巴巴麻麻,见着了我就特激动,一边使劲咕噜咕噜,一边还要使劲蹭他们。我最喜欢被抱在肩膀上了,站得高,看得远。每天早上7点钟我都要把他们给咕噜咕噜醒,这是我的工作嘛。我高兴了还会给麻麻按摸呢,我的技术好极了。对了,我特好养,人吃啥我就吃啥,玉米和waffle是我的最爱,每次都让我高兴得要发疯了(不要意思,这时候我总会忘了我是个淑女的)。我很聪明的,唐唐会的我都会,他不会的我也会,比如上桌子找东西吃啥的。

进门的经历:麻麻在网上看见我的玉照就喜欢我了,把我领回了家,他们都很爱我。我也爱麻麻和巴巴。嗯,我也喜欢唐唐。他这个傻大个,我老欺负他,他也不生气,嘻嘻。当然了,我对他也不错,经常给他舔毛的 …

更多 ...

介绍唐唐

tom

姓名:唐唐

性别:小帅哥。

品种: 沙特尔猫(Chartreux, 法国的国猫喔:-))

性情:麻麻说我是一只象狗的猫。理由如下:(1)我喜欢舔人,第一次见面的客人也要舔,使劲舔,这样大家才喜欢我呀;(2)麻麻走到哪个房间,我就跟到哪,我一边呆着,没准麻麻就会给我分配一个光荣任务呢;(3)我喜欢趴在麻麻的脚下睡觉; (4) 我会被牵着到外面去遛达; (5) 我懂 come, sit, stand的指令。 哦,我还会roll over, 嘿嘿,其实我只是喜欢躺在地上晒我的肥肚子,"嗯,满腹经纶啊"。我是一只乖乖猫,不挑食,也不乱吃东西,只喜欢吃猫粮。嗯,猫treat我也不会拒绝的,呵呵。他们说我乖,还因为我好对付,给我洗澡剪指甲啥的,我动动就闭上眼不动了,就当它没有发生吧。

进门的经历 …

更多 ...