Life with Bugs

风雨飘摇中的数学

2010-11-18T05:57:00.001-08:00

注：这是自然辩证法老师要求写的一篇读后感。老师给了比较多的书目，叫我们选一本读，我选了莫利斯·克莱因《数学：确定性的丧失》一书，读完后，有点感触，所以把读后感也发到这里。顺便感谢下老师，虽然可我只上周上过一节，但上后才发现，上的和我想象的政治课完全不一样。老师讲的很生动，后面放的纪录片也很好，哎，真不应该翘那么多课的。

以下是读后感正文(有部分内容直接引自《数学：确定性丧失一书》)：

风雨飘摇中的数学

《数学：确定性的丧失》读后感

每天，太阳总是准时的升起，准时的降落；每年，春夏秋冬，四季轮回。对于这一切自然现象，我们毫无条件的相信，对其确定性也毫不怀疑：我们不会担心明天太阳不再升起，明年春天不会回来。

同样的，就像对于自然，我们对于数学，以及数学模型化的物理规律，甚至远至建立在物理规律的发明创造，都毫不犹豫的相信。我们相信，1+1必然等于2，我们相信，路程等于速度乘以时间，我们相信，当我们按下开关时，灯就会如我们所愿的打开或关闭。仿佛一切的一切，都是那么确定，都是毋庸置疑的。

然而，但我看过莫利斯·克莱因（1908.5.1—1992.5.10）所著的《数学：确定性的丧失》一书，我才发现，我们所相信的一切的一切，其根基是如此的脆弱：我们现在对世界，对自然的认识，都是建立在数学的基础上；而数学本身的基础，却是如此的脆弱，整个数学，包括我们建立在数学之上对世界的认识，都处于风雨飘摇之中。

数学发展史以及三次危机

数学的发展史，就是一部追求真理的探索史，也是一部不断解决各种危机的历史。

真理的起源-古希腊的数学以及第一次危机

最早创建数学是古埃及和古巴比伦的一些先驱者们，但数学作为一个独立知识体系却是起源于古希腊。数学最早来源于经验，是经验的抽象，升华，和体系化。柏拉图，阿基里德这些伟大的思想者，通过对大量经验总结，对前人的数学知识的整理，以及独立深邃的思考，建立了一套较完备的整数理论以及几何理论。和整数理论相伴的，人们毫不怀疑的以为，自然界的任何数都可以通过自然数和自然数的比（即可约）来表示。直到出现第一次数学危机-无理数的出现。

大约公元前５世纪，不可通约量的发现导致了毕达哥拉斯悖论并最终导致了无理数的提出。当时的主流数学学派-毕达哥拉斯学派认为：宇宙间一切事物都可归结为整数或整数之比，毕达哥拉斯学派的一项重大贡献是证明了勾股定理，但由此也发现了一些直角三角形的斜边不能表示成整数或整数之比（不可通约）的情形，如直角边长均为１的直角三角形就是如此。这一悖论直接触犯了毕氏学派的根本信条，导致了当时认识上的"危机"，从而产生了第一次数学危机。到了公元前370年，这个矛盾被毕氏学派的欧多克斯通过给比例下新定义的方法解决了，并最终导致了无理数的出现并且承认。

第一次数学危机对古希腊的数学观点有极大冲击。这表明，几何学的某些真理与算术无关，几何量不能完全由整数及其比来表示，反之却可以由几何量来表示出来，整数的权威地位开始动摇，而几何学的身份升高了。危机也表明，直觉和经验不一定靠得住，推理证明才是可靠的，从此希腊人开始重视演译推理，并由此建立了几何公理体系，这不能不说是数学思想上的一次巨大革命！

真理的繁荣-欧洲的数学复兴以及第二次危机

和文艺复兴相伴的是，整个自然科学的复兴，尤其是数学的复兴。在17世纪到19世纪这段时间里，欧洲出了许多数学巨星，包括牛顿，莱布列次，高斯等等。这些巨星的出现，让人们感觉这个世界是可以通过数学模型完美的描述的。有了这些数学知识，人们可以预测哈雷彗星下一次到来的时间，人们预测出了天王星的存在。这一切的一切，展示了数学的强大，我们仿佛已经可以通过数学掌控一切自然现象。然而，强大的数学在解决复杂的天文，物理问题一展神威之时，它本身却陷入了困境。负数，复数的出现，尤其是无穷小的出现，无不让数学陷入困境，出现了第二次数学危机。

1734年，英国哲学家、大主教贝克莱发表《分析学家或者向一个不信正教数学家的进言》，矛头指向微积分的基础--无穷小的问题，提出了所谓贝克莱悖论。他指出：牛顿在一些典型的推导过程中，第一步用了无穷小量作分母进行除法，当然无穷小量不能为零；第二步牛顿又把无穷小量看作零，去掉那些包含它的项，从而得到所要的公式，在力学和几何学的应用证明了这些公式是正确的，但它的数学推导过程却在逻辑上自相矛盾．

直到19世纪，柯西系统地发展了极限理论。柯西认为无穷小量应该是要怎样小就怎样小的量，因此本质上它是变量，而且是以零为极限的量，至此柯西澄清了前人的无穷小的概念，另外实数理论，集合论的建立，也把无穷小量从束缚中解放出来，第二次数学危机得以基本解决。

真理的完备之路-第三次数学危机

进入19世纪，极限理论，集合论的提出和完善，使得人们以为数学理论已经走向完美，但是，就在人们为数学庆功之时，几个悖论的提出，让人们对数学的信心跌入低谷，数学的确定性受到了前所未有的挑战，数学真正走到了风雨飘摇的边缘。数学理论遇到了第三次的危机。

数学史上的第三次危机，是由1897年的突然冲击而出现的，到现在，从整体来看，还没有解决到令人满意的程度。这次危机是由于在康托的一般集合理论的边缘发现悖论造成的。由于集合概念已经渗透到众多的数学分支，并且实际上集合论成了数学的基础，因此集合论中悖论的发现自然地引起了对数学的整个基本结构的有效性的怀疑。

真理确定性的丧失

1897年，福尔蒂揭示了集合论中的第一个悖论。两年后，康托发现了很相似的悖论。1902年，罗素又发现了一个悖论，它除了涉及集合概念本身外不涉及别的概念。罗素悖论曾被以多种形式通俗化。其中最著名的是罗素于1919年给出的，叫做“理发师悖论”。理发师宣布了这样一条原则：他给所有不给自己刮脸的人刮脸，并且，只给村里这样的人刮脸。当人们试图回答下列疑问时，就认识到了这种情况的悖论性质："理发师是否自己给自己刮脸？"如果他不给自己刮脸，那么他按原则就该为自己刮脸；如果他给自己刮脸，那么他就不符合他的原则。

罗素悖论使整个数学大厦动摇了。无怪乎弗雷格在收到罗素的信之后，在他刚要出版的《算术的基本法则》第２卷末尾写道："一位科学家不会碰到比这更难堪的事情了，即在工作完成之时，它的基础垮掉了，当本书等待印出的时候，罗素先生的一封信把我置于这种境地"。于是终结了近12年的刻苦钻研。

承认无穷集合，承认无穷基数，就好像一切灾难都出来了，这就是第三次数学危机的实质。尽管悖论可以消除，矛盾可以解决，然而数学的确定性却在一步一步地丧失。现代公理集合论的大堆公理，简直难说孰真孰假，可是又不能把它们都消除掉，它们跟整个数学是血肉相连的。所以，第三次危机表面上解决了，实质上更深刻地以其它形式延续着。

数学家们认识到他们的工作面临一个更严峻的危机。当然，他们不打算袖手旁观，坐视几个世纪的努力毁于一旦。因为坚固性依赖于为推理所选定的基础，很明显，只有重建全部基础才能挽大厦于将倾。在重建后的数学基础上，逻辑和数学公理都必须加强，因而建造者们决定将基础打得更深些。不幸的是，在以什么方式，在什么地方加强基础这一点上，他们没能达成一致。每个人都认为自己能确保坚实性，每个人都想按自己的方式重建。结果是产生了一片既谈不上巍然，又无坚实基础，无规无矩，四处展翼的危房，每一翼都自称数学的唯一殿堂，每间房屋都藏有数学思想的奇珍异宝。这一切，让数学变得愈加不确定，前途愈加不明。

数学将往何处去

第三次数学危机导致了数学发展到这样一个阶段：逻辑主义、直觉主义、形式主义和集合论公理化主义都各执一见，都觉得自己的理论可以更好的解决危机，更接近真理。哪一种可以被合适地称之为数学，人们各执己见，而且，每一种数学结构都有某种程度上截然不同的上层建筑。因此，直觉主义者在他们应该接受什么作为基本的、合理的直觉问题上意见不一致：仅仅只有整数还是也包括一些无理数？排中律只适用于有限集合还是也可用于可数集？还有构造性方法的概念问题。逻辑主义者则单一地依赖逻辑，而且对于可约性公理、选择公理及无穷公理还怀有疑虑。集合论公理化主义者则可以沿几个不同方向中的任一个前进，这取决于他们对选择公理和连续统假设的取舍。甚至形式主义者也能遵循不同的路径，其中一些有别于将用于建立相容性的元数学原理。

逻辑主义者、形式主义者和集合论公理化主义者都依赖于公理化的基础。在本世纪头几十年中，这种基础被拥为建立数学的可以选用的基础。但是哥德尔的理论表明，没有一个公理体系可以包含属于任何一种结构的所有真理，勒尔海姆-斯科伦定理则表明每一个体系包含的真理比预计的要多。只有直觉主义者才能不在乎公理化的方法所提出的问题。所有这些关于哪个基础最好这一问题的不一致和不确定性以及缺乏相容性的证明，就像达摩克里斯之剑一样悬在数学家头上。无论一个人接受哪种数学哲学，他都冒着自相矛盾的危险。

对数学大厦这几种相互抵触的方法揭示了这样一个主要事实：不是只有一种而是有很多种数学，数学这个词应从多种意义上进行理解，也许可用于任何一种方法。哲学家桑塔亚那曾经说过， “不存在什么上帝，上帝也是凡夫俗子。”今天，我们可以很肯定的说，不存在这样一种被普遍接受的数学理论，数学发展的方向愈加不确定了，数学，正处于风雨飘摇状态之中。

不过无论如何，人类对数学的探索，对真理的追求之路会一直走下去：也许我们无法真正掌握真理，或者真正的真理并不存在，但是我们可以让我们的认识接近真理，让我们的认识更接近自然的规律。

路漫漫其修远兮，吾将上下而求索！

[转]东京大学开发出超柔有机晶体管

2010-11-10T07:14:00.001-08:00

本博主感言：日本人真NB，反观中国的IC领域，基本处于追赶状态。并且即使追赶，貌似差距都是越来越远。前几天和国外同学邮件，聊到他们现在在做PCM（phase change memory），而我这概念之前听都没听过，并且之后有意的问了下实验室做物理和全定制的，貌似也没听过。我们作为国内做芯片的国家队(也许是自封的)尚且如此。另外，在水木看到一个关于美洲豹和天河的比较，下面这个观点很震撼,也许可以解释中国落后的一部分甚至主要原因：

本质上天河和MD的豹子研发目的是不同的
豹子：计算软件－》提炼计算模型－》设计内部互联架构－》开建
天河：跑分软件－》分析上一代跑分机瓶颈－》开发大水管－》开建

以下是转载的正文：

原文链接：http://china.nikkeibp.com.cn/news/semi/53997-20101109.html

东京大学的研究小组开发出了曲率半径仅为0.1～0.3mm、“即使折起来或揉成一团性能也不会劣化的超柔（Ultra-Flexible）”有机 CMOS环形振荡器（Ring Oscillator）和TFT阵列薄膜（Array Sheet），并试制出了医用导管。设想应用于直径2mm左右的血管内部凹凸处的检查和覆盖人体皮肤表面使用的各种医用传感器等。论文已刊登于《Nature Materials》2010年11月7日的在线版上。该产品还将出现在2010年12月发行的杂志封面上。
开发该产品的是东京大学研究生院工学系研究科、电气系工学专业的染谷隆夫教授和关谷毅讲师的研究小组^注1）。该研究小组此前曾开发出过安装在柔性有机TFT阵列薄膜上的多种功能器件。
但是，包括染谷及其它研究小组的试制实例在内，原有的高柔性有机晶体管薄膜领域存在以下几个课题。（1）弯曲半径最小只能达到0.5mm，一般情况下，数mm已经为极限值；（2）驱动电压与弯曲半径之间存在此消彼长的关系，在弯曲半径为0.5mm的情况下，驱动电压高达40V；(3)除了采用转印法之外，实现CMOS电路较为困难且量产性较低；（4）难以实现微细化，工作性能存在极限，等等。此次染谷等研究人员解决了上面提到的所有课题。
具体来说就是把弯曲半径最小缩小到了0.1mm，为原来的几十分之1～1/5，通过将栅极绝缘膜厚度从原来的500nm大幅降为5～6nm，驱动电压降低到了2V左右，不到原来的1/10。另外，由于开发出了在室温或100℃以下制造较薄的栅极绝缘膜、半导体和各电极的工艺，因此在不耐热的超柔（Ultra-Flexible）基板上直接制作CMOS电路便成为可能。另外，由于能够降低驱动电压，有机晶体管按照缩放比例（scaling）实现制造工艺微细化的效果也令人期待。
事实上，此次制成的5段有机CMOS环形振荡器在低电压驱动的情况下，实现了每段延迟仅为4.5ms的“全球最快速度”（染谷）。通道长为20μm。
CMOS电路中使用的p型有机半导体采用了并五苯。迁移率μ高达0.5cm²/Vs。另一方面，n型有机半导体采用了氟代酞菁铜（F₁₆CuPc）。虽然μ为0.02cm²/Vs，与并五苯有一定差距，但“这种程度的差距可以在电路方进行补偿”（染谷）。
通过在凹凸不平的基板上涂布“粉底”实现平坦化
此次开发的最大要点是，在保证高成品率的同时减小了栅极绝缘膜的厚度，从而降低了驱动电压。同时，这也得益于薄膜基板大幅实现了平坦化。
在厚度为12.5μm、有几十nm凹凸的市售聚酰亚胺基板上，采用旋转涂布法涂布上聚酰亚胺前体，然后加热到180℃，这种前体就变成聚酰亚胺，在遮盖住基板凹凸不平之处的同时，也与基板融为一体。平坦化后的凹凸处“为0.2～0.3nm左右，平坦程度几乎达到原子级别”（染谷）。因此，凭借可与利用硅基板时相匹敌的可靠性，有望制造较薄的栅极绝缘膜和更高性能的半导体。（记者：野泽哲生）
注1）该研究获得了科学技术振兴机构（JST）战略性创造研究推进业务（CREST）课题解决型基础研究的资金援助。

开发的超柔TFT阵列薄膜。聚酰亚胺基板厚度仅为12.5μm。摄影：关谷毅（点击放大）

折成一团的该薄膜。即便如此，其性能也不会劣化。摄影：关谷毅（点击放大）

制成5段CMOS环形振荡器的薄膜。摄影：关谷毅（点击放大）

制成具备压力传感器功能的直径约2mm的导管。照片由东京大学提供（点击放大）

具备压力传感器功能的导管的构造模式图。图片由东京大学提供（点击放大）

在导管上螺旋状缠绕的TFT阵列薄膜示意图。图片由东京大学提供（点击放大）

扣扣保镖初体验（附扣扣保镖下载地址）

2010-11-06T00:13:00.001-07:00

今天看到CB上采访马化腾的文章，文中马化腾说扣扣保镖几天就感染了20 000 000用户，说不采取措施的话，将会感染80 000 000万用户，我很好奇，扣扣保镖到底有何厉害之处，能让那么多人感染。于是，我也想被感染一次，于是去下扣扣保镖。

360官网早就自己把扣扣保镖阉割了，自然没法下，搜到一个pchome的链接，谁知下载时提示已删除（看来QQ的能量很大啊），搜了半天，终于搜到一个可用的链接，发现保镖还是挺小的，才几M，速度，安装，启动（保镖自动会体检）。

启动QQ，很遗憾，没看到他俩打架。。。。

启动后，QQ提示一如既往的“安全扫描”（我个人主观以为必然扫描过用户数据，起码在揭露之前会），并且没法关闭，正想骂这扣扣保镖有何用，切到扣扣保镖一看，原来扣扣保镖所有功能默认都是关闭的，除了检测QQ完整性，避免QQ被感染（想到网上的一句话，“忽然觉得360和腾讯真是情深似海，爱恨交加。即使到了公开对立的程度，启动QQ的时候，360仍然一如既往地保护着他，为他扫描盗号木马。你爱一个人，爱到恨得地步仍然舍不得他受伤。我掩面泪奔……亲爱的，我要做你的360！！！”）。

体检完了，说我电脑有30+个问题，第一个就是说未装360，直接pass，其他的就是说有些QQ功能未优化，如广告屏蔽，速度将这些功能全开，重启QQ，看是否生效，异或是否打架。

很遗憾，QQ还是没有看到他们打架，莫非我装晚了，他们真的又和好了。

体验新的，在扣扣保镖下保护的QQ，点一个好友，发现聊天界面的广告没了，真清爽，用了QQ半个小时，没有看到弹窗新闻，弹窗广告，真爽！！并且QQ功能貌似都还正常。

再次，个人推荐一下各位害怕被QQ扫描隐私的网友（强调一下，QQ扫描用户隐私我没有证据，只是网上有的说有证据，并且我也主观认为他会），并且不想看到QQ一堆弹窗广告的用户可以使用一下扣扣保镖，感觉真的很不错。

但是，个人不保证扣扣保镖不会扫描用户隐私。另外，个人不推荐安装360安全卫士，太大了，并且也害怕被扫描，个人推荐微软的MSE。

鉴于网上大部分的扣扣保镖下载链接都被删了，我在这里附一个下载地址：

最后附一张扣扣保镖和QQ亲密共存的艳照

腾讯很生气，后果很严重

2010-11-03T04:41:00.001-07:00

如图：

这下360杯具了。。。

字如其人

2010-11-02T09:59:00.001-07:00

今天看了李政道为南方科大题写校名的新闻，感觉李政道先生写的字还很不错，好奇的搜了一下杨振宁的题词，一看，果然惨不忍睹，又是童体字。哎，真是字如其人啊。。。

附图：

杨振宁的题词，来源：中关村中学（感概一下，当年中关村中学还叫科大附中，现在不仅和科大一点关系都没了，和科院的貌似也没什么关系了，这也算是科大没落的一个见证吧）

李政道的题词：

HPC China 2010参会小记

2010-10-29T07:38:00.001-07:00

今天跑去国家会议中心参加了HPC China 2010（其实是去打酱油和蹭饭的…），简要的记录一下。

上午八点从青年公寓出发，谁知路上堵车，九点才到，还以为要错过李国杰院士8:30的报告了。幸好组委会将李国杰的报告和AMD主题演讲对调了

今天上午的议程如下：

08:30-09:00	大会报告6：李国杰中国工程院院士，中科院计算所所长）《HPC和云计算--兼谈加强计算机系统研究的必要性》
09:00-09:30	AMD公司主题演讲
09:30-09:55	大会报告7：Douglas Neal Ball（The Boeing Company）《The Use of CFD in Aircraft Design-Past, Current and the Future》
09:55-10:25	大会报告8：孙家昶(中国科学院软件研究所首席研究员) 《千万亿次高性能计算的挑战与思考》
10:25-10:40	茶歇
10:40-11:10	联想公司主题演讲
11:10-11:30	Mellanox公司主题演讲《Paving the Road to Exascale ——为实现百万万亿次计算铺平道路》刘通
11:30-11:55	大会报告9：Merle Giles(NCSA)《Overview of HPC at NCSA》
11:55-12:15	浪潮公司主题演讲
12:15-12:40	大会报告10：Robert Clay Singleterry Jr (NASA Langley Research Center) 《NASA High Performance Computing (HPC) Directions,Issues, and Concerns： A User's Perspective》
12:40-13:30	午餐

其实我今天来的主要目的是来听李国杰院士的报告（说来惭愧，在科大，他是我们的系主任，在计算所，他是我们的所长，但是他的报告我一个也没听过，虽然他是我在计算机领域最敬佩的一个人之一…），由于堵车，赶到那已经九点了，本来以为又要错过他的报告了，幸好，组委会将他的报告和AMD主题演讲进行调换。我们刚到的时候AMD的主题演讲正快结束了。

李院士的报告题目为：《HPC和云计算--兼谈加强计算机系统研究的必要性》，其实他这篇报告的重点是“兼谈”部分--计算机系统研究。他提到的几个观点令我很深刻，在此记录一下：

关于云计算，他说，其实很早就出现过，只是08年出现了商务模式的转变并开始热炒，2009年达到顶峰，2010又走入冷静期，或曰成熟期。之前的云计算服务，主要有两个缺点，那就是只对大客户提供，导致个人和小企业无法使用，从而无法大规模推广。云计算的本质是，资源虚拟化加并行计算，真正使云计算得到大规模应用的是虚拟化技术的应用，导致能够提供一个屏蔽软硬件环境差异的，对用户统一的平台（这让我想到我这个博客的后台就是基于云计算平台GAE的，其平台就是基于python 或者 java虚拟技术的），从而达到大规模应用。
谷歌其实不是做搜索的，其实是做并行计算的（更严格讲，是做计算机系统的）。他讲到当年李开复刚到google时去找过他，李开复说，google 表面是做搜索，实际上的核心技术是并行计算（包括海量数据中心以及海量数据处理），所以他需要计算所做结构的人才。
之前的体系结构的研究，导致了出现了软硬件的划分，定点浮点的划分。桌面应用的普及，导致了针对桌面应用的指令集出现。当今的云计算，以及各种网络应用等并行技术的出现，必然会导致定义新的体系结构和指令集（这让我想到Sun 公司的Nigarra处理器，也许算是对网络应用的一种尝试）。云计算还有一个不能解决的问题就是，自然界的应用千差万别，无法用一种通用的结构来计算。
现今，计算机系统的设计，“带宽墙”比“存储墙”，“功耗墙”更严重。为了解决（或者说缓解）这个问题，他提到了胡伟武老师今年在斯坦福举行的Hotchips所提到的XPU观点，同时也提到了3B上的DMA技术。李院士讲完后，之后依次有来自波音公司，联想公司，NCSA，NASA，软件所等的报告，但我或者由于英语差听不懂，或者不感兴趣，没有仔细听。其中联想的首席科学家祝明发之前在一个师兄答辩会上见过，今天是第二次见了，其主要讲了Extra Flops的超级计算机的构建。在这些人的演讲中，只是有一个观点印象比较深：
来自软件所孙家昶院士的观点，那就是代数化工具并不能解决所有计算问题，有时利用物理原理（即所求解问题本身的物理规律）能够很快的解决（不过其实这观点我没有听懂）。

最后，附几张图：

AMD 主题演讲：

李国杰院士演讲：

The Boeing Company 的Douglas Neal Ball的演讲：

茶歇，几个老外在讨论什么：

来自NCSA还是NASA的演讲：

Nvidia展台：

最后一张，压轴，ws的哥站在世界上最快的计算机（没有之一）-天河一号旁：

HPC China 2010

播放幻灯片

全部下载

香山行

2010-10-26T07:36:00.001-07:00

昨天翘课去了趟香山，算是见识了举国闻名（貌似没有举世闻名，因为老外很少，不像长城）的香山红叶，结果有点失望，感觉也不过如此。不过，既然去了，传些照片mark一下。

山下的湖，名字忘了

上山中，看到了红叶，有点兴奋，可惜不是枫叶

红叶没怎么看到，看到一些红果，感觉不错，拍之

终于看到了树上的红叶，可惜还不是枫叶

历经千辛万苦，终于看到真正的红叶，枫叶！！！尽管没全红:

全景一张，本来拍了几张全景，但发现由于失误，回来都无法合成，杯具

香山

播放幻灯片

全部下载

由SB的天地图想到的

2010-10-23T22:19:00.001-07:00

今天在reader上看到说有一个国家队-“天地图”上场了，忍不住试用了一下，试用完后，忍不住想骂一句SB。

延续了中国官方一贯传统，IE only，插件泛滥（CCAV的国家网络电视台也是如此，并且兼容性极差，我就没在我电脑上成功装过那IE的插件），一个先上两张sb图（还有其他sb之处，在此就不细述了，想了解的自己体验去）:

其实，无论是从技术上来讲，要实现兼容其他浏览器并不是难事，但为什么他们不做呢。我不由想到前几天ICT的几个在银行的做开发的师兄的抱怨。

他们说，在那里，你会不会做事不重要，关键是你要会不会体察领导的意思，很多事，领导虽然叫你做，其实他是不希望你去做好，做好了你以后就惨了（具体原因没讲，莫非一次做好，以后会断了财路，要慢慢的，分阶段做，以便更好想国家要钱，纳税人要钱）。在如此环境下，人人都必须体会领导的心思（领导的心思，除了钱，啥也没有），哪还有心思认真做事，更何谈做出创新的东西。

说到这里，不由的想到cnbeta上关于天地图的评论：

这配色这字体这读入速度...绝了...换个说法叫改进空间很大啊 =_=

是啊，改进空间很大，也就是意味着继续吸纳税人的钱的空间很大！

至于为什么会造成这种情况，两个字，体制,具体不多说。

Micolog添加自定义模块

2010-10-23T01:19:00.001-07:00

有时，我们的博客需要经常更新一些模块的内容，如广告栏，以及一些其他不同的人设置不一样的工具。为了方便管理，这些模块最好都要移到后台，这样就可以经常更改模块内容而不用更改博客源码重新上传。之前，我在colin-young的博客上看到了一篇如何后台管理侧边栏模块的文章，受此启发，我想也可以把任何位置的模块都实现后台管理，经过尝试发现可行，具体效果直接看本文的中间和下面，左边的广告条以及aboutme就行了。在此简述一下实现方法（和colin-young的方法几乎一样，只是将其推广了）。

在“\micolog\model.py”搜索“blognotice=db.TextProperty(default='')”，在其后加入：
```
 YouModelName=db.TextProperty(default='') 
```

在“\micolog\views\admin\setup.html”搜索“blog.blognotice”，在30行处关于设置blognotice的代码，仿照其语法，添加如下代码：

<tr valign="top">
<th scope="row">{% trans "YouModelName:"%}</th>
<td><textarea id="YouModelName" style="width:95%" cols="45" rows="2" name="YouModelName">{{blog.YouModelName|escape}}</textarea>
</td>
</tr>

继续搜索notice，大概170行有如下代码

<input value="title,subtitle,...,default_link_format,blognotice" type="hidden" name="str_options" />

在blognotice附近添加你的模块名

在需要调用该模块的地方，如sidebar.html,single.html等模板文件中，加入调用代码：

<div id="YouModelName" class="widget widget_YouModelName">
<h3>YouModelName</h3>
<ul>
{{blog.YouModelName}}
</ul>
</div>

上传部署，在后台即可以看到模块设置了，支持任何html标签（注意，不能够转义，默认的blognotice转义了，即上面那步为{{blog.YouModelName}}而不是{{blog.YouModelName|escape}}）

Done & enjoy~

Google releases the in-page analytics

2010-10-22T07:35:00.001-07:00

Today, when i check my google analytics account, I find a new funtion of analytics:in-page analytics.

Here given a preview of my blog‘s in page-anlytics：

In the official blog of google analytics, it is introduced as following：

When looking at Google Analytics reports, sometimes it’s difficult to visualize how visitors navigate on a given website page. To make this visualization easier, some users keep the website open in another browser tab so they can reference it while looking through reports. Others rely on the Site Overlay report in Google Analytics, which, admittedly, hasn’t worked as well it could.

In-Page Analytics. With In-PageAnalytics, you can see your Google Analytics data superimposed on your website as you browse.

You can find the full announcements at the google anlytics blog.

Some opensource projects create by me

2010-10-21T10:33:00.001-07:00

On this page, i will place some open source projects created by me~

And all source codes are licensed by GPL3.0.

Projects created by when i am an undergradute student of USTC:

An PWM generater ip core:this is a ip core writen in verilog lauguage aimed at generating pwm wave at real time.You can download the source code of the project in the following address:
An 8088 IP core writen in verilog, this is a opensource ip core create by HaoxiangLi and me,the ip core has implemented 40+ 8088 instructions.You can view the project home in Google Code. And you can download it from my Skydrive:

Feeling Words

2010-10-13T09:19:00.000-07:00

开文一篇，用于记载一些平时看到，感觉挺有道理的话：

Most important, have the courage to follow your heart and intuition.

--Steve Jobs Stanford Commencement Speech 2005

Don't let the noise of others' opinions drown out your own inner voice.

--Steve Jobs Stanford Commencement Speech 2005

孤单是一个人的狂欢，狂欢是一群人的孤单。

-- 阿桑《叶子》

孤独是人的宿命，它基于这样一个事实：我们每个人都是这世界上一个旋生旋灭的偶然存在，从无中来，又要回到无中去，没有任何人任何事情能够改变我们的这个命运。

-- 周国平《爱与孤独》

下君尽己之能,中君尽人之力,上君尽人之智

--《孙子兵法》

没有比漫无目的地徘徊更令人无法忍受的了

-- 荷马史诗《奥德赛》

等待是最漫长的绝望，绝望是最完美地等待

--未知来源

more adding...

组会随感

2010-10-13T09:09:00.000-07:00

今天下午开例会，在讨论中，感觉受益匪浅，自己也有一些体会，写日志一篇mark之。

1.关于选题：

计算机作为一门工程学科，选题其实最大的来源还是工程实践，也就是工程中碰到的一些问题。但是，作为学术研究来讲，就需要把工程中的具体问题挖掘出来，形成一类问题，或者说一个问题模型。比如说，我们在芯片设计中会碰到关于两个时钟域的同步问题，也许从工程角度，我们可以找到一个很简单的方法解决，某个时钟域每隔一定时间发送时钟信息给另外一个时钟域；但是，从研究角度，我们就可以对其进行抽象：其实这问题的本质是一个分别分布式系统的时钟同步问题，这又涉及到了各种情况，节点数的多少，消息传递的延时与误码率，时钟频率是否相同，等各种情况，当我们想到这一层的时候，我们的一个小工程问题就已然变成一类问题或者一个问题模型，其应用领域也大大扩宽。

另外，就是要注重选题对整个学科的意义，这一点对于做理论（发JACM这类的期刊）的尤其重要,比如说上面的时钟问题，其意义就非常重大，现代计算机的任何运算都是通过时钟来同步的，对于分布式系统来说，时钟同步就至关重要。（其实，正如cyj师兄所言，时钟问题在很多领域都是一个大问题，比如说在物理学，把时钟问题搞清楚了，相对论也就出来）。

2.关于问题的切入点

对于大部分问题，其可研究的方面有很多，还是拿上面的时钟同步问题来讲，我们可能关注同步的误差，也可能关注同步时间，对于同步所耗的时间，可以细分为平均同步时间，最优以及最差的同步时间。

由于精力与文章篇幅所限，我们不可能对问题的任何方面都去考虑，任何方面都得到一个最优解。这时候就要求我们要从某一个角度去切入。个人认为，最好的切入点就是该点是一个大家普遍关注的点，并且之前没人做过（别人做过的，去优化，除非有本质的提高，比如O(N)变成O(logN)否则意义都不大），比如说同步时间（之前很多文章都是对误差进行讨论）。

当然，切入问题的最高境界就是发现新的问题，新的领域，比如说关系数据库，图灵机模型，不过，这只是天才才能做到，我等庸人不提也罢。

3. 关于问题模型的建立

当问题切入点确定以后，就必须要对所研究的问题进行数学建模，为了简化模型，在对问题结果影响不大的情况下，我们可以在模型中舍弃一些次要参数。

有时候，即使对某些参数进行了舍弃，模型可能还太复杂，这时候我们可以考虑对模型中的某些参数进行限定。而这种限定有的不会减少模型的适用性，有的则会。

还有一个方面的考虑就是纯功利性的，那就是为了使我们所用的算法的结果更好，更有震撼力，从而文章更容易发表，也需要对某些参数进行限定（也许以后的优化工作就可以集中于减少这种限定）。

4. 关于结果的展示

当问题模型建立好后，并且我们采用了某种算法进行解决后，就需要展示结果了。

首先，展示的方式，对于理论问题，则往往只需要理论计算和证明；而对于工程问题，最重要的是试验结果（虽然很多实验结果都是在特定参数呈现的），当然，有理论支持更好。

实验结果展示的另一个方面，就是对比，要是前人有做过类似工作，就必须和前人比，尽管可能其切入点不一样。倘若没有前人做过，就必须找一种比较容易想到的算法进行比较。

That’s all~

btw：小记一下今天看到的雷事：

今天在未名空间看到一个新闻，讲的是我D的记者招待会,有以下雷人内容：

记者： LiuXB妻子LiuXia为何被软禁？
马朝旭：我不认识你提到的这个人，你说的情况我也不了解。
记者：难道你不知道LiuXB吗？
马朝旭：你刚才说的是他妻子。

我觉得甚雷，于是在oops-tech group 上分享了，谁知道，grapeot速度回复了一条更雷的：

和一个单纯MM聊天

“你知道武藤兰么?”

(MM摇头)“不知道”
“你知道小泽圆么?”
(MM摇头)“不知道”
“那你知道宋慧乔么?”
(MM大吃一惊)“她也拍那种东西?”

雷事完了，最后说一句，做人莫装纯，装纯遭人轮，人如此。。。

博客搬家:导出live space 到micolog或者wordpress

2010-10-06T20:20:00.000-07:00

前段时间，微软宣布将停止live space 的服务，建议用户转移到wordpress，但是对于有些用户，比如说向我们这些用GAE+micolog搭建独立博客的用户，并不像直接搬到wordpress，或者由于各种原因，不想把live space的数据马上删除（默认转到wordpress，live space数据会删除）。因此，找一个能够把live space数据导出到micolog格式或者wordpress格式就很有必要。

我在网上找了下，终于找到了一个叫Live-space-mover的工具，并且成功的将live space 导出到micolog和wordpress，在此简要的记录一下过程。

准备工作：

1.设置live space日期格式：

重要的是让WindowsLiveSpace和Wordpress的日期格式一致，这里我两个设置的是2010/10/7。在WindowsLiveSpace中，我的时间格式是10:43，设置的路径是“选项”->“常规”->“日期和时间格式”：

另外，在“选项”->“日志”->“显示日志日期”选项中，勾选“在页首出显示日志发布日期”。

2.安装python：

我使用的是python2.5.2+Beautiful Soup 3.0.6，Python 2.5.2的官方下载地址在：

http://www.python.org/download/releases/2.5.2/

下载后若在命令行敲python说命令没找到，则要手动将python路径添加到环境变量，或者后续命令时把python路径敲全。

3.下载Beautiful Soup 3.0.6：

Beautiful Soup 3.0.6是一个解析HTML页面的类库，接下来那个下载博客文章的脚本需要用它。下载地址：

http://www.crummy.com/software/BeautifulSoup/download/3.x/BeautifulSoup-3.0.6.tar.gz

解压到一个文件夹，比如D:downloadBeautifulSoup-3.0.6。你将看到BeautifulSoup.py等几个脚本。

4.下载Live-space-mover：

Live-space-mover这个脚本，能够把WindowsLiveSpace中的所有文章和评论等，生成一个Wordpress能够识别的XML文件，以实现博客搬家的目的。下载地址：

http://code.google.com/p/live-space-mover/downloads/list

现在的最新版本是live-space-mover.1.8.zip。解压到Beautiful Soup 3.0.6的目录。在BeautifulSoup-3.0.6目录下，你应该看到脚本live-space-mover.py。

上述3,4两部，大家若嫌麻烦可以直接下载我打好包的Beautiful Soup 3.0.6+Live-space-mover，下载地址：

http://cid-264d14feb8ab1b38.office.live.com/embedicon.aspx/.Public/code/BeautifulSoup-3.0.6_live-space-mover.rar

搬到micolog或者wordpress：

1.导出live space：

在cmd下，cd到BeautifulSoup-3.0.6目录，若时间格式和我的一样，直接运行：

python live-space-mover.py -s http://yourSpaceName.spaces.live.com/

若时间格式后面还有秒，运行：

python live-space-mover.py -s http://yourSpaceName.spaces.live.com/ -t “%m/%d/%Y %I:%M:%S %p”

其中youSpaceName是你的博客名。倘若环境变量中没有python，则把python的路径输全即可，如：

D:\Program Files\Python25\python.exe live-space-mover.py -s http://yourSpaceName.spaces.live.com/ -t “%m/%d/%Y %I:%M:%S %p”

2.导入到micolog或者wordpress：

倘若是导入到wordpress，可以直接导入(tools->import->wordpress格式)，只需设置一下作者即可。

倘若导入到micolog，则需要手动把一些中文post_name改成拼音或英文，如：
 <wp:post_name>中文</wp:post_name>
 

改成：

 <wp:post_name>english</wp:post_name>

否则或出现对应item没导入进去，有些文章会缺失。

wordpress评论也能够完美导入，但micolog貌似不能，我从wordpress导入到micolog也不能导入评论，所以这应该是micolog导入功能不够完善所致。

done & enjoy~

Hello world!

2010-10-06T10:49:00.000-07:00

Welcome to WordPress.com. This is your first post. Edit or delete it and start blogging!

适用于micolog的windows live writer语法高亮插件

2010-10-06T09:07:00.000-07:00

对于我等码农来说，在博客上贴代码是家常便饭，为了让代码更好看，代码高亮是必须的，作为离线博客最常用工具，windows live writer这方面的插件有不少，但很遗憾的是，我在网上花了九牛二虎之力，也没搜到适合我的博客平台micolog的语法高亮插件。

既然放搜狗不行，那只好自己动手，丰衣足食。于是我找了个适用于wordpress的语法高亮插件，将其更改了下，貌似原来的名字叫做HiLi,现在已经既不清了，原网址也记不清了，貌似是下网址的主人写的：

http://www.badder.cn/

我主要对代码进行了如下改动：

1. 对micolog和wordpress的高亮插件的语法进行了比较分析，从而对高亮语法的头的生成代码进行了更改，从而使值适用于micolog。

2. 对html一些特殊字符进行了自动替换，如”>”替换成”&gt”,使高亮后的代码末尾不会出现类似”<stdio.h>”的多余代码。

3. 增加了对某些行进行高亮的功能，这个功能对于比较长的代码中需要强调某行代码是很有用的。

完成后的软件界面如下：

下面是上面这段代码的高亮结果：

  using namespace std;

int main()
{
  cout << "test"<<endl;
}

下载地址：

编译好的dll：

源码：

使用方法：把dll考入windows live writer 插件目录（默认是C:\Program Files\Windows Live\Writer\Plugins）即可.

enjoy~

btw：问一个在windows live writer上发micolog日志的问题

我用wlw发日志的时候，发现其slug无效，感觉是slug没被传输，有人碰到类似问题并且找到了解决方案吗？有的话在留言里告诉我，谢谢~

十一闲逛

2010-10-04T04:51:00.000-07:00

rt，顺便试机，直接上图

查看整个相册

导出live space到wordpress（附雷图一张）

2010-10-04T04:19:00.000-07:00

MS的live space业务貌似很快就要停了，今天有空，于是想把他导出成wordpress格式北方下来

但我不想用其官方迁移工具，貌似迁移后原space就不能访问了

于是，放狗搜live space的导出工具

搜到如下地址

http://rpsh.net/archives/move-live-spaces-to-wordpress/

按一下地址操作，一切顺利

不过本文要讲的是其作者的一个小彩蛋

倒完后，我看到左上角有个just cost 30RMB的按钮，原以为是广告，怀着用了其工具，点一下广告咱就两不相欠的心态，点了一下，谁知弹出如下页面：

看来伟大的春哥真是无处不在啊,一句信春哥值一块钱啊

时间是把杀猪刀

2010-10-04T02:54:00.000-07:00

从水木picture版看到的一组图，有点感触，转存于此,并附歌一曲

http://www.xiami.com/widget/802273_2088864/singlePlayer.swf

查看整个相册

test

2010-10-03T12:05:00.000-07:00

test ezMultipost

and also test a picture

SB qq的SB提醒

2010-10-03T06:04:00.000-07:00

刚登陆qq，突然发现弹出一个窗口

靠，我的系统有漏洞，qq又不给出那漏洞的官方描述，比如类似KBxxxx号的漏洞，就随便找个理由，就想把我钓鱼到用sb的qq电脑管家。

并且，我检查了一下，我的windows更新都安装了，出现漏洞的概率是极小的。想起前段时间web qq 2.0的gmail钓鱼时间以及当下正火的360和腾讯狗咬狗的骂战，qq实在是太。。。

test

2010-10-03T04:05:00.000-07:00

test ezMultipost

and also test a picture

我的新浪微博被删了

2010-10-01T00:49:00.000-07:00

到底我干什么了，新浪要删我微博，登陆提示“抱歉，你要访问的页面不存在或已经被删除”

截图如下

网上查了下，貌似也有人有类似的经历，如某位微博用户说：

昨天，我的微博也被删了，两次致电新浪客服后，才得知是因为在微博中“刷帖”所致；再问什么是“刷帖”,答曰：就是同一内容发了多次（那是因为网速太慢，没法子确认发送成功没有造成的）；三问我的微博怎样恢复，答曰：恢复是不可能了，再申请一个吧；四问为什么管理员不能先有个提示，告知注意事项，让博主今后有个注意或避免？如果再出现同类错误后再做处罚？客服答曰，对不起了；五问，能否向你们再上一级反映此事，答曰：没地方可反映了。六问为什么新浪博客和微博中存在好多淫秽的内容能够存在，我仅仅多发了几个帖子就被封了微博？客服无语。。。
我想：每个博主为了自己的博客、微博都是牺牲了自己宝贵的时间去维护的，甚至可以说是注以心血的，同时也为“新浪”带来巨大的点击量和无穷的财富。可新浪就是这样无情地对待他忠实的的用户，删你博文！封你的博!
亲爱的博友，遇此情形，你能怎样呢？

感觉新浪这样无端删账户太狠了，对用户太不负责了，并且删账户没通过邮件（也许那封私信是通知，但我点私信的结果还是页面不存在）提醒，以后再也不用新浪微博了

ZS5试机晚上篇

2010-09-30T08:21:00.000-07:00

前几天狠下心来，买了ZS5，无奈比较忙，一直没有仔细看说明书，更别说试机了

今晚回来比较早，于是在宿舍低调的试了一下机器，无奈是晚上，所以只能是一下其拍夜景的能力

首先上几张拍夜晚室内的照片，顺便展示下ZS5的全家福

其实我看上这相机的最主要原因是其支持手动功能，因此可玩性很高

下面贴两张用手动光圈f/3.3曝光10s的夜景图：

下面是一张长焦的，和上面一张同一个地方拍的

整体看来，这相机通过手动曝光拍夜景还是不错的，只是长时间曝光对稳定性要求很高，因此一个简易三脚架就很有必要了

ps：本来想上原图的，无奈原图太大，太占空间体积了，只好上压缩后的图片

教育网（有ipv6接入）利用GAE（Google App Engine）实现免费上网并且翻墙

2010-09-24T08:23:00.000-07:00

现在很多高校的上网机制都是按流量计费，比如说中科院研究生院，研一就只有1G国际和2G的国内免费流量，这对现在多媒体横行的互联网来说是远远不够的，每次看到一个视频点的时候都要犹豫半天，其中辛酸只有局中人可知。而研二以上就直接没免费流量了，要上网还要交钱，并且当超了流量之后上网费用颇为可观。

很不幸，我就是这些人中的一员。于是我在原来学校搭了一个代理服务器，由于中科院连我们学校是不计流量费的，因此可以实现免费上网（各位想要搭建的可以使用ccproxy+proxycap搭建，具体教程放狗搜）。但是，真正使用时发现，由于我用来搭建代理的服务器只有国内访问权限，因此有些国外网站或者ip在国外的网站，如听歌的网站xiami，就无法访问，很是郁闷。

天无绝人之路，上面这条路走不通了，或者说走得比较郁闷，就必须找新的出路。万幸的是，现在ipv6还处于实验网阶段，是免费的，因此可能通过ipv6实现免费上网，于是我放狗搜“ipv6 免费上网”，知道了veno这个软件，它在ipv6环境下可以实现免费上网，但是，他是具有试用期的，试用期过后是需要付费的，这条路终非长久之计。

于是，我想到了Gapproxy这个软件，网上很多人用它作为翻墙工具，那也就是一个代理，他是基于Google App Engine（GAE）的，而GAE是可以通过ipv6访问的，因此我们可以实现一个ipv6toipv4的免费代理，从而实现免费上网。其实，之前本科就用过Gapproxy来翻墙，但是当时Gapproxy还很不稳定，经常掉线，只好作罢。现在重操旧业，但是发现Gapproxy对于SSL（443端口）加密貌似支持还不够好，导致经常无法登陆facebook,twitter等网站。这条路也比较郁闷，于是继续放狗搜，终于搜到一条twitter推荐的翻墙软件-wallproxy，粗略的看了下，感觉靠谱，于是实验了一下，发现果然好用，并且功能也很强大，可配置性也很好。本文的剩余部分就将描述如何通过wall proxy实现免费上网并且翻墙。

首先，为了节省安装过程的流量，这一步也是用wall proxy免费上网的必做步骤，先要修改hosts，网上有一份不定期的google ipv6 hosts文件，其可以在如下地址下载，如果因为被盾了，无法下载，大家可以搜一下，看看能否通过网页缓存看到，实在没办法，可以在本文后留言，我可以把它发给需要的人（我不敢在我的blog公布该份hosts，因为我还是怕我的blog被盾的）

https://docs.google.com/Doc?docid=0ARhAbsvps1PlZGZrZG14bnRfNjFkOWNrOWZmcQ&hl=en

具体改host过程可以网上搜，其实只需要简单的进行hosts文件替换即可，如windows下为C:\Windows\System32\drivers\etc\hosts,linux下为/etc/hosts。

hosts改好以后，就可以访问google的大部分服务，包裹youtube，picasa，Gmail的chat栏也多了一个call phone的图标，可以打几个免费电话了。

hosts只是准备工作之一，另外一个准备工作就是注册GAE了，GAE是google推出的一个云计算服务，用户可以在上面运行python的java程序，就像在自己的机器上一样。GAE在如下地址注册，和一般google服务不同的是，为了规避恶意注册，GAE需要手机认证，防止有些用户注册一堆账号，把各种乱七八糟的程序都放到上面跑。具体注册过程可以查看下文：

http://www.allengao.com/blog/register-gae-google-app-engine-apply.html

注册完后，就要去下个GAE SDK，可以到http://code.google.com/appengine/下载，只需要下载python版的，其链接是http://code.google.com/appengine/downloads.html#Google_App_Engine_SDK_for_Python

最后一步就是下载GAE的运行环境python了（linux用户很多默认系统就装了python，可跳过此步），需要下载3.0版本以下的，推荐2.5版本的，由于现在python已经更新到了3.x了，2.5版本的比较难找，我这里给出一个ftp下载地址http://www.python.org/ftp/python/2.5.1/

以上只是先期准备工作，就绪后就可以正式开工了。

先去wall proxy的google code 主页下载wallproxy，下载后解包，按照readme安装即可，具体过程如下（以下文字直接引用自wall proxy）：

试用：WallProxy提供了两个试用服务端，普通Windows用户下载Windows打包后解压运行local目录下的proxy.exe或WallProxy.exe；安装有Python的Windows/Linux用户下载源码打包后解压运行local目录下的proxy.py（依赖python-openssl包）。修改浏览器代理为127.0.0.1:8086或通过代理扩展设置127.0.0.1:8086为代理（使用了代理扩展的话，建议在配置文件proxy.conf中“AUTOPROXY_LIST = ”这行前面加一个#注释掉该行以加快代理选择速度）。打开http://twitter.com查看是否成功（试用服务端屏蔽了www.youtube.com，建议搭建自己的服务端）。
搭建自己的服务端：终究用自己的服务端会更好，建议搭建自己的服务端。GAE版修改gae_server/app.yaml中your-gae-id后上传gae_server文件夹（如何上传，也可使用SDUpload update gae_server上传），每个Google账户可创建10个GAE服务端；PHP版上传php_server文件夹下fetch.php到PHP空间www根目录。所得服务端地址为http://你的域名/fetch.php，将此地址修改到配置文件中即可。
导入根证书：将ca.cr
t导入为根证书，以后遇到https链接就不会弹出证书无效的警告了。首次运行程序后会生成cert/ca.crt，Windows下IE等浏览器双击ca.crt选择导入证书按提示操作即可；Firefox依次操作：首选项->高级->加密->查看证书->证书机构->导入->选择ca.crt文件->选中第一项->确定；Linux下Chrome按照LinuxCertManagement操作。导入后最好将以前添加例外的网站全部删除以避免冲突。
WallProxy使用了memcache缓存来节约流量和API调用（thx fcicq）,可以打开http://wallproxy/cache查看缓存情况，或者http://wallproxy/cache/reset清除缓存。
在GAE的Log查看界面可以看到每次访问的url/响应原始流量/传输流量。

上述过程也比较简单，在此就不再赘述，如有问题可以放狗搜，或者直接留言。

当一切工作都顺利完成以后，只需要将浏览器代理设为127.0.0.1:8086，你就可以开始体验通过ipv6免费上网，并且是在没有墙的世界畅游了。

不过这还不够，有时本游走各种上网环境，难免会去没ipv6的环境，这是还要改代理感觉很麻烦。因此，还必须找一个快速切换代理的方法，于是我在chrome下找到了Proxy Switchy!这个插件，发现其管理和切换代理还是挺方便的，其下载地址为：

https://chrome.google.com/extensions/detail/caehdcpeofiiigpdhbabniblemipncjj

具体的安装使用可以参考下面这篇博文：

http://www.laogeng.org/archives/670.html

PS：本来貌似GAE是有1G上传和下载流量限制的，但是由于我们是用ipv6和GAE通讯的，因此貌似也是不计流量的~

如觉得本文对你有用，请点击标题下的分享到各种SNS的按钮，让更多人可以实现免费上网，顺便看看墙外的世界~

为博客添加分享按钮

2010-09-24T01:25:00.000-07:00

有时，我们想为独立博客添加一个类似于分享到的按钮，以便分享到各种SNS网站添加人气。虽然，现在网上提供这种插件的网站，如addthison，jiathis等，但是，这些网站都是商业网站，为了流量，分享时会跳到上述网站，比较不爽。因此，求人不如求己，自己动手，丰衣足食，于是我搜了一下，看网上有没类似的代码，于是得到下述地址：

http://blog.csdn.net/skymountain/archive/2010/06/25/5694697.aspx

但是，我试用上述代码，发现在我micolog系统里没效，几番更改代码，终于出现了分享按钮图标，但是除图标外，还有一堆文字，看着不美观。于是，我再对代码进行修理，最终得到如下代码,其效果见本文标题下面：

 function ShareCode(server_url, server_icon_url,text){
    var title = encodeURIComponent(document.title.substring(0,76));
    var url = encodeURIComponent(location.href);
    server_url = server_url.replace("{title}",title);
    server_url = server_url.replace("{url}",url);

    return "<a href=\"javascript:window.open(\'"
    + server_url
    +"'); void 0\" title =\"" + text + "\"><IMG alt="
    + text + " src=\""
    + server_icon_url
    + "\"><\/a>"
}
function WriteSNS()
{
    document.writeln(ShareCode("http://share.renren.com/share/buttonshare.do?title={title}&link={url}",
    "http://s.xnimg.cn/favicon-rr.ico?ver=2",
    "Share to Renren"));

    document.writeln(ShareCode("http://www.kaixin001.com/repaste/share.php?rtitle={title}&rurl={url}",
    "http://www.kaixin001.com/favicon.ico",
    "Share to Kaixin"));

    document.writeln(ShareCode("http://v.t.sina.com.cn/share/share.php?title={title}&url={url}",
    "http://t.sina.com.cn/favicon.ico",
    "Share to SinaMicroblog"));

    document.writeln(ShareCode("http://www.douban.com/recommend/?url={url}&title={title}",
    "http://t.douban.com/favicon.ico",
    "Recomend to Douban"));

    document.writeln(ShareCode("http://apps.hi.baidu.com/share/?title={title}&url={url}",
    "http://www.baidu.com/favicon.ico",
    "Forword to BaiduHi"));


}

相比于原作者的代码，我做了以下改动：第一，设置分享打开页面为浏览器默认设置，而不会跳转到新的窗口；第二，对打开参数进行精简；第三，删除了按钮旁的文字进行，更加美观；第四，函数不是封装成div，这样可以更方便的贴到某一行内。

使用方法也很简单，在页面的任何一处假如js引用代码：

 <script type="text/javascript" src="/share.js"></script>

在需要插入分享按钮的地方加入js函数调用代码即可：

 <script type="text/javascript">WriteSNS();</script>

About This Blog

2010-09-21T13:55:00.000-07:00

关于域名：

www.debuglife.tk:作为码农，天天和代码打交道，生活的主要内容之一就是debug，是为debuglife，至于后面的tk，主要是tk域名是免费的，另外tk有点像technology的缩写，符合我技术宅（卖瓜一下~）的特点

关于博客标题：

Life with bugs：一方面，是表示我现在主要在做的东西，我现在主要是做芯片的设计和验证工作，正如域名所言，是Life with bugs；另一方面，是指在生活中难免会碰到各种不如意的事情，就如代码中的各种bugs，因此，我真实的生活也是Life with Bugs。

关于副标题：

Work Hard，Play Hard：这句话貌似来自于MSRA（根据MSRA内部人士Stephen留言，貌似原话是Work hard，play harder），其本意是说在MSRA工作难，想玩更难。而我在此更愿意采用"直译"，好好工作，好好玩，我一直认为，一个不会玩的人肯定工作也是不行的。

That's all，最后附上古人的词和今人的歌各一曲：

渔家傲·秋思北宋.范仲淹

塞下秋来风景异，衡阳雁去无留意，四面边声连角起。千嶂里，长烟落日孤城闭。

　　浊酒一杯家万里，燕然未勒归无计。羌管悠悠霜满地。人不寐，将军白发征夫泪。

海阔天空 Beyond

http://home.ustc.edu.cn/~dfliu/FLVPlayer_Progressive.swf

Resume

2010-09-21T13:52:00.000-07:00

Oops!This page is still under construction....

Test MicoSyntaxHighlighter v1.1 from wlw

2010-09-21T11:34:00.000-07:00

 using namespace std;

int main()
{
  cout << "test"<<endl;
}

Test a new syntax highlighter

2010-09-21T10:02:00.000-07:00

#include <stdio.h>

void main()
{
printf("a new test");
}

Test from windows live writer highlighter

2010-09-21T09:18:00.000-07:00

#include 

void main()
{
   printf("hello syntax highlighter");
}

test syntax highlight

2010-09-20T02:53:00.000-07:00


//======================================
//Name: Hello.cpp
//Description : Hello World in C++
//======================================
#include < iostream >
using namespace std;
int main() {
 cout << "!!!Wang Yan is sb!!!" << endl; // prints !!!sb is sb!!!
return 0;}

Test a picture

2010-09-19T12:34:00.000-07:00

简述如何为Micolog配置windows live writer

2010-09-19T12:32:00.000-07:00

我的实验基于GAE版的micolog

1. 在你的blog的admin控制台设置一个admin用户和密码

2. 在windows live writer，点点工具->账户->添加

3. 选其他日志服务

4. 填写相关信息，下一步

5. 选择合适的Provider ,推荐使用wordpress 2.2+,URL为/rpc">/rpc">http://<hostname>/rpc

6.done & enjoy it

Test from windows live writer

2010-09-19T12:24:00.000-07:00

just for test

Micolog 安装手记

2010-09-19T12:09:00.000-07:00

今晚无聊，突然想搞个独立博客，无奈没有独立空间，于是我想到了GAE

于是Google GAE ，blog，得到下面这篇文章

http://colin-young.appspot.com/?p=125001

我基本按那篇文章安装的，可是发现每次上传貌似都有一个Error,仔细一看，发现是应为我用的是colin的修改版，里面有个index.yaml有点问题，不仔细看，肯定发现不了151行多了一个tab

改好后发现基本就行了，上传完了要耐心等会，才会出现你所期待的网页

ps：GAE SDK所需要的python版本为2.5,2.6以上的貌似有点问题，3.x就更是了

btw：安装完后才发现这个网址貌似安装指南更好，并且是micolog的原版所在地

http://micolog.appspot.com/

Hello world!

2010-09-19T11:23:00.000-07:00

Welcome to micolog. This is your first post. Edit or delete it, then start blogging!

流水账

2010-08-30T16:49:00.000-07:00

大学本科的最后一个暑假算是过去了，作流水账一本以为志

其实这个暑假，最多的一个词就是告别，和告别相伴的，自然是聚会，正如biabia的签名所言“聚会都是为了告别”

7月1号，在科大的最后一个晚上，貌似喝了不少

7月2号，离开科大，离开合肥，和我一辆火车的是南下深圳的室友畅哥，当从赣州下火车之时，也是和第一个室友告别之时

7月3~13号，在家，见了几个同学，发现大家现在算是真正各奔前程了，以后聚会也可能会比较难了，也算半个告别，不甚唏嘘

7月14号，回计算所

7月15号，回到计算所，当天下午见了室友小言言和biabia，这算是我和第二个室友告别，当天晚上小言言回合肥，之后从上海直飞米帝了

8月13号，接了欧阳的同一天也送别了欧阳，当天和0611北京分舵的同学聚了下

8月30号，机场送别了最后一个室友biabia，626终于算是天南地北了

==============我是无聊的分割线===================

这个暑假，也许也是能够玩得比较high的最后一个暑假

7月1号前，在科大，天天吃喝玩乐，下午三国杀，晚上dota

7月3号~14号，在家，大学四年，终于有个夏天在家度过

7月15号之后，@ICT,虽然有工程任务压人，但我们同样玩得疯狂，和科大过来的那些师兄们天天一起扯淡，扯得不亦乐乎。扯淡中，蓦然发现某个哥们原来是我的本科并行计算助教，看来哥的本科算是白上了。也经常一起去物理所边上的游泳池游泳，作为南方人，终于在北方体验了南方人应有的生活

7月27号，实验室年中会，一桌的科大人，喝的东倒西歪，历来坚挺的韬哥也倒下了，两天没来实验室,我也第一次喝了那么多黄酒

8月，本科暑假的最后一个月，也是玩得最疯的一个月，经常晚上三国杀开黑，开的昏天暗地，一两点才回，北四环上，竟然一辆车也没有，直接望着天空过北四环，心里想，一天又浪费了，明天不能这样了，但是明天还有明天，明天依旧

当然，玩也不是一无所获，在三国杀中，我算是亲身体会到了“下君尽己之能,中君尽人之力,上君尽人之智”的人才境界

////////////////////////////////这不是注释，这还是分隔线//////////////////////////////

八月的最后几天，算是我正式成为中科院研究生院的一员，不过在报道的那一天，讶然看到某个宣传版背面竟然写着“中国科技大学管理学院硕士论文答辩会”几个大字，并且，开学的这几天，见到的USTCer极多，算是体会到了一点“中国科学技术大学研究生院北京分院”的气息

最令我高兴的事，中科院研究生貌似也涨工资了，看来菜刀发挥了作用，终于让一直守口如瓶的研究生院领导说出了“大家放心，我们肯定不能让清北比下去”，只是那菜刀英雄却不知后果如何，无论如何，他是我们心中的英雄（以上一段纯属小道消息，本人不对其真实性负责，请勿跨省）

开学本来以为实验室任务会有所减轻，谁知，竟然是加重，每天下午5:30都开会汇报，假如进度不够晚上九点还开会，杯具

后天还要考试，考万恶的英语，但愿真如师兄师姐所言，这是随机过的，并且我的人品够好，少受一学期英语的折磨

写到后面，发现貌似有点不像流水账了，哎，我承认我有点标题党了

流水账

2010-08-30T08:49:00.000-07:00

大学本科的最后一个暑假算是过去了，作流水账一本以为志

其实这个暑假，最多的一个词就是告别，和告别相伴的，自然是聚会，正如biabia的签名所言“聚会都是为了告别”

7月1号，在科大的最后一个晚上，貌似喝了不少

7月2号，离开科大，离开合肥，和我一辆火车的是南下深圳的室友畅哥，当从赣州下火车之时，也是和第一个室友告别之时

7月3~13号，在家，见了几个同学，发现大家现在算是真正各奔前程了，以后聚会也可能会比较难了，也算半个告别，不甚唏嘘

7月14号，回计算所

7月15号，回到计算所，当天下午见了室友小言言和biabia，这算是我和第二个室友告别，当天晚上小言言回合肥，之后从上海直飞米帝了

8月13号，接了欧阳的同一天也送别了欧阳，当天和0611北京分舵的同学聚了下

8月30号，机场送别了最后一个室友biabia，626终于算是天南地北了

==============我是无聊的分割线===================

这个暑假，也许也是能够玩得比较high的最后一个暑假

7月1号前，在科大，天天吃喝玩乐，下午三国杀，晚上dota

7月3号~14号，在家，大学四年，终于有个夏天在家度过

7月27号，实验室年中会，一桌的科大人，喝的东倒西歪，历来坚挺的韬哥也倒下了，两天没来实验室,我也第一次喝了那么多黄酒

当然，玩也不是一无所获，在三国杀中，我算是亲身体会到了“下君尽己之能,中君尽人之力,上君尽人之智”的人才境界

////////////////////////////////这不是注释，这还是分隔线//////////////////////////////

开学本来以为实验室任务会有所减轻，谁知，竟然是加重，每天下午5:30都开会汇报，假如进度不够晚上九点还开会，杯具

后天还要考试，考万恶的英语，但愿真如师兄师姐所言，这是随机过的，并且我的人品够好，少受一学期英语的折磨

写到后面，发现貌似有点不像流水账了，哎，我承认我有点标题党了

Farewell, USTC

2010-06-19T19:27:00.000-07:00

从ICT回来不到二十天，蓦然发现已经到了离别的季节，其实，从元旦离开科大起，离别就已经开始了

在科大的四年中，从大一的坚信“不要命的上科大”好学生，到大三的老油条-坚信“只要考试前一天努力”就够了，再到大四觉得基础尤其是数学还是很重要，恶补数学。。。

大学四年中，我有一年是在521度过的，另外三年都是在626度过的，626承载了我大学里最美好的记忆：鸡腿东门外，拼酒芳华园，K歌于湖畔；DotA，坦克大战；六点起，否则罚钱；提着一个超2的奖杯，里面全是罚来的硬币，去水果摊；拿着雪糕蹲在楼前瞅美女，“这个凳子是我的，来来往往所有的女生全是我的！”。。。。。。。

几天后，几十天后，我们就要各奔东西，一个飞跃到了东海岸的纽约，一个越洋到了西海岸的温哥华，一个南下深圳，一个北上帝都，真不知何时能够再聚首，何时能够再大喊dota，谁怕谁啊。。。10年，异或20年。。。

在科大，其他记忆也同样珍贵，依然记得在408实验室通宵的日日夜夜；也依然记得一时兴起，一起翘课去天鹅湖，大蜀山，当天还点名了，真杯具。。。在408，Blademasters完成了他们的Robot，虽然上战场时，战斗中电线断了，铩羽而归，但。。。；每年夏天，408是我们避暑的绝佳去处，每次考试前，408是我们通宵的战场；在那里，我和cp，hxiangli，zzp一起通宵写过代码，玩过dota，甚至把凉席也带到了那。。。

还有我们的0611，我们的西区，我们的USTC，离开之时方觉点滴都珍贵。。。Farewell，Our USTC

已经很久没写过东西了，文笔早已生疏，顿笔之时方觉不知所云

附自爆照一张，2号楼626全体：

左一，畅哥：GPA虽不是很高，但凭三寸不烂之舌，曾成功霸王TP-LINK终面，也曾在毕设答辩震惊四座。。。

左二，觉皇biabia：一个非典型90后，行如其名，11点之前起来那才不正常，还有在饭桌上，思考良久，很兴奋的说“你们的孙子肯定是男的”。。。

右二，三教小琐神小言言：也是我们宿舍的琐神，我们宿舍2的来源，但也是宿舍的技术大拿，典型的温拿；他说，看美女，他是用“膀胱”（旁光）看的；曾经天天装B，却天天说No B，else P。。。

右一，我。

Farewell, USTC

2010-06-19T11:27:00.000-07:00

从ICT回来不到二十天，蓦然发现已经到了离别的季节，其实，从元旦离开科大起，离别就已经开始了

还有我们的0611，我们的西区，我们的USTC，离开之时方觉点滴都珍贵。。。Farewell，Our USTC

已经很久没写过东西了，文笔早已生疏，顿笔之时方觉不知所云

附自爆照一张，2号楼626全体：

左一，畅哥：GPA虽不是很高，但凭三寸不烂之舌，曾成功霸王TP-LINK终面，也曾在毕设答辩震惊四座。。。

左二，觉皇biabia：一个非典型90后，行如其名，11点之前起来那才不正常，还有在饭桌上，思考良久，很兴奋的说“你们的孙子肯定是男的”。。。

右一，我。

雩山行

2010-02-27T14:39:00.000-08:00

Google地图API测试

by：dfliu

谨以此文纪念我那逝去的小学以及初中生活…

同时献给我那美丽的故乡…

西元2010年2月22日，回ICT的前两天，天气晴，万里无云。

一个自初中毕业就没见过的小初中同学Li同学来到我家，一时兴起，我把同村的Liu A以及Liu B同学也叫来，去爬许久未爬的、号称是我们县的第一高山--雩山（仍记得高中校歌第一句就是“雩山钟灵，贡水扬清”ps：贡水（又名梅江）是于都的一条河，是赣江的源头之一，和另一河章江在赣州汇合，是为赣江）。

雩山其实就在我家背后，我家就在雩山山脚下。小时候我爬过数次雩山，皆是从小路上去的，大约需要一个小时。但现在，那些小路已难觅踪迹，只好从大路登上。

一路上大家说了下近况，同时聊了下小初中同学，感概甚多…

登山细节按下不表…

一个半小时候，终于来到了雩山顶，山上的庙已经和之前见到的大不一样，并且增加了几处，我们先烧了些香，拜了山上的神。

之后开始进入正文：

天气真好，万里无云，在山上可以看到我们县--江西于都的几乎全景：近处群山起伏，小初中同学所在的几个村赫然在目，贡水在天际蜿蜒盘旋…（水平所限，此处省略5000字，具体美景让各位看官想象，让去过雩山的同学自己回忆）

如此美景，自然要拍照，只是我们都没带相机，于是我只好用我的手机凑合一下。庙及庙中的神像，出于对神灵的尊重，未敢拍照亵渎。

玩了一个小时左右，开始下山，Liu A同学建议操小路下山，得到Liu B的赞同，于是我们决定操小路下山。

我们按着我08年春节的下山小路下，上面还好，到了下面，竟然无路可走了，徘徊数次，终于决定从一个砍树者溜过的山沟下去，其中艰辛，只有穿过这种山沟的人知道。终于，在1点多左右，到了家里，此后吃饭！

最后，附上一些图：（此处只上景图，有人的图片出于隐私考虑，不上）

山腰中的梯田、李树花、以及人家（山下的能看到马路的下面就是我们村）：

还是山花：

看来我太喜欢山花了：

老图，这个摄于2008年那场大雪，我们那正收冻雨之灾，至今记得那断电十来天的日子…

当年被压得只剩下枝干的树：

现今留下的痕迹：

再上几张当年冻雨的图：

松针：

山上的篱笆：

某个死去树上长出的某种真菌类：

有几张照片合成的全景图1，已经过ps：

有几张照片合成的全景图2，已经过ps：

有两个地方拍摄的图片合成的360度全景图，注意，那庙其实不是那样的，只是由于拍摄以及合成原因造成的（谢谢Chen同学的发现并提醒这个缺陷）：

该图还未能ps，改天有空把黑框ps掉：

最后，附一张我们那里的地图（我家就在水口）：

查看大图

最后再附一张地形图：

查看大图

如果看不到效果请刷新页面！

ps：全景图使用的是windows live Photo Gellery制作，感谢grapeot同学告知该软件有如此强大的功能，更佩服提出SIFT（Scale-invariant feature transform）算法的David Lowe先生！

雩山行

2010-02-27T06:39:00.000-08:00

Google地图API测试

by：dfliu

谨以此文纪念我那逝去的小学以及初中生活…

同时献给我那美丽的故乡…

西元2010年2月22日，回ICT的前两天，天气晴，万里无云。

一路上大家说了下近况，同时聊了下小初中同学，感概甚多…

登山细节按下不表…

一个半小时候，终于来到了雩山顶，山上的庙已经和之前见到的大不一样，并且增加了几处，我们先烧了些香，拜了山上的神。

之后开始进入正文：

如此美景，自然要拍照，只是我们都没带相机，于是我只好用我的手机凑合一下。庙及庙中的神像，出于对神灵的尊重，未敢拍照亵渎。

玩了一个小时左右，开始下山，Liu A同学建议操小路下山，得到Liu B的赞同，于是我们决定操小路下山。

最后，附上一些图：（此处只上景图，有人的图片出于隐私考虑，不上）

山腰中的梯田、李树花、以及人家（山下的能看到马路的下面就是我们村）：

还是山花：

看来我太喜欢山花了：

老图，这个摄于2008年那场大雪，我们那正收冻雨之灾，至今记得那断电十来天的日子…

当年被压得只剩下枝干的树：

现今留下的痕迹：

再上几张当年冻雨的图：

松针：

山上的篱笆：

某个死去树上长出的某种真菌类：

有几张照片合成的全景图1，已经过ps：

有几张照片合成的全景图2，已经过ps：

有两个地方拍摄的图片合成的360度全景图，注意，那庙其实不是那样的，只是由于拍摄以及合成原因造成的（谢谢Chen同学的发现并提醒这个缺陷）：

该图还未能ps，改天有空把黑框ps掉：

最后，附一张我们那里的地图（我家就在水口）：

查看大图

最后再附一张地形图：

查看大图

如果看不到效果请刷新页面！

Just for Test

2009-03-07T11:58:00.000-08:00

Just for Test

2009-03-07T03:58:00.000-08:00

Life with Bugs

推荐一些关于科技史和数学史的书

风雨飘摇中的数学

数学发展史以及三次危机

真理的起源-古希腊的数学以及第一次危机

真理的繁荣-欧洲的数学复兴以及第二次危机

真理的完备之路-第三次数学危机

真理确定性的丧失

数学将往何处去

[转]东京大学开发出超柔有机晶体管

扣扣保镖初体验（附扣扣保镖下载地址）

腾讯很生气，后果很严重

字如其人

HPC China 2010参会小记

香山行

由SB的天地图想到的

Micolog添加自定义模块

Google releases the in-page analytics

Some opensource projects create by me

Feeling Words

组会随感

博客搬家:导出live space 到micolog或者wordpress

准备工作：

搬到micolog或者wordpress：

Hello world!

适用于micolog的windows live writer语法高亮插件

十一闲逛

导出live space到wordpress（附雷图一张）

时间是把杀猪刀

test

SB qq的SB提醒

test

我的新浪微博被删了

ZS5试机晚上篇

教育网（有ipv6接入）利用GAE（Google App Engine）实现免费上网并且翻墙

为博客添加分享按钮

About This Blog

Resume

Test MicoSyntaxHighlighter v1.1 from wlw

Test a new syntax highlighter

Test from windows live writer highlighter

test syntax highlight

Test a picture

简述如何为Micolog配置windows live writer

Test from windows live writer

Micolog 安装手记

Hello world!

流水账

流水账

Farewell, USTC

Farewell, USTC

雩山行

雩山行

Just for Test

Just for Test