南街村这个世界上最黑暗、专治、贪腐的地方

很愤懑，不能入睡。原因是想把南街村给灭了，有没有这个能力。
有人为什么要用纳税人的血汗钱，撑起南街村这块婊子牌坊？无非是要死死咬定自己的政治路线是正确的，以此维持自己执政合法性。

真正的英雄

赵文量、杨雨澍是我心中正真的英雄。他们在“共产主义”（并非真正的共产主义，特指一种反人类的专制主义）当道的时候反抗共产主义，在资本主义横行的时候又反抗资本主义，不能狂潮往哪边打，始终坚持心中的价值观念。能做到第一的人已经很了不起了，即使他们后来受了资本主义的招安。能做到这两条的，是世间罕有的伟大。

更黄，更暴力

在网上看到一张图，用mspaint.exe编辑了一下，结果，更黄更暴力了

以发展新能源的名义，摧毁环境

中国的企业在中国政府的鼓励下做的事情，看看吧：http://www.corpwatch.org/article.php?id=14964。这就是我说的“环境剥削”。在政府以“积极发展替代能源”的公关挡箭牌后面，竟然如此肮脏！

补充：所谓“生物能源”的巨大祸害也被揭露出来了，贪婪的资本，根本置人类的前途不顾，一心想着如何打着“绿色”的旗号谋利。

KFC虐待雇员，Pizza hut浪费能源

这是几个月前的事了，一直没有时间记录，今天补上，让大家看看这些有头有脸的跨国公司的勾当。
这是一年中最冷的时候，成都室外的温度不到5度。我从武候祠的文轩连锁书店出来，穿过KFC出门。一进KFC，就感到寒意逼人。KFC的空调竟然还没有书城足！在这么冷的环境里就餐，食客肯定不舒服，KFC的管理层为了省钱，竟然想了一个变态的办法：他们规定员工只能穿短袖单衣加一件背心！这样就给了顾客一种心理暗示，抵消生理上的不适感。长期在这么低的温度下穿短袖，就是虐待！KFC虐待雇员！
后来我又去光华的Pizzahut溜达了一下，Pizzahut里温度足有30度！远远超过了国家规定的营业场所空调温度上限。当然，如此的高温是让人很舒适，愿意光顾。Pizzahut就是这样视中国的法规如无物，横行霸道，攫取利润的！
这就是在中国南方各省遭遇雪灾，中国人民遭受痛苦时，跨国公司的所作所为！

作为理性决择的吸毒

前两天看Lord of War，里面非洲人说的一句话：为什么要担忧一个十年后才会致命的疾病（指爱滋），而你现在你随时随地都可能死（于战乱）。有些人明知爱滋的危害，却不保护自己，其实是在其生存环境下的理性决择。这句话启发了我，毒品问题有同样的原因！在我们接受到的禁毒宣传中，政府强调，吸毒者都是一时冲动，做出错误决定，结果难以自拔。政府绝对不愿意面对的是，吸毒还有另外的原因：在我国靠近“金新月”的地区，有人群被政府边缘化，这些人中的一部分，因为生活没有希望，而寄情于毒品。问题的根源，是社会没有给这些人足够的向上流动性，不足以让这些获得更有积极意义的生命。

忍不住要转载一篇－开口就说上床的是“好色狼”

[我一般是不会转载这种文章的，但是实在忍不住了，这是我看过最无耻（非贬义）的文章，能无耻到这个地步，真是大开眼界。]
“流氓现在都在高档写字楼里面。”不可否认，有的男人的确是披着人皮的狼，但是绝大多数是好的。

很多人，平时其实很正经的，很可爱的，是个好男人。但是上了网很可能见到女生就是要求上床， 因为平时生活太乏味阿，而且生理正常。既然到了网上，那还何必掩饰自己想和女孩做爱的本性呢？和漂亮女生做爱，哪个健康的男生不想？但是，这些其实真正的 好男人，总是被网上的女生误解，说是坏蛋，不是好人。

天理良心！哪个女生被网友欺骗的故事里面，是一个开口就是我们上床吧的男人？如果 和这样的男生见面了，又出过什么问题？我不喜欢说我是个特别好的男人，但是我绝对不坏，是个有责任心，有事业心的男人，有时候还非常心软。这样的一个男 生，就是因为在网上喜欢直截了当的说性、说做爱、说上床，就被女生形容为没有素质、没有道德、低级庸俗的人，而且给我的定义就是不是好人，打死都不能和我 见面。色狼们实在想不通，有些女生宁肯沉醉在高中毕业生，待业在家的小流氓的甜言蜜语，难道就不能现实的了解一下我们这些看上去的确是色狼，其实在社会上 还算比较优秀的男人吗？我有一个研究生同学，很帅，家庭好，很完美的一个男人，就是喜欢在网上说能不能和你见面，能不能和你上床啊，当然拒绝他的女生很 多，直到有一天，一个女生，也是很不错的外企的女生，居然在网上答应了和他一夜情，当天晚上就见面了，吃了饭，泡了酒吧，两方感觉都不错，晚上就激情了， 现在呢，大家想不到的事情是他们两个结婚了，现在还是很幸福，房子换了150平米的，有一辆汽车。

这就是一个网上的很明显的坏男人的真实故事。色狼们没有什么海誓山盟，因为他们知 道，这些东西都太假，都太虚伪，太不现实，说出来是很不负责的，所以色狼们都是很有责任心的；色狼们也不会欺骗，他们会老老实实的交待自己的年龄，职业， 身高，体重，也不会写些软溜溜的文学来衬托自己的高雅，因为他们没有必要去靠欺骗来赢得内女孩子的芳心，一切真实就好；色狼们也不会随便和女生结婚，因为 他们知道结婚了，自己就要收敛了，这是男人的责任。

各位女生，难道你们的观点不能改变一下吗？很多很多的女生都说别和我谈性，别和我 搞一夜情，其实真正的优秀的男人，哪有那么多时间还和你网上聊天，聊工作聊感情？他们已经很忙了，他们真的懒得去花前月下的在网络上聊什么天，不就是要泡 妞吗？何必搞得那么麻烦？而且，很多有时间，看着很有学问，很有修养，很有道德，出淤泥而不染的男生，真正的身份是什么呢？是待业青年，是穷酸作家，是想 杀人想骗钱的，不上课不学习的学生，和他们网恋能有什么好结果，我倒是问问各位女生，你们投入了时间精力，投入了肉体，最后和一个虚假的男人待在一起了， 爱上他了，那么你到底是爱真人，还是爱网上那个虚伪的灵魂？有一次出差，酒店上不了网，我去酒店旁边的一个网吧收邮件，一进去就看到几个半大小子，抽着烟 在那里聊天，我很容易看到他们的屏幕，这个小子167左右的身高，一脸坏笑，开着一个QQ和众多的女生聊天，旁边打开了一个网页，上面应该是言情小说或者 散文什么的，他边聊，边粘贴一些段落到上面。他的QQ频繁的闪动着，而我这边静寂无声。他旁边的一个朋友问他，那个小梅(忘了具体名字)搞得怎么样了。这 小子说：“不错啊，估计再聊两天就爱上我了，可以上床。”旁边那小子说：“不错啊。你这个月厉害啊。”这小子回答：“这丫头好像挺有钱的，呵呵呵！”我深 锁眉头，叹息着，就这样一个混蛋，还能泡妞阿！那个笑声中隐藏着恶毒的手段，我真不知道这个叫小梅的姑娘会怎么样的后果。补充一下：一般比较色的男人因为 将一些阴暗的东西都释放了，所以很健康，相反那些满口道德的人内心倒是很值得怀疑，所以，我毫不内疚我很色。有一句话我至今很认可：“流氓现在都在高档写 字楼里面。”不可否认，有的男人的确是披着人皮的狼，但是绝大多数是好的。

我现在可以教女生们识别好色狼的几个方法：

1、好色狼话不多。如果是上班时间，好色狼的话的确很少，中断性很强，而且说着说着就不耐烦了，就要说色情的东西。

2、好色狼基本上不会吹嘘自己，他们一般都是你问什么就回答什么，不会和你打什么迂回战术。

3、好色狼如果有你的电话，短信量比较少，一般都是邀请你出去玩，或者是给你发一个好笑的短信，有时候会问问你近况如何？还认识我吗？很少有废话连篇，卖弄文学的。

4、好色狼绝对不会说漂亮话，绝对不会发誓要和你永远永远，爱你入骨什么的恶心的话，他如果真的已近爱上了你，他会天天给你打电话，看到你会很开心，条件成熟了才会试探着问你对未来的打算。

5、好色狼绝对不已结婚为目的，而是认识女生为目的，尽管有的时候只是希望能够找到性伴侣，但是如果一旦感到的确是自己理想的终身伴侣，好色狼绝对不吝啬那句求婚的话的。

6、好色狼上网聊天，也许开口就是我们做爱吧，如果你慢慢聊下去，你就能发现他其它的优点，而且如果他认为你是朋友，但是不可能一夜情，他会时不时和你打个招呼，但是大部分时间不理你。

7、好色狼也许突然会翻出一年前和你的聊天记录，因为他是在公司上网或者是在家上网，绝对不是在网吧。

8、好色狼一般都比较自信，至少不是青蛙，如果女生要照片，他会很爽快地给你传过去，当然会找你要照片，你如果坚持说没有，他还是会发给你。

9、好色狼绝对有正当的职业，千万不要相信说自己是自由职业者的人的话，真正事业有成的人，绝对没有时间和你在网上几个小时不停的聊天的。

以上是好色狼的一个特点，当然，还有很多很多的特点有待整理，我这里也就先说这么多好了。

繁荣是为什么？

当人追求什么的时候，先明白的，或需要先弄明白的，不是怎样做，而是为什么要这样做。所有有必要讨论一下国家为什么要追求繁荣。如果繁荣可以让人民有更多的资源（时间、教育、金钱...）追求真、善、美，那繁荣绝对是目标。但是繁荣带来的是骄纵和浪费，那真还不如萧条好！一个国家首要的任务就是引导人追求真、善、美，而不是纵容繁荣下奢侈浪费。“以经济建设为中心”、“压倒一切”，本人不认同。

发展是为什么？

经济发展带来生活水平的提高，我承认。但充分条件不等于必要条件，谁证明了生活水平提高的唯一途径是经济发展？我看不是，比如削掉一些最有钱的人的财富，从社会下层开始分配，总体生活水平不是一样的提供了吗？有人说这样做有代价，发展没有代价吗？代价更大。还有人肯定要说我是仇富。哦不，我不仇富。我不仅不仇富，还能证明我不仇富。证明如下：虽然阿拉伯的王公贵族是富甲天下的人，但我不仅不觉得他们不正当，相反，我希望他们更富，我希望石油的价格暴涨，这样人类才能得到一个审视自己发展方式和其后果的机会。可见，富人若是富的正当，我是不仇视的。

散眼氏心目中的经济学第一原理

考查当今的中国经济形势，我觉得所有经济学原理中最重要的一条是：
Every Chinese commodity is UNDERpriced.
这条原理等效于：
Every market of China has failed.
又等效于：
中国的市场经济建设，迄今为止，三十年，彻底失败。
原因很简单，生产者为了追逐利润，会尽量把成本转移到外部。中国政府为了追求所谓的“繁荣”，不仅没有制止这种行为（别忘了，政府干涉经济的唯一理由，就是解决市场失效问题；此乃不作为），还鼓励了这种行为（此乃乱作为）。看看我们的生活，处处是定价过低的商品：电子产品为什么定价过低？浙江、广东、福建的农民为污染卖了单。汽油为什么这么便宜？二氧化碳造成的环境影响没有被记入成本。电视节目为什么这么便宜？它浪费的国民时间没有算。如果我是政府，我会向电视台征收高额造成精神空虚税。房子很贵，但是房子是严重定价过低－农民工的血汗、占用的耕地，都太贱了！我不是说地方政府和开发商应该牟取更多利润，我是说：现行房价中的大部分利润，加上应该补足的房价，应该补偿农民工和失地农民。
世界上没有免费的资源。价格只是一个名义。只有当价格最真实的反映商品的成本的时候，经济体系运行的成本才是最低的。人为的压低价格，造成充裕的假象，和小学课本里那个“拔苗助长”的家伙有什么区别？小学的时候班上没有一个同学相信世界上有这么傻B的人，现在居然看到一群这么傻B的人，在统治一个国家！现在我们不仅要为全部成本付费，还要为扭曲的价格体系制造的损耗付费。只不过，我们可以选出一些倒霉的人，让他们多付一些，这一定让那些不用付费的人满意。
“出来混，迟早要还的”。

发现伟大的墙可以过滤pdf文件

现在可以过滤pdf了！现象是这样的：我试图下载一个揭露真相的pdf，第一次，下载进行到中间http连接就断掉了，以后就根本不能建立连接了。显然，伟大的墙以前并不知道这个pdf的存在，在我第一次下载的过程中，它检查了文件内容，断掉了连接，并将这个文件的url加入了过滤名单。

感叹－意大利人的美学态度

1957年，当意大利公司Olivetti制造Elea 9003－它们的第一台mainframe时，请著名设计师Sottsass为其做外形设计，后来这款mainframe获得了一个设计大奖。我不禁感慨，意大利人到底是意大利的啊，真不愧是文艺复兴的子孙。须知1957年的mainframe可不是2008年的iPod。这种mainframe估计也就能买卖百十来台，有机会看她一眼，最多也就千余号人。只有对美的追求渗入灵魂的人，才会在这上面做个设计。我等望尘莫及。

秦始皇又怎么样？你老母的墓不被人烧了吗?

古代的高官墓被盗的多，墓被盗了还被放把火烧了的，据说还真不多。能享受如此高规格、高到破例待遇的，也只有嬴政家的了。只是我觉得那个盗墓的到底太老实，换了我，我才不烧它呢，我开棺辱尸玩。

Four ways of implementing a backtrack search

This is a stub article.
By now I have known four ways of implementing a backtrack search.
1.Using a recursive function. This is the plain vanilla way, which I learnt from "Programming Abstractions in C".
2.Explicitly managing the stack.
3.Using "amb" to employ non-deterministic computation, and
4.Using streams. The SICP implements the "control" aspect in Prolog with streams.

央视又在愚民

我承认，这个标题没有意义，因为说央视在播送一样。我要指出，这一回，央视动用了大量资源，集中于一个问题进行误导和分散注意力的宣传。这次南方几省的自然灾害，应视为大自然对中国政府的一次警告，要求其全面重新审视中国的经济发展环境，以负责任的方式发展经济。央视为了避免中国人思考和追问这个问题，树立了“抗灾救灾的勇气”，“人们在灾害面前显示的团结友爱”等主题以转移注意力，并再次企图证明所有中国人都应该保持政治一致。
在当今的中国，宜人的环境已经成了一种稀缺资源，在富人对穷人的剥削新增了一种－环境剥削。富人的成产（工厂）、生活（汽车、航空旅行、室内电器）方式对环境的影响比穷人大出许多，而自然灾害给穷人带来更大的痛苦，这正是环境剥削。而央视的新闻宣传充满了激越的战天斗地的感情，几乎不见对受灾人民痛苦的关注。

我抵制2008奥运会开幕式

不管身边的怎么起哄，我是绝对不会看的。因为我讨厌张艺谋－他代表的是冷酷的独裁者和贪婪的资本主义。他搞的开幕式在我眼里就像春节联欢晚会一样－充斥着以华丽空洞的歌声媚上的宋祖英和以嘲讽底层人民为能事的欺下的赵本山。记得曾听到过官方“公开征集选拔开幕式导演”的（假）消息，以后很长时间没有任何动静，也不知道都有谁应征了，突然一天有消息说彩排进行到某个阶段了！这是才知道（但是没有惊奇）导演是张艺谋。人民就这样又被蒙了一回。

本blog是针对Dijkstra的书A discipline of programming的第3章The characterization of semantics的读书笔记。
第19页的PROPERTY 4，4'比较confusing at first。我们可以在逻辑上进一步分解本章中的概念：
Let s be a state of the system. Let P be a predicate. Denote the true value of P on state s by Ps (think it as "P applied on s"). Let = denotes logical equivalence. Define predicate "Q⇒R" as: (Q⇒R)s = Qs→Rs (→ being the logic implication operator). Define predicate "Q or R" as: (Q or R)s = Qs∨Rs (∨ being the logic or operator). Define "Q and R" correspondingly. Denote the final state reached by machine S starting on initial state i by S(i). By the definition of the weakest precondition wp(S, R)s = RS(s). Equipped these notations, a formal proof of Property 3 can be conducted, which aids understanding of this property.
Proof of (wp(S, Q) and wp(S, R)) = wp(S, Q and R):
(wp(S, Q) and wp(S, R))s = wp(S, Q)s ∧ wp(S, R)s = QS(s) ∧ RS(s)
and
wp(S, Q and R)s = (Q and R)S(s) = QS(s) ∧ RS(s)
hence they are equal.
In the same way, Property 4, or (wp(S, Q) or wp(S, R)) = wp(S, Q or R) can be proved. Then the question is why Property 4 is a one-way implication? The key is to realize that in the above proof, we assumed S(s) is a single state, since we only defined the true value of a predicate on a single state. This means all the arguments holds only for deterministic machine. To deal with nondeterministic machine, first let S(i) be the set of possible final states reached from initial state i. Then we must define PW, in which P is a predicate and W is a set of states. Because a nondeterministic machine from a initial state i may produce any one of its possible final states in S(i), in order for a predicate to be true, all the final states must statisfies it. Thus: PW = ∀s∈W, Ps. Based on this definition P(W1∪W2) = PW1 ∧ PW2 (Note on the left-hand side is the set union, but on the right is the logic and, instead of or!). Now let's see why we have one-way implication in Property 4:
Suppose S(s) = {s1, s2, ... sn}. On the left-hand side:
(wp(S, Q) or wp(S, R))s = wp(S, Q)s ∨ wp(S, R)s = QS(s) ∨ RS(s) = Q{s1, s2, ... sn} ∨ R{s1, s2, ... sn} = (Qs1 ∧ Qs2 ∧ ... ∧Qsn) ∨ (Rs1 ∧ Rs2 ∧ ... ∧Rsn)
On the right-hand side:
wp(S, Q or R)s = (Q or R)S(s) = (Q or R){s1, s2, ... sn} = (Q or R)s1 ∧ (Q or R)s2 ∧ ... ∧(Q or R)sn = (Qs1 ∨ Rs1) ∧ (Qs2 ∨ Rs2) ∧ ... ∧ (Qsn ∨ Rsn)
Using propositional logic, we know the left-hand side ⇒ the right-hand side but not the other way round.
Finally, note if all ∨s are replaced by ∧s on both sides, they become equal, due to commutativity and associativity of the ∧ operator, which mean property 3 still holds for nondeterministic machines.

互联网将是蕴藏巨大学术价值的人类学的新田野。关键是创意和技术。另外在现有互联网基础实施上，还有无穷的功能有待出现。互联网对生活的影响才初见端倪，好戏还在后头！Times上一篇文章The Most Depressing Day of the Year就是这个范畴，很有意思。

二楼：Telegraph网站上有一篇报道：Larry Brilliant, of Google.org: Internet 'is pandemic early warning system'。
三楼：据传2008年第二期的Popular Science上报道了一个叫MarketPsy Capital的公司，通过统计分析互联网上有关股票的文字（blog，新闻等）来预测市场走势。
四楼(08March3): 围棋，由于状态空间特别大，特别“自由”，所以电脑程序玩得不像玩国际象棋那么好。可不可以从围棋游戏网站收集大量对弈，建立pattern-based heurisitc database呢？

www.blogger.com也被封了。顽强的通过Google Docs写blog，戴Tor操墙。

我的role model

我的role model是两个叫赵文量和杨雨澍的人。搜了他们的名字，把我看到的感召我的文字片段收集一下：

由于他们的不合作、不对话态度，文化体制对他们的成就，至今保持着刻意的沉默。
（记得电影Michael Collins的台词Our only weapon, is our refusal！ ）

“我到广东、广西、江南、江北、楼上、楼下，到处是千篇一律、千人一面，今天在这里我才见到创新的东西……一看画就知道你们没有见过外国的东西，都是自己的创造……听说你们没有进过学院，太好了。中国人总喜欢把学院办成衙门，一进去就坏了，我是多年的院长，深知这一点。” －刘海粟

自60年代初期开始，他们常常在一起探讨绘画。当时的艺术界，开始全面实行苏联契斯恰珂夫教育体系，并独尊苏联社会主义现实主义的创作方法。

　　赵文量和杨雨澍的艺术风格，形成于文化大革命中。这个时期，正是中国绝大多数的艺术家，越来越深地卷入国家政治旋涡成为工具的时候。一方面是革命现实主义的红光亮和高大全式的作品铺天盖地，艺术风格千篇一律。另一方面是，所有不同的艺术风格都遭到围剿，其中现实主义内部还"不够革命"的老一辈艺术家也不能幸免。在那个红色恐怖的年代中，赵文量和杨雨澍自1966年始，反"艺术为工农兵"的道而行之。强调艺术中的个人情感，置"工农兵火热的斗争生活"于不顾，热衷研究大自然和外光色彩，并逐渐把中国传统文人缘物寄情和笔墨情趣的美学观应用在油画的创作中。

在当时轰轰烈烈的文革中，他们这种无视主流艺术的姿态，自得其乐地沉浸在一种纯洁的艺术试验中，非常类似传统文人在黑暗官场之外的那种"聊寄胸中逸气"的立场。他们的许多作品，因此都有一种孤独的感觉。这与他们在文化的全面浩劫中，始终保持着独立人格、自由精神和艺术的纯洁性有关。

1973年，赵文量遇到同学的母亲徐亚筠女士。这位曾经的北大才女、胡适的学生，刚刚被儿女拒之门外。儿子在给母亲的五块钱生活费上写着：“特此恩加五元 钱。”母亲拿着这五元的钞票泪如雨下。这个年轻时周游东南亚、文雅美丽的女子，已是头发枯黄的老太太模样，衣服上还印着做饭时留下的油渍。赵文量把她的模 样画下来，画作的名字是《诗人》。徐亚筠女士看了画，说“我一个穷老婆子，没有人要，谢谢你把我画得那么有尊严。”

“我们有时候吃两顿饭，中午1斤面条，晚上1斤面条，一共是4毛2分钱。夏天顶多添点西红柿和黄瓜，价格也不贵。”

他们也从来没有出售过任何一幅自己的画，是罕见的“不卖画的画家”，虽然卖画的机会也不少。

后来有画廊与他们谈签约，选了六七幅画，想以每张1000美金直接买断。“怎么能答应？有了钱，我们的精品也就没有了，那对我们而言更是巨大的损失。”赵文量说。

近年艺术品市场繁荣，很多画越卖越贵。“现在所有人都被炒作，我们一旦进入，价钱卖得很低，那何必自讨没趣、羞辱自己呢？这是尊严问题！”杨雨澍坐在小板凳上，很动情。

“现代人很难理解———这些画都是给我自己看的，什么叫我的生命？她们都很耐看。她们就是我的四肢的延续。我为什么要砍掉自己的手和脚呢？我们希望完整地保留，不管对抗政治压迫，还是金钱压迫，都应该挺下去。”赵文量说。

“我们经历的苦难比凡高多得多。”

自1960年代到1970年代末，这前20年，在红旗招展的年代中，他们偷偷摸摸地在地下搞现代艺术，成为边缘；1970年代末期浮出水面，开放后的20年，按说把进口的洋玩意搞出中国特色，已经可以纳入主流艺术的视野，但是，因为清高，在越来越商业化的今天，他们依然边缘；更不可思议的是，由于当代艺术的“国际接轨”，装置、新媒体成为中国当代艺术的时髦媒介时，没有人，尤其是没有年轻艺术家，再会对现代主义早期绘画的中国转换这种吃力不讨好的劳作感兴趣；同时作为现代主义的先驱人物，在当代艺术肆无忌惮的面前，也主动选择了边缘。

将忠实艺术与个人尊严等同，赵文量及其绘画弟兄在过去四十多年完全交付给画布，远离官场与市场的门墙。
无名画会的光荣，是从来不属于美术界。中国美术界不缺少画家与作品，但无名画会提醒我们，许许多多狎弄艺术的人，并不是真的艺术家。—陈丹青