小站会根据您的关注，为您发现更多，
看到喜欢的小站就马上关注吧！
下一站，你会遇见谁的梦想？
We&are&the&future！
[ZZ]为什么不能在中国设立第十四个Root DNS Server
器会怎样？
DNS污染是中国G{过}F{滤}W墙技术的一个组件，过滤工具通过在ISP边界路由器上检测DNS查询，一旦发现敏感的域名，如Google, twitter, facebook, youtube等，则回应给用户虚假的DNS响应，从而阻止国内用户对&敏感&网站的访问。由于目前DNSSEC还没有大规模使用，此种DNS注入污染就有了可乘之机。用户的client会先一步接受到被污染后的解析结果，从而忽略了永远慢了一步的正确应答。论文(&)中的数据: 中国范围内的800个DNS解析客户端，99.88%受其影响。
不幸的是，这种看似只是只有国人才有的&福利&，也影响了其他国家的互联网用户。最早由智利的管理员发现：从智利和加利福尼亚发往 I.RootServers.NET&&的DNS查询有时会发生应答&污染&。在分析了这次事故后最终发现很多其他国家都在遭受同样的DNS 污染，而问题的源头就在于有三个DNS ROOT server (F, I, 与 J) 的anycast instance 位于中国 。一旦DNS请求途径了中国，污染便无法避免的发生了，即便域名属于其他国家，而解析请求也不在中国，同样难逃污染。
那么是不是互联网的管理者们从中国 CNNIC手中撤回root server的权利，问题就解决了呢？答案是 不完全是。
论文统计了世界范围内的影响，在测试173个国家和地区中的&&43,842& & 次DNS 递归查询中。由于G{过}F{滤}W的功劳，其中的109个国家受到了不同程度的递归查询DNS污染，伊朗受的影响最重，为88.20%。平均&&为26.41%&&。
这种DNS附属破坏主要发生在客户端与TLD授权服务器进行会话的过程中，尤其是.de和.kr的TLD.
当然解决DNS污染最根本的办法就是启用DNSSEC，在DNSSEC启用的情况下，被&污染&的DNS应答将会被client自动忽略掉，从而等待真正的应答到来。目前墙的技术应该无力破坏DNSSEC的防御，当然，道高一尺，魔高一丈，也许倒是墙也有了更先进的手段，谁知道呢。
2012奥斯卡动画短片，人物形象好萌啊~~
你确认这不是openSUSE的广告么……&&转自&
[zz]Turing机、人工智能以及我们的世界
昨天终于读完了《The Annotated Turing》一书，第一次完整地阅读了 Turing 最经典的那篇论文，理解了 Turing 机提出的动机和由此带来的一系列结论。不过，这本书的最大价值，则是让我开始重新认识和思考这个世界。在这里，我想把我以前积累的哲学观点和最近一些新的思考记下来，与大家一同分享。《The Annotated Turing》一书中的一些学术内容，留待以后几篇日志与大家分享。今年是 Alan Turing 诞辰 100 周年，图灵公司将推出这本书的中译本，现在正在紧张的编辑排版中，不久之后就能和大家见面。1928 年， David Hilbert 提出了一个著名的问题：是否存在一系列有限的步骤，它能判定任意一个给定的数学命题的真假？这个问题就叫做 Entscheidungsproblem ，德语&判定性问题&的意思。大家普遍认为，这样的一套步骤是不存在的，也就是说我们没有一种判断一个数学命题是否为真的通用方法。为了证明这一点，真正的难题是将问题形式化：什么叫做&一系列有限的步骤&？当然，现在大家知道，这里所说的&有限的步骤&指的就是由条件语句、循环语句等元素搭建而成的一个机械过程，也就是我们常说的&算法&。不过，在没有计算机的时代，人们只能模模糊糊地体会&一个机械过程&的意思。 1936 年，Alan Turing 在著名的论文《On computable numbers, with an application to the Entscheidungsproblem》中提出了一种假想的机器，第一次给了&机械过程&一个确凿的含义。
Turing 提出的机器非常简单。假设有一张无穷向右延伸的纸条，从左至右分成一个一个的小格子。每一个小格子里都可以填写一个字符（通常是单个数字或者字母）。纸条下方有一个用来标识&当前格子&的箭头，在机器运行过程中，箭头的位置会不断移动，颜色也会不断变化。不妨假设初始时所有格子都是空白，箭头的颜色是红色，并且指向左起第一个格子。为了让机器实现不同的功能，我们需要给它制定一大堆指令。每条指令都是由五个参数构成，格式非常单一，只能形如&如果当前箭头是红色，箭头所在格子写的是字符 A ，则把这个格子里的字符改为 B ，箭头变为绿色并且向右移动一格&，其中最后箭头的移动只能是&左移一格&、&右移一格&、&不动&中的一个。 精心设计不同的指令集合，我们就能得到功能不同的 Turing 机。你可以设计一个生成自然数序列的 Turing 机，或者是计算根号 2 的 Turing 机，甚至是打印圆周率的 Turing 机。 Turing 本人甚至在论文中实现了这么一种特殊的 Turing 机叫做通用 Turing 机，它可以模拟别的 Turing 机的运行。具体地说，如果把任意一个 Turing 机的指令集用 Turing 自己提出的一种规范方式编码并预存在纸条上，那么通用 Turing 机就能够根据纸条上已有的信息，在纸条的空白处模拟那台 Turing 机的运作，输出那台 Turing 机应该输出的东西。 但是， Turing 机并不是无所不能的。 Turing 证明了一个看似有些惊人的事实：不存在这样的一个 Turing 机，它能读取任意一个 Turing 机的指令集，并判断该 Turing 机是否将会在纸条上打印出至少一个 0 。注意，简单地用通用 Turing 机做模拟并不是一个可行的方案，因为模拟到现在还没有打出 0 ，不意味着今后也就永远不会打出 0 。这个定理有一个更深刻的含义，即没有一种通用的方法可以预测一台 Turing 机无穷远后的将来（后人把这个结论简化为了著名的）。正如《The Annotated Turing》封底上的一段文字所说：在没有计算机的时代， Turing 不但探索了计算机能做的事，还指出了计算机永远不能做到的事。 在论文的最后一章， Turing 给出了一种 Turing 机指令集和一阶逻辑表达式的转换规则，使得这个 Turing 机将会打出 0 来，当且仅当对应的一阶逻辑表达式为真。然而，我们没有一种判断 Turing 机是否会输出 0 的算法，因此我们也就没有一种判断数学命题是否为真的通用办法。于是， Entscheidungsproblem 有了一个完美的解答。有趣的是，Turing 机本身的提出比 Entscheidungsproblem 的解决意义更大。计算机诞生以后，出现了五花八门的高级编程语言，一个比一个帅气，但它们的表达能力实际上都没有超过 Turing 机。事实上，再庞大的流程图，再复杂的数学关系，再怪异的语法规则，最终都可以用 Turing 机来描述。 Turing 机似乎是一个终极工具，它似乎能够表达一切形式的计算方法，可以描述一切事物背后的规律。在同一时代，美国数学家 Alonzo Church 创立了 λ 算子（λ-calculus），用数学的方法去阐释&机械过程&的含义。后来人们发现， Turing 机和 λ 算子是等价的，它们具有相同的表达能力，是描述&可计算性&的两种不同的模型。 Turing 机和 λ 算子真的能够描述所有直观意义上的&可计算数&、&可计算数列&、&可计算函数&吗？有没有什么东西超出了它们的表达能力？这个深刻的哲学问题就叫做 Church&Turing thesis 。当然，我们没法用形式化的方法对其进行论证，不过大家普遍认为， Turing 机和 λ 算子确实已经具有描述世间一切复杂关系的能力了。人们曾经提出过一些 hypercomputer ，即超出 Turing 机范围的假想机器，比如能在有限时间里运行无穷多步的机器，能真正处理实数的机器，等等。不过这在理论上都是不可能实现的。事实上， Turing 在他的论文中就已经指出，人的思维也没有跳出 Turing 机的范围。对此， Turing 有一段非常漂亮的论证：人在思考过程中，总能在任意时刻停下来，把当前进度记录在一张纸上，然后彻底走开并把它完全抛之脑后，过一会儿再回来，并完全凭借纸上的内容拾起记忆，读取进度，继续演算。也就是说，人的每一帧思维，都可以完全由上一帧思维推过来，不依赖于历史的思维过程。而 Turing 机所做的，也就是把人的思维步骤拆分到最细罢了。没错，这意味着，或许一个人的语言、计算甚至学习能力，完全等价于一个 Turing 机，只不过这个 Turing 机的指令集可能异常庞大。1950 年， Turing 的另一篇经典论文《Computing Machinery and Intelligence》中正式把人和机器放到了相同的高度：让一个真人 C 先后与一台计算机 A 和另一个真人 B 进行聊天，但事先不告诉他 A 和 B 哪个是机器哪个是人；如果 C 无法通过聊天内容分辨出谁是机器谁是人，我们就认为计算机 A 具有了所谓的人工智能。这就是 Turing 测试。计算机拥有智能？这岂不意味着计算机也能学习，也能思考，也拥有喜怒哀乐？人类似乎瞬间失去了不少优越感，于是不少科学家都旗帜鲜明地提出了反对意见。其中最为经典的恐怕要数美国哲学家 John Searle 在 1980 年提出的&中文屋子&思想实验了。把一个不懂汉语的老外关在一个屋子里，屋子里放有足够多的草稿纸和铅笔，以及一本汉语机器聊天程序的源代码。屋子外面则坐着一个地地道道的中国人。屋里屋外只能通过纸条传递信息。老外可以用人工模拟程序运行的方式，与屋外的人进行文字聊天，但这能说明老外就懂中文了吗？显然不能。每次讲到中文屋子时，我往往会换一种更具戏剧效果的说法。一群微软研究员在小屋子里研究代码研究了半天，最后某人指着草稿纸一角的某个数字一拍大腿说，哦，原来屋外的人传进来的是一段笑话！于是，研究员们派一个代表到屋子外面捧腹大笑&&但是，显然这个研究员是在装笑，他完全不懂笑点在哪儿。这个例子非常有力地说明了，机器虽然能通过 Turing 测试，但它并不具有真正的智能。当然，有反方必有正方。另一派观点则认为，计算机拥有智能是一件理所当然的事。这涉及到一个更为根本的问题：究竟什么是智能？ 记得我曾经看过一本科幻小说，书名不记得了，情节内容也完全不记得了，只记得当我看完小说第一页时的那种震撼。在小说的开头，作者发问，什么是自我意识？作者继续写到，草履虫、蚯蚓之类的小动物，通常是谈不上自我意识的。猫猫狗狗之类的动物，或许会有一些自我意识吧。至于人呢，其实我只敢保证我自己有自我意识，其他人有没有自我意识我就不知道了。看到这里我被吓得毛骨悚然：完全有可能整个世界就只有我一个人有自我意识，其他所有人都是装出一副有意识的样子的无生命物！ 有一次做汉语语义识别的演讲时，讲到利用语义角色模型结合内置的知识库，计算机就能区别出&我吃完了&和&苹果吃完了&的不同，可以推出&孩子吃完了&多半指的是什么。一位听众举手说，难道计算机真的&理解&句子的意思了？我的回答是，没有冒犯的意思，你认为你能理解一个汉语句子的意思对吧，那你怎样证明这一点呢？听众朋友立即明白了。你怎样证明，你真的懂了某一句话？你或许会说，我能对其进行扩句缩句啊，我能换一种句型表达同样的意思啊，我能顺着这句话讲下去，讲出与这句话有关的故事、笑话或者典故，我甚至还能在纸上画出句子里的场景来呢！那好，现在某台电脑也能做到这样的事情了，怎么办？ 这就是所谓的&功能主义&：只要它的输入输出表现得和人一样，不管它是什么，不管它是怎么工作的，哪怕它只是一块石头，我们也认为它是有智能的。永远不要觉得规则化、机械化的东西就没有智能。你觉得你能一拍脑袋想一个随机数，并且嘲笑计算机永远无法生成真正的随机数。但是，你凭什么认为你想的数真的就是随机的呢？事实上，你想的数究竟是什么，这也是由你的大脑机器一步一步产生的。你的大脑逃不出 Turing 机。事实上，整个世界也逃不出 Turing 机的范围。 Newton 系统地总结了物体运动规律后，人类豁然开朗，原来世界万事万物都是由&力&来支配的，扔出一个东西后，这个东西将以怎样的路线做怎样的运动，会撞击到哪些其他的物体，它们分别又会受到怎样的影响，这都是可以算出来的。这便是所谓的机械唯物主义：我们的世界是一个简单的、确定的、线性的、无生的世界。 1814 年，法国数学家 Laplace 给出一个更加漂亮的诠释：如果有一个妖精，它知道宇宙某个时刻所有基本粒子的位置和动量，那么它就能够根据物理规律，计算出今后每一时刻整个宇宙的状态，从而预测未来。刘慈欣在科幻小说《镜子》中更加极端地把初始状态取到宇宙大爆炸的时刻，因为宇宙诞生之初的状态极其简单，调整到正确的参数就可以生成我们所处的这个宇宙。这就是所谓的决定论。 我特别相信这些说法。我的拖延症有一个非常怪异的缘由，那就是我会告诉自己，截止的那一天总会到来的，这堆破事儿总会被我做完的。遇上纠结的问题，我不会做过多的思考，而会让一切顺其自然。其实，结果已经是确定的了，我真正需要做的不过是亲自把这个过程经历一遍。就仿佛我没有自由意志了一样。不过，现代物理学的观念，尤其是量子理论的诞生，开始质疑上帝究竟会不会掷骰子了。然而，上帝会不会掷骰子，对于我们来说其实并不重要。 Turing 的结论告诉我们，即使未来是注定的，我们也没有一种算法去预测它，除非模拟它运行一遍。但是，要想模拟这个宇宙的运行，需要的计算量必然超出了这个宇宙自身的所有资源。运行这个宇宙的唯一方式，就是运行这个宇宙本身。 Seth Lloyd 在《Programming the Universe》里说到，&我们体会到的自由意志很像 Turing 的停机问题：一旦把某个想法付诸实践，我们完全不知道它会通向一个怎样的结局，除非我们亲身经历这一切，目睹结局的到来。&未来很可能是既定的，但是谁也不知道未来究竟是什么样。每个人的将来依旧充满了未知数，依旧充满了不确定性。所以，努力吧，未来仍然是属于你的。(原载于Matrix67 URL：，转载请注明出处）
UNIX目录结构的来历
UNIX目录结构的来历
Unix（包含Linux）的初学者，常常会很困惑，不明白目录结构的含义何在。
举例来说，根目录下面有一个子目录/bin，用于存放二进制程序。但是，/usr子目录下面还有/usr/bin，以及/usr/local/bin，也用于存放二进制程序；某些系统甚至还有/opt/bin。它们有何区别？
Rob Landley给出了，原来Unix目录结构是历史造成的。
话说1969年，Ken Thompson和Dennis Ritchie在小型机PDP-7上发明了Unix。1971年，他们将主机升级到了PDP-11。
当时，他们使用一种叫做RK05的储存盘，一盘的容量大约是1.5MB。
没过多久，操作系统（根目录）变得越来越大，一块盘已经装不下了。于是，他们加上了第二盘RK05，并且规定第一块盘专门放系统程序，第二块盘专门放用户自己的程序，因此挂载的目录点取名为/usr。也就是说，根目录"/"挂载在第一块盘，"/usr"目录挂载在第二块盘。除此之外，两块盘的目录结构完全相同，第一块盘的目录（/bin, /sbin, /lib, /tmp...）都在/usr目录下重新出现一次。
后来，第二块盘也满了，他们只好又加了第三盘RK05，挂载的目录点取名为/home，并且规定/usr用于存放用户的程序，/home用于存放用户的数据。
从此，这种目录结构就延续了下来。随着硬盘容量越来越大，各个目录的含义进一步得到明确。
　　/：存放系统程序，也就是AT&T开发的Unix程序。
　　/usr：存放Unix系统商（比如IBM和HP）开发的程序。
　　/usr/local：存放用户自己安装的程序。
　　/opt：在某些系统，用于存放第三方厂商开发的程序，所以取名为option，意为"选装"。
[ZZ]世界创意工厂：看贝尔实验室如何创造未来
去年秋天，在一篇题为 Innovation Starvation（&创意饥荒&）的短文中，科幻小说家 Neal Stephenson 哀叹美国航空事业的没落。在文中，他回忆起当年坐在巨大的黑白相间的双子星座任务海报前，那种神奇和惊叹的感觉。他说当年见证的是最后一架航天飞机的发射，并为此深表遗憾。对他来说，美国国家航空航天局（NASA）放弃对载人航天技术的探索意味着&人类社会对此表现出的无能&。出生在科技繁荣的二十世纪中期的 Stephenson 对航天航空的未来有着美好憧憬：人类将在火星上建立太空站，还可以在那度假。Stephenson 说，这个梦想并没有实现，今后应该也不会有人再做这样的梦了。天体物理学家 Neil deGrasse Tyson 最近也发出同样的感叹：&在我们登上月球后，我们的梦想就停止了。&他们都认为现在的美国满足于上世纪的科技成果，而不愿继续创造未来；如今科技产品数量种类日益增多，却没有质的飞跃。Stephenson 在文章中还写道：&人们必须实实在在地去创造新的科技，这是人类摆脱目前困境的必由之路。但糟糕的是，我们已经忘了应该怎么做了。&而那些科学家、工程师和相关管理者们则首当其冲需要肩负起创造新科技的责任。大半个二十世纪以来，贝尔实验室无可争议地成为了美国最富有创意的研究机构，Jon Gertner 在其著作：《世界创意工厂：贝尔实验室和伟大的创新时代》中将贝尔实验室比作世界的创意工厂。贝尔实验室的科学家和研究员的科技发现和发明不胜枚举：晶体管、激光器、太阳能电池、发光二极管、数字交换机、通信卫星、电子数字计算机、蜂窝移动通信设备、长途电视传送、仿真语言、有声电影、立体声录音，以及通信网等许多重大发明都是在贝尔实验室诞生的。物理史学家 Michael Riordan 认为&不会再有任何机构能够超越贝尔实验室对国家科技发展做出贡献&。
贝尔实验室的研究人员名册就像是诺贝尔奖的颁奖名单。曾有人开玩笑说，如果一个小研究员在某个项目上卡壳儿了，他可以当面向相关著作的作者讨教；而且在那里，不管年龄差距多大，研究员之间都可以针对某个项目自由探讨甚至争论。贝尔实验室不缺乏天才，但关键是要怎么将这些人才资源最大程度地优化组合。这要感谢 Mervin Kelly，是他提议建立这样一个&创意科技研究所&，用开放式的管理方式，让各界顶尖人才自由交流；他眼光长远，而且从来不为未来的发展设限，这也给了研究员们很大的创造空间；他也不会因为暂时的经济损失而放弃某个有意义的研究项目。
追根究底，到底什么是所谓的创意？Kelly 以及他的接班人都坚信顶尖科技领域的发展是不可预测的，而 Stephenson 反驳说，正是因为谷歌（搜索引擎）的存在让他们开始变得谨言慎行。Stephenson 发问道，到底什么才是创意？它长什么样子？它是怎么产生的，而我们如何才能拥有更多创意？当今社会，所谓&创意&更多时候只是喊口号，一些蹒跚起步的初创公司往往曲解了它的真正含义。对此，Kelly 的解释是，失败是必经之路，一项新科技的诞生不可能一帆风顺；而允许失败发生的地方才能成为真正具有开创性想法的发源地。John Pierce 制定了如下管理制度：所有管理层都必须从研究员中提拔；所有研究员都不需要负责筹集资金；投资公司必须持续支持所选定的项目；即使项目终止，研究员也不会被解职。在许多其他机构这样的管理制度是不可能实行的。
究其根本，贝尔实验室是 AT&T的一个下属机构，但又独立于 AT&T；许多年内，它都是美国最大的雇佣机构，却没有竞争压力。然而，&对事态保持远见&是把双刃剑，如果一个项目需要几十年的时间才能有所收益，为什么不把钱花在短时间内就能投入市场的项目呢？正因如此，1984年开始，贝尔实验室的黄金时代结束了，它再也没能重现昔日的光彩。与美国政府一番讨价还价之后，AT&T将部分专利公开并可以免费使用。如此一来，AT&T就与其他科技公司无异了。要重现贝尔实验室几乎是不可能的，Gertner 在其书中将贝尔实验室与硅谷进行比较，一个是纯实验室性质的机构，一个是科技公司集合地。两者的许多不同点也充分说明了这个不可能性。有时，真的很难想象那个辉煌的年代已经处于英国和美国历史年鉴的顶端，当时的科学家和工程师们是整个社会的偶像，一个英国乐队甚至要为收购商业卫星写歌。也很难想象会有一天，那些曾改变世界的发明家们被当成英雄一般崇拜。然而，这也并不是说他们不是英雄，也不是说他们不会再次成为世界的英雄。Via
NODE.JS AND THE JAVASCRIPT AGE by Michael Driscoll
Three months ago, we decided to tear down the framework we were using for our dashboard, Python's Django, and rebuild it entirely in server-side JavaScript, using node.js. (If there is ever a time in a start-ups life to remodel parts of your infrastructure, it's early on, when your range of motion is highest.)This decision was driven by a realization: the LAMP stack is dead. In the two decades since its birth, there have been fundamental shifts in the web's make-up of content, protocols, servers, and clients. Together, these mark three ages of the web:I. : The HTML Age.The HTML Age was about documents, true to Tim Berners-Lee's original vision of a "big, virtual documentation system in the sky." The web was dominated by static, hand-coded files, which web clients crudely formatted (with defaults that offend even the mildest of typographiles). Static documents were served to static clients.II. : The LAMP Age.The LAMP Age was about databases. Rather than documents, the dominant web stacks were LAMP or LAMP-like. Whether CGI, PHP, Ruby on Rails, or Django, the dominant pattern was populating an HTML template with database values. Content was dynamic server-side, but still static client-side.III. 2010-??: The JavaScript Age.The JavaScript age is about event streams. Modern web pages are not pages, they are event-driven applications through which information moves. The core content vessel of the web -- the document object model -- still exists, but not as HTML markup. The DOM is an in-memory, efficiently-encoded data structure generated by JavaScript.
LAMP architectures are dead because few web applications want to ship full payloads of markup to the client in respo they want to update just a fragment of the DOM, using JavaScript. AJAX achieved this, but when your server-side LAMP templates are 10% HTML and 90% JavaScript, it's clear that&To recognize this means shifting our view of the server from a document courier (HTML Age), or a template renderer (LAMP Age), to a function and data shipper. The principal role of the server is to ship an application to the client (JavaScript), along with data (JSON), and let the client weave those into a DOM.The secondary role of the server is to listen in on a stream for events (a new edit, a message, or ticker change) and efficiently push responses back to clients.For both of these roles, node.js is an ideal serving architecture. Since we're currying JavaScript functions on the server-side, we ought to write in JavaScript. We can shift computation from server to client with little impedance (for example, we no longer need to maintain two sets of our custom string formatting libraries).With regard to responding to event streams, node.js is ideal. Its asynchronous, non-blocking architecture means it's incredibly fast. It uses HTTP 1.1, keeps its connections open, and a single server can handle thousands of open connections at once.Finally, it's worth considering that events are simply packets of data, and the emerging lingua franca of data on the web is JSON. This is what client-side applications receive when a ticker moves, or a message arrives. This is, again, a native format for node.js.The JavaScript age brings us closer to a web that is not a global digital library, but a global digital nervous system, whose implications we are only beginning to apprehend.
重新唤起程序员们沉睡已久的荣耀感——Visual Studio 2010成就一览
Customizing Visual Studio
(5 points)
Install 5 extensions to Visual Studio. Extensibility rocks!
(10 points)
Install 10 extensions to Visual Studio. How can you find anything on a menu?
(5 points)
Load custom Visual Studio settings. I swear, they never get the default settings right.
Don't Try This At Home
(0 points)
Have 100 fields in a single class. Gnarly!
(0 points)
Use of the goto keyword. Um, I heard it was a best practice that you weren't supposed to do that anymore.
(0 points)
Write 20 single letter class level variables in one file. Kudos to you for being cryptic!
(0 points)
Write a enum with 30 fields. Who needs numbers when you've got words!
(5 points)
More than 10 overloads of a method. You could go with this or you could go with that.
(0 points)
Write a single line of 300 characters long. Who needs carriage returns?
(0 points)
Write a class with ten levels of inheritance. Now that's a sweet inheritance! .
Good Housekeeping
(7 points)
Add 10 regions to a class. Your code is so readable, if I only didn't have to keep collapsing and expanding!
(7 points)
Used 'Organize Usings' 50 times. Unused usings are evil!
Just For Fun
(5 points)
Install the add-in and register with Channel9. You are up and running!
(5 points)
Code on a Friday or Saturday night. Coding? Tonight? Ouch.
(5 points)
Invoke the 'Close All But This' menu option 10 times. I mean, who invented those damn tabs anyway?
(5 points)
Use 5 different curse words in a file. Wash that mouth out with soap!
(5 points)
Print source code. My boss told me to. I swear!
Power Coder
(10 points)
Have 50 projects in a solution. That's kinda scary.
(10 points)
Write a class with public, private, protected and internal members. It's all about scope.
(10 points)
Have 1000 localized values. Nice localization work!
(10 points)
Reference 25 assemblies. Hey, why should you write it if someone else already did?
(10 points)
Use 5 preprocessor directives. Compiler commands -- aren't you fancy!
(10 points)
A solution takes 10 minutes to compile. Dag, that's one enormous solution!
Unleashing Visual Studio
(5 points)
Add 10 items to a sequence diagram. You're
you're an architect! .
(5 points)
Start a debug session using step over (F10) more than 10 times. I thank the debugger every day.
(5 points)
Invoke an IntelliTrace Menu 10 times. Tools rule! .
(5 points)
Have 10 breakpoints in a file.Where's that bug? Could here, could be there, could be anywhere!
(5 points)
Invoke performance tools 10 times. Why is this app running so slow? Now I know! .
(5 points)
Have 3 startup projects. You've got a lot on your plate!
(5 points)
Generate method stubs 9 times. You're a TDD bad ass!
(5 points)
Start a debug session using step into (F11) more than 10 times. Ah, the power of F11. Every coder's best friend.
(5 points)
Create a UML Class Diagram 10 times. Code is for sissies. Models! Models! Models! .
SOPA和PIPA的投票表决被暂停
文件共享成为瑞典官方认可的宗教
Windows 7 X64版本告破
来自Secunia 的安全研究员webDEViL发现了64位Win 7 系统中存在的一个零日漏洞，
"The vulnerability is caused due to an error in win32k.sys and can be exploited to corrupt memory via e.g. a specially crafted web page containing an IFRAME with an overly large "height" attribute viewed using the Apple Safari browser.
Successful exploitation may allow execution of arbitrary code with kernel-mode privileges." Secunia report says.
漏洞是由win32k.sys 中的错误引发的，可以通过利用Safari 浏览一个含有过大&高度&属性IFRAME 的特定网页实现。黑客可以获得在内核模式级别中执行任意代码的特权
IBM年度五大创新：五年内改变世界！
IBM今天正式公布了第六届&IBM年度五大创新&(IBM 5 in 5)，汇聚了五项有望在未来五年内彻底改变人们工作、生活与互动的创新技术，它们均来自蓝色巨人遍布全球的高科技研究实验室。
　　IBM放出豪言：&在IBM，我们每天都在拉近科学幻想与科学现实的距离。
　　一、人体能源成真
　　任何移动或者发热的东西都有可能释放能量并被捕获，比如走路、慢跑、骑车、电脑发热，甚至是管道中的水流。不断进步的可再生能源技术将会帮助人们收集这些动能，为我们的家庭、办公室和城市提供动力，不再白白浪费掉。
　　想象一下，在自行车车轮的辐条上挂接一个小小的设备，蹬车前行的时候就会给电池充电，结果在你抵达目的地的同时，也能为家里点亮几盏灯泡。
　　IBM爱尔兰的科学家们就在寻求一种新的方式，利用海浪的能量来发电，同时尽量减少对环境的影响。
　　二、密码成为历史
　　生物学标记是一个人天生的&身份证&，很快它们就将为你的安全保驾护航。你不再需要为了各种场合的登录而创建、记忆复杂的密码。
　　想象一下，走到ATM跟前，或者拿起手机、平板机，只要说出自己的名字或者看一下视网膜传感器，你的身份就会被识别出来，交易顺利进行。当然了，还有面部识别、语音识别等等，通过软件编译就能利用你的DNA创建独一无二的生物密码。
　　借助多重生物测定学，更智能的系统将能够实时利用这些信息，确保任何人在任何时候尝试访问自己的信息的时候，都能与独特的生物学标记进行匹配，然后允许或者拒绝授权。
　　三、心灵感应不再是科幻
　　从天行者到X战警，心灵感应是科幻文学中的常见元素，不过长期以来都是人们的一厢情愿，你能想象它变成现实么？
　　IBM的科学家们正在尝试将你的大脑与智能手机、电脑等设备连接起来，你想给某人打电话或者发邮件的时候只要想一下就OK了，或者直接通过思想控制鼠标光标的移动。
　　生物学家们已经设计出了带有传感器的高级头盔，可以读取人脑的电子信号，然后在人们没有任何物理动作的情况下识别面部表情、专心程度和思想。
　　五年内我们就能在游戏、娱乐领域看到这种技术的早期应用。更进一步地，医生们可以用它测试大脑模式，甚至治好中风、自闭症等大脑顽疾。
　　四、数字鸿沟消失
　　在我们的全球社会中，对信息的访问程度决定了经济的增长和财富，而未来五年内，感谢移动设备的进步，有无信息之间的鸿沟将会显著缩小，甚至不复存在。
　　目前全球有大约70亿人口，五年内的移动设备销量将达56亿部，这就意味着80％的人口都会有一部移动设备。随着手机价格的低廉，人们不费吹灰之力就能获取海量信息。
　　比如在印度，IBM利用语音技术和移动设备让那些目不识丁的村民们学会了在手机上记录、发送信息。现在他们可以通过查看天气预报来决定何时给农作物施肥，知道医生什么时候来访，为农作物等商品寻找最合适的价格。
　　五、垃圾邮件变废为宝
　　铺天盖地的广告让你不胜其烦？IBM信心满满地告诉我们，垃圾邮件这个多年顽疾很快就要治愈了。
　　五年之内，不请自来的广告将会带上个人感情色彩，垃圾邮件也将不复存在；与此同时，垃圾邮件过滤器将会异常精准地进行筛选，那些卖药的、诈骗的再也不会骚扰你了。
　　想象一下，某一天你最钟爱的乐队在开演唱会，而你刚好有空，这时候门票飘然而至，你只需要点击购买就行了，或者在你即将踏上飞机的时候收到警告说有暴风雪，最好改变行程。
　　IBM正在研究实时分析学技术，为你生活的方方面面提供合理数据，并且只呈现、推荐对你有用的信息。从新闻到体育再到政治，该技术完全知道你想要什么，然后由你决定下一步行动。 & &
[ZZ]由《理科生们，拿起计算器消灭那些伪文艺青年吧！》展开的一些闲谈……
/*转载自浙江大学GoogleCamp公共主页,原文地址：*/
/*主页君表示，第一次写科学技术与社会的文章，压力有些大，难免存在毗漏，轻喷*/
/*没有写注释，采取加大行距分开各节，逻辑路径有点长，如果之前没有读过类似的文章，可能读起来有些费力*/《理科生们，拿起计算器消灭那些伪文艺青年吧！》是大约一周以前出现在网络上的一片日志（原帖地址：），作者采取了词频分析手段对全宋词进行拆解、统计，统计出在宋词中出现的意向出现频率表，并尝试通过随机数列的手段组合一篇新词。此文一出，网络一片哗然，有人高呼文科被消灭的时代到了，有人说理工科在消灭未知的道路上顺手消灭了文科；同时，大量的文科生表示不爽，有的文科生怨念理工科学生不过是借助了计算机而已，有的人挑剔生成的词平仄不规范、语义意境氛围等不连贯，有人则说这不是真正的文学。但是很快，一篇来自浙江大学及厦门大学的论文给了文科生们沉重的打击，论文展示的系统生成的结果十分规范、语义意境氛围等已经达到基本可以乱真的程度。于是，在这场争论中唯一的焦点就变成了，机器生产的作品到底算不算艺术&&&又是这个论题&&&在传统的观念中，艺术是人类情感的一种表达，是人在活过、死过、奋斗过、痛苦过、成长过、思念过，歌唱过、舞蹈过、搏斗过、亲吻过、期望过、害怕过、胜利过、失败过、哭泣过、欢笑过、爱过、渴望过、关怀过之后，灵魂深处产生的最本能地反应，是人类灵魂的终极圣地。而机器永远只是一块儿有各种器件拼凑起来的电路而已，人类很难接受一个没有知觉、视觉、听觉、味觉，不曾活过、死过、奋斗过、痛苦过、成长过、思念过，不曾歌唱过、舞蹈过、搏斗过、亲吻过、期望过、害怕过、胜利过、失败过、哭泣过、欢笑过、爱过、渴望过、关怀过的个体可以产生出可以称之为艺术的作品。但是随着科技的发展，逐渐出现的一些技术和产品，似乎越来越挑战人类对世界的认知。EMI作曲机的出现，给音乐界投下了重磅炸弹，其生成的肖邦风格舞曲骗过了绝大多数音乐专家，甚至在与货真价实的肖邦作品一同出现时，依然可以欺瞒世人；之后的自动对联机、以及现在被提出的自动词赋系统，都在无限逼近甚至超越人类本身的水平。这在理工科学生的眼中，是一件可喜可贺的事，但是如果我们跳出狭隘的文理划分，从另一个角度去看这一切，会发现这本身又回到了那个最原始的、从人工智能诞生之初就一直在讨论的问题，人到底为什么成为人、机器有可能变得像人一样么&&&提到人工智能，就不得不提到Alan Mathison Turing ，一个牛逼闪闪的家伙，被称为计算机科学之父和人工智能之父，提出过可计算理论和&图灵机&概念，直接成为了现代计算机的理论基础，提出了著名的&图灵测试法&。&图灵测试法&指，当一个人不断的向一台计算机和一个人发送问题或请求，并审查得到的反馈，如果无法分别两个目标中谁是机器、谁是人，则可以判定这台受测试的计算机具有与这个人同样的思考能力，即，可以认为这台机器的智能是一个人&&用&图灵测试法&去看上面的问题，我们悲观的发现，似乎在这个测试法下，计算机与人的差别越来越小了，而且有的时候，比人类本身还更像人&&于是，这就又触动了人类数万年以来一直很敏感的那根神经&&&似乎自从远古时期那只猿猴从树上下来那一刻开始，注定了人类的独一无二和与众不同。人类有了劳动能力、有了语言、有了超越本能的思维，逐渐的，人类社会出现了经济、政治、宗教，之后逐步发展出了文化，形成了文明。地球上没有发现第二个物种拥有如此强大的智慧和创造力，同时，一次又一次，人类通过自己的智慧征服和改造自然。另一方面，人类有了社会，一部分人在记录自然的过程中开始掺杂入个人因素，逐渐产生了艺术，并且随着艺术的发展，艺术变得越来越脱离现实，成为一种与人类本身思维关系季度密切的抽象的存在。这一切都使人类自认为似乎人类是这个世界独一无二的王者。这也是人类一直以来的荣耀和尊严&&&很不幸，这份荣耀和自尊在文艺复兴之后被彻底打碎&&&文艺复兴以来，欧洲在对自然的理解上取得了长足的进步，逐步形成了系统的科学体系，之后，随着科学的发展，一些科学知识被用于生产生活，直接推动了技术的发展，也直接催生了后面的几次工业革命。尽管科学与技术可以改善人类的生活，但是人类却一直对科学与技术十分的反感甚至仇视，而这种现象在一个新事物刚刚诞生时尤其明显。当一项新的技术出现，不仅意味着人类会得到好处，同时他还意味着，这项技术会侵入人类原有的领域，在这个领域替代人类，这个时候，人类的仇视情绪就会体现。如前所述，人类数万年以来的族群荣耀和尊严是建立在这种高人一等的思想（当然也是事实）的基础之上的，当一项技术的出现，入侵了人类的某些领域，打破了人类在该领域的垄断，这在事实上直接否决了人类数万年以来一直的精神信仰，直接将人类的荣耀和尊严践踏在脚下。纵观历史，这样的入侵和取代越强烈，人类的敌视就越明显，早年的机械、后来的电气、以及现在的信息技术都是如此。于是，在技术相对发达的今天，人类还能够处于垄断地位的也仅仅是人文艺术和科技创新领域了，其他领域，早已被技术入侵，并且在有些领域，科技已经形成了事实的垄断，艺术和科学研究本身似乎成为了人类的荣耀和尊严仅剩的避风港。现在，越来越多的技术开始尝试侵入人类一直以来认为最不可能被侵入的、一直以来被视为人类灵魂所在的人文艺术领域，并且已经初步取得一些成果，这一次，科技碰到了全体人类的这棵敏感神经，这是科技在向人类本身的一次宣战。一块只需要20美元就可以包邮到你桌面的电路以及其上面跑的一段程序，这样一个简陋的家伙，可以产生一个与你大脑中上亿个突触并发出的复杂的过程之后产生出的一部饱含你个人情感的作品水平相当甚至更好的作品，而且这些作品似乎也在强烈的表达着一些情感。当把你和它分别关在一间屋子里，屋外的人已经无法分辨生成作品的到底是人还是机器的时候，人类得到是彻底的绝望、远古流传下来的荣耀与尊严的彻底破灭，以及这个破灭的愤怒，人类现在的反应不过是对这一切（也许不会很久）的出自本能的恐惧。于是，当一块没有知觉、视觉、听觉、味觉，不曾活过、死过、奋斗过、痛苦过、成长过、思念过，不曾歌唱过、舞蹈过、搏斗过、亲吻过、期望过、害怕过、胜利过、失败过、哭泣过、欢笑过、爱过、渴望过、关怀过的电路拥有了在人文艺术领域与人近乎相同的表现时，我们似乎不得不怀疑，人类的本身是否只不过是某种运作机理与现在的机器不一样机器而已。尽管这个质疑很残酷、也显得很荒谬，但是，在科技不断发展并不断对人类本身产生挑战的时候，我们不得不接受这种质疑，也不得不去思考。&人工智能发展到今天，已经可以模拟出很多人类的思维和判定过程，同时，概率模型和神经网络的应用，也使得现今机器具有出色的自学习和自判定能力，但是现在的机器似乎永远只是个机器，它本身没有好恶，没有好恶就没有情感；另一方面，它太过精确。而人，本身有好恶、思维本身就很模糊混乱。而这一切似乎都出在一个问题之上，就是人类本身的思维存在致命的逻辑缺陷，而这个缺陷是计算机本身不能容忍的，即，存在&我&这个概念。集合论和逻辑学诞生的早年，人类并没有注意到某些问题，于是导致了著名的罗素悖论的出现。罗素悖论的最著名的例子就是那个倒霉的只给不给自己理发的人理发的理发师。引发罗素悖论的根本原因在于集合论并不严格，导致了集合本身这个概念的出现，而依据严密逻辑，集合本身又会推导出一些自相矛盾之处，从而产生悖论。因而，在严密的计算机体系中，自指是不存在的，也就是说，计算机并没有&我&这个概念，从而，它可以形式化、精确的执行一切。从这个角度来讲，机器永远无法变得跟人类一模一样。而人类本身思维的不完善（从这个角度来说，人类不存在逻辑，但是通过缩小思维活动的范围，使得逻辑得以存在并运作），则派生出了人类的各种模糊、也直接导致了人可以成为人，或许人是一种无法形式化的机器。但是，当科技跳出了传统的纯粹的过程性拟人或对象性拟人的窠臼，开始向目标导向转变时，似乎人类就觉得不那么舒服了&&尽管机器与人类的运作过程存在巨大的差异，但是简单的与或非配合概率模型却可以达到无限逼近真实的拟人效果，尽管与真人之间还存在那么一个无穷小量的差距&&而现在这个无穷小量似乎成为无助的绝望的人类最后的荣耀与尊严的寄托。当然，这个无穷小量，科技并不介意，也许，它在未来很长一段时间里，依然会是人类的避风港，但它的存在也只是能给人类带来些许的心理安慰而已。其实，人类在消灭未知的道路上，并不是在消灭文科，只不过是在一步一步把自己数万年来一直具有的那份没来由的荣誉感和那份虚假的尊严拆穿和粉碎，只不过每一次用的手法不同、展现的侧面不同。之前几次改变并未有触及这个人类的敏感神经，而这一次不同，这一次，科技触碰到了人类最敏感也是最脆弱的那部分。不难想象，在人工智能高度发达的一天，人类会以何种态度对待那些人工智能们&&&人有时确实需要向自己创造的事物低头。生命已经征服了世界上绝大多数的物质，并已经开始利用自然，企图创造有序的世界，在这个有序世界中，人类本身并无强大之处，这个有序世界嘲笑着人类数万年以来的没来由的荣誉感和那份虚假的尊严，但同时它本身，描述着人类的强大，已经成为人类的荣耀和尊严，过去如此，现在如此，未来，依然如此&&&&参考阅读[1]《候世达：如聆巴赫》 （）[2]《哥德尔&艾舍尔&巴赫:集异壁之大成》侯世达 (著), 郭维德 (译), 商务印书馆; 第1版 (日)
[3]《失控&&全人类的最终命运和结局》凯文&凯利（著）东西文库（译）
Intel官方确认正在实验室中测试14nm工艺
上周我们曾经报道过关于Intel下一代Tick-Tock战略中Broadwell的部分消息，现在该公司北欧地区业务主管Pat Bliemer在接受NordicHardware采访时透露，Intel已经在实验室中测试14nm工艺的运转情况，Broadwell的开发已进入初期阶段。
09:53 上传
Intel北欧地区业务主管Pat Bliemer
在其他公司还在纠结于32nm或28nm的时候，既然22nm的Haswell早期工程样品已经现身，那么14nm的Broadwell进入实验室R&D阶段按理说也不是什么特别稀奇的事情。
Pat Bliemer同时确认Intel的Tick-Tock战略正顺利进行，Haswell/Broadwell如果不延期，最早将在2013年/2014年正式现身。Broadwell也将是Intel首个真正SoC设计的CPU，集成网卡，Thunderbolt或USB 3.0功能。
目前Intel是全球首家大规模量产32nm工艺制程芯片以及业界首个采用22nm "3D"晶体管，或者叫Tri-Gate晶体管工艺制造产品的厂商。
09:55 上传
候世达：如聆巴赫
在我还年轻时 & 也就是写下《哥德尔、艾舍尔、巴赫》那时 & 曾问过自己这么个问题：&计算机程序会有写出优美音乐的那一天吗？&然后做出了如下推断：&计算机作曲程序在很长一段时间内不会产生什么有新意的成果&&&我们就快能用一台批量生产的二十块钱邮购获得的预置程序桌上型音乐盒子中那贫乏的电路写出肖邦或巴赫假如活到今日将写出的曲子& & 这种念头，哪怕只是想一想 (事实上我的确听人如此提过)，也已是对人类心智深度的一种荒诞可耻的误估。&那时我的调子就是如此这般。四分之一个世纪之后，我是如何看待这种推断的呢？说不准。这些问题已困扰我多年，直到现在还是没找到一个确定的解答。1995 年春，我偶然发现了 David Cope 的《计算机与音乐风格 (Computers and Musical Style)》一书，他是加州大学圣克鲁斯分校的一位教授。在书中我注意到了一首模仿肖邦风格的马祖卡舞曲，它是由 Cope 的 EMI (&Experiments in Musical Intelligence (音乐智能实验)&一词的缩写) 程序所谱的。之所以能引起注意，是因为作为毕生的肖邦爱好者，我觉得没什么伪托肖邦的曲子能骗过我的眼睛。所以我直接在钢琴上即兴把这首 EMI 马祖卡反复弹了好些次，每弹一次，我的困惑与惊讶便增加一层。尽管能间或能听出些小瑕疵，这首曲子还是给我留下了深刻的印象，因为它似乎在&倾诉&着什么。如果谁告诉我它是出自人手，我绝不会怀疑它的表现力。这首曲子听来有些怀旧，带点波兰味道，而全无抄袭嫌疑。它是崭新的，而又毫无疑问地刻上了&肖邦风格&的烙印，却不令人觉得情感空乏。我的的确确受到了震撼：抒情的乐曲怎么能从一个从未听过一个音、从未活过一秒钟、从无一丝一毫情感的程序中写出来？越是纠缠于此，我就越是困扰 & 但也越是为之着迷。这里确实有个不符情理的矛盾，狠狠将了我一军。但我不会就此拒绝承认，认为 EMI 无关紧要或缺乏乐感，不然这只能说明我的怯懦心虚而已。我要直面矛盾，与这个怪异的程序奋战到底，因为它动摇了早在我内心深处的信念：关于音乐的神圣地位的信念、关于音乐是人类灵魂的终极圣地的信念。这也是人工智能在奔向思维力、洞察力与创造力之前的最后障碍。如果我只是看过 EMI 的架构而未听过任何它的产出，我肯定不会把它放在心上。尽管 Cope 在 EMI 上花的功夫比大多数人工智能研究者在任何项目上花的功夫都要多得多，EMI 的基本原理在我看来并不新鲜，甚至显得没什么前途。颠覆我看法的是 EMI 所谱的曲子。后续的几个月里，我在美国和加拿大的许多地方做了关于 EMI 的讲座，令我大为惊讶的是，几乎没有几个听众对 Cope 模拟艺术创造力上的这一妙着感到沮丧，几乎没有谁感到威胁或担忧。反之，我却觉得某种能显示人类深邃思维的崇高性不复存在了。对我来说，不仅丢脸，还很可怕。EMI 中最深层次的原理是被 Cope 称作&重组音乐 (recombinant music)&的原理 & 从一名作曲家的作品中识别出不同类型的重现结构，然后以新的排列来复用这些结构，依此产生一份&同样风格下的&新作品。你可以想象 EMI 在学习了贝多芬的九首交响曲后，自行谱出《贝多芬第十交响曲》的情景。给定几个输入作品的情况下，EMI 的核心手法是这样的：(1) 分解；(2) 重组。当然，有许多重要的原理会限制什么段落可以跟在什么后面，这些原理都被公式化确定下来以保证乐曲的连贯。我可以总结出如下两条规则：(1) 局部的音调转合模式应类似原作；(2) 全局的片段排布应类似原作。这两条规则也可以转化为在解决拼图游戏时经常利用的两类限制：(1) 每块拼图的形状必须与邻接块紧密啮合；(2) 每块拼图上的图案必须在整个图片的大环境下有意义。前一条限制可以被刻画为&语法啮合&，或者仅根据&形式&构造的啮合，而后一条则可以刻画为&语义啮合&，或者仅根据&内容&构造的啮合。单看其中任何一个都平平无奇，可一旦组合起来，它们就能成为一套非常强大的限制。篇幅所限，这里我无法详述 EMI 中各种错综复杂的构造，它们被用来吸收风格元素、执行 Cope 编制的多层&重组&。在我关于 EMI 的讲座中，几乎每次都会让听众先听上一组双音小节，事先告知它们其中至少有一个是巴赫所作，也至少有一个是由 EMI 仿巴赫所作，然后由他们尝试找出其归属。听完之后我会让听众投票，通常大部分的听众能认出真正的巴赫作品，但通常也只是 2/3 的听众选对，还有将近 1/3 的人错了。而且选错的并非总是那些缺乏经验的听众。EMI 在进化着 & 它不是一个固定的目标。Cope 是从 1981 年开始开发这个程序的，多年以来他并未停止。EMI 的早期作品就像任何作曲新手的一般稚嫩，可后来的作品就越来越令人难忘，Cope 也随之对它有越来越高的期望。一开始他只是满足于 EMI 创制的短篇二部创意曲和短篇马祖卡，但现在他已经开始让 EMI 谱写整部整部的奏鸣曲、协奏曲和交响曲了。EMI 甚至还在编写一部叫&马勒&的歌剧 & 这可是对人类作曲家来说都极富挑战性的工作。毫无疑问，风格是一种多层次的现象。对风格的认知有深有浅，仅抓住一个作曲家的浅层习惯而忽略掉某些内在神髓是完全可能的。所以，在听到一段音乐，认出其中某些手法和以前听过的甲作曲家的手法相似，从而自行声称&这听起来像甲的作品&的时候，我们又受到了多大的欺骗呢？我们到底能不能清楚地区分浅层感应与深层体会？说实话，音乐的&浅层风格&与&深层风格&、&语法&与&语义&、&形式&与&内容&之间到底有什么区别？甚至到底有没有区别？在讲座中，我通常还会加上一段插曲，这次涉及马祖卡舞曲了 & 一首肖邦加一首 EMI。有一次我在纽约州罗切斯特市，世界著名的 Eastman 音乐学院做这个讲座，几乎所有的作曲与音乐理论教员都上了 EMI 马祖卡的当，把它当成了货真价实的肖邦 (相形之下，真正的肖邦作品却被当成了计算机仿冒的小调)。一位 Eastman 的音乐学生，Kala Pierson 就此给我发了一封电子邮件，她说：&和大多数朋友一样，我把第二首作品当成真正的肖邦。在你宣布第一首是肖邦的而第二首是 EMI 的那时，我们都倒抽了一口凉气，它带来的后果是一种快乐的恐慌，我从来没见过这么多理论家和作曲家的矜矜自得转眼间被扫得一干二净 (当然也包括我自己的)，它真是美轮美奂。&我在罗切斯特的讲座中 (事实上也是从所有关于 EMI 的讲座中) 得到的震撼是，有着深刻音乐天分、经过长年训练的人也有可能偶尔把 EMI 的作品当作真品。要记得 & 我们这才刚刚起步，我们人类才刚刚开始把&批量生产的二十块钱邮购获得的预置程序桌上型音乐盒子&这样的梦想付诸现实，这种盒子就是在我写《集异璧》时曾嗤之以鼻的&贫乏电路&上构建而成的。再经过二十年的努力工作后我们能到达什么境界？五十年呢？2084 年那时的顶尖水平又会是怎样的？到那时还会有人能区分真伪吗？谁会知道、谁会关心、又有谁会大声呼吁风格最核心的那微小的一点还没有被达到 (也永远达不到)？一旦巴赫、肖邦们广受赞誉的崭新杰作，如尼亚加拉大瀑布的流水一般从硅晶电路上涌出时，又有谁还会关心这样琐屑的细节？这样奇妙的一个新的音乐黄金时代，难道不该是&美轮美奂&的吗？以 Cope 所谓的《普罗科菲耶夫第十奏鸣曲》为例。在 EMI 第一张 CD《Bach by Design》的封套说明中，Cope 写到：&这首由计算机谱写的普罗科菲耶夫奏鸣曲完成于 1989 年，它的谱写灵感来自于普罗科菲耶夫自己完成第十钢琴奏鸣曲的尝试，因其逝世而终止的尝试。所以，这说明了类似 EMI 这样的程序的一个潜在的用途。(即补完未竟作品)&可是对我来说，这样的话不啻渎神。计算机模拟所令我担忧的，并非在于它暗示了我们自己可能也不过是机器，因为我早已相信了这一事实。困扰我的其实是这样的想法：触及我心灵最深处的东西 & 大部分情况下这指的是音乐作品，我总把它们当作灵魂间直接传递的信息 & 可能可以被简单的机制有效生产出来，这样的机制要比产生人类灵魂的复杂生物机制简单数千倍，甚至简单百万倍。这样的景象由 EMI 鲜明而几乎触手可及地展现在了我的面前，令我产生了巨大的担忧，在这样忧闷的情绪下，我悲观地罗列出了下面三个原因：(1) (比如说) 肖邦要比我想象的浅薄得多。(2) 音乐要比我想象的浅薄得多。(3) 人类灵魂/心智要比我想象的浅薄得多。让我再略作解释。关于第一点，既然我毕生都为肖邦的作品感动至深，假如 EMI 能一首接着一首地产出&肖邦风格&的乐曲，我将不得不从头回顾我从肖邦音乐中得来的全部意义，因为我将不再相信这样的意义只能来自于人类内心深处，而不得不接受这样的事实：弗雷德里克?肖邦可能只是一个非常流利的艺匠，而不是一位拥有深刻情感的艺术家，一位我从孩提时就确信自己知之甚详的艺术家。这样的损失会给我带来难以想象的悲痛，但从某种意义上说，上述损失不会比第二点带来的损失更糟，既然肖邦总被我当作音乐力量的代名词。尽管如此，把所有的作曲家统统扫地出门肯定还是比只扫一位要来得困难。当然，第三点带来的损失将是对整个人类尊严的终极冒犯。当意识到人脑千亿个神经元、将近亿亿个突触连接中所蕴含的全部&计算能力&能被几块尖端水平的芯片超过，而产生有史以来最强大的&艺术大爆发&只需要一块纳米级别的电路板 & 全部这一切一切，不劳费神，全来自于一件没有知觉、视觉、听觉、味觉，不曾活过、死过、奋斗过、痛苦过、成长过、思念过，不曾歌唱过、舞蹈过、搏斗过、亲吻过、期望过、害怕过、胜利过、失败过、哭泣过、欢笑过、爱过、渴望过、关怀过的个体。尽管 Kala Pierson 和许多其他的人可能会用&美轮美奂&这样的词来欢迎这种个体的来临，可是一旦音乐最终不可避免地被归约为了语法模式和模式本身，按我古板的看法，那会是非常黑暗的一天。
《Doom 3》源代码公布
id Software今天最终公布了《Doom 3》的源代码，游戏社区可以在遵守GNU GPL授权协议的前提下尽情使用。因为涉及到一些法律纠纷，John Carmack不得不重写了Reverse算法，导致《Doom 3》源代码推迟发布，不过大神最终没有让我们失望，该来的终于还是来了，唯一的遗憾就是不包含通过depth fail方法开启模板缓存渲染的功能。《Doom 3》源代码支持Windows、Linux、Mac OS X三大系统平台，可以分别使用Visual Studio 2011、SCons、XCode 3.2进行编译，此外还提供了Maya导入导出插件。根据发布说明，这批源代码中并未包含任何游戏数据，因为后者仍然必须遵守原始的EULA终端用户授权协议。《Doom 3》游戏基于id Tech 4引擎，同样采用这一技术的还有《Quake 4》、《Prey》、《Brink》，甚至是《使命召唤：现代战争》系列。在此之前，id Tech 2、id Tech 3两代引擎都已经开源。相信不远的将来就会看到大量基于id Tech 4引擎的开源游戏。《Doom 3》源代码下载地址：
其实，有时候并不是你的错
/*这篇日志的起源，是TC昨天问的一个很灵异的问题，应他要求，就放在这里*/问题症状描述：一个程序，上传到PAT上，反馈段错误，在本地用GCC或者Visual C++ 6.0编译后，程序会跑飞，而使用TC或者Visual C++ 2008以后版本，就没有这个问题。段错误是Linux系统对内存越界访问的处理反馈，也就是我们常说的内存跑飞的现象。出现此问题通常是数组过小或者对指针操作不当造成的，当然，还有可能是一些隐含原因。通过问题描述，我们发现问题的出现和编译器的选择有很大关系。通过跟踪各个编译器输出项的内存，TC告诉我，GCC和VC++6.0并没有给数组预先分配所有内存而才用了动态处理的手段，从而导致，若之前未对整个数组进行初始化操作，之后直接访问数组会发生访问到并未分配的或属于其他程序的内存空间的异常。这个与我们熟知的对数组的处理有很大差别，因此我查阅了最新的C\C++国际标准（C\C++ 2008 ISO）中对于此问题的描述，在ISO中，明确规定了对于数组，必须在编译时分配所有的内存，此条是强制执行，不受数据类型的影响。而回溯历史版本的ISO，发现在ISOX中，并未对此问题做明文说明。因此编译器厂商可以自行决定是否预先分配内存。GCC及G++支持ANSI-C、ISO C99、ISO C++98、GNUC99、GNU++98标准，因此，GCC及G++在对code进行优化操作时会对ISO、GNU中未严格声明的某些部分的可预期性造成影响，优化的结果会导致其编译结果与programmer预期出现偏差，而此次的内容恰好是这部分在早期标准中未被明确的内容。曾经也发生过因为GCC和G++的优化导致问题的情形，例如，Linux kernel 3.0。Linux kernel 3.0曾被爆出存在root验证漏洞，此漏洞就是GCC和G++认为Linus的Code中有一段代码多余而给自行注释后导致的。之后，我照着标准看了一圈儿，发现现在只有Microsoft Visual Studio和Intel C++ Compiler是支持C\C++ 2008标准的，同时，只有Microsoft Visual Studio支持全部的C\C++2008特性&&但是，Visual Studio会把C\C++标准库函数和一些常见操作或行为块替换为Microsoft Visual C++ Runtime&&于是现在状况就是，我们能够用的完全符合标准的编译器编译的结果不能跨平台，因为需要Microsoft C++ Runtime Library支持，可迁移的又不遵守标准&&对于这个，在开源社区下定决心并发布支持国际标准的编译器前，我们只能coding时尽量避开这些不遵守最新标准编译器留下的坑了，或者，各位努力，开发一款或者修改GCC及G++，使其支持国际标准&&
IE7、IE8、IE9、IE10后各版本的更新内容和各版本的差别
在程序员的眼里，万恶的IE6的结束对他们而言是一种解脱，IE7首次开始完整支持W3C标准，从此之后IE的标准化之路就开始越走越顺，以下总结了IE7以后各版本的更新内容，和各版本的差别，作为Web开发人员解决兼容性问题的参考。
解决了IE6的一个float bug,见
增强了CSS选择器支持内置AJAX透明PNG图片支持微软官方更新说明
解决了所有浮动bug（可能是所有CSS Bug都解决了）,完全支持CSS2.1规则和选择器（这个是亮点，至少在CSS上完全符合W3C标准了） 具体见
去掉了CSS 表达式 使用 -ms-厂商前缀表示IE专有属性，这一点向webkit和firefox学习了，值得表杨 修正了一系列DOM错误，更符合标准，但并没有新增支持 如getElementById的时候ID区分大小写，不会错把Name当ID，详细列表见
支持link标签的charset属性 AJAX支持增强 支持HTML5中的本地存储（挺先进的） 本地JSON对象支持（这个也挺先进） 增加UA兼容模式 增加了almost Stardards渲染模式 然而IE8仍然没有实现DOM L2,DOM L3和DOM L2 和 L3 事件处理（包括冒泡模型）的完整支持微软官方更新说明
实现DOM L2,DOM L3和DOM L2 和 L3 事件处理（包括冒泡模型）的完整支持 HTML5和CSS3支持 opacity透明属性的支持CSS3 2-D transformsCanvas,video之类的就不说了等等Web 开放字体格式 (WOFF) 的支持 SVG原生支持 一系列JS Bug的修复（Jscript更符合ECMAScript标准 见/b/ie/archi ... pport-and-more.aspx
ECMAScript 5支持 在DOM中空白字符也作为独立的文本节点以保持与其它浏览器一致 见
未知标签也能使用CSS样式 支持application/xhtml+xml的MIME 微软更新说明
ECMAScript 5 Strict 模式支持 HTML5和CSS3增强 CSS3 3-D transforms(需要-ms-前缀，因为W3C还未定稿)Websocket,webwork,file api等等SVG改进和增强 SVG滤境DOM增强 大多是带ms前缀的增强（也是就IE专有的）如触屏操作，手势事件等等不再支持IE10的UA兼容设置（因为从IE9开始已经完全符合W3C标准），但仍支持IE9和之前的UA兼容设置 微软更新说明
概括的说IE7只是对IE6的小小增强IE8完全支持CSS2.1和选择器，DOM操作更符合W3C标准，但DOM支持仍不完整IE9 完全支持DOM L1，DOM L2，Jscript更符合标准，ECMAScript5支持，HTML5，CSS3支持，SVG支持&&
Intel众核架构芯片首秀 单颗破万亿次计算
除了介绍Xeon E5系列，Intel今天还首次展示了基于众核心(MIC)架构的新型协处理器&Knights Corner&，根据DGEMM测试其双精度浮点性能已经超过一万亿次每秒(1TFlops)，这也是历史上第一次做到这一点的处理器芯片。
相比之下，目前最强大的专用并行加速器是NVIDIA Tesla M2090，双精度浮点峰值性能665GFlops(6650亿次每秒)，大大低于Intel KNC。
(点击查看分辨率超高清大图)回首1997年，Intel曾经利用9298颗Pentium II Xeon处理器打造了第一台计算性能突破TFlops大关的超级计算机&ASCI Red&，整套系统占据72个机柜，而KNC只需要一个PCI-E扩展插槽就可以了。
KNC协处理器将是第一款投入商用的MIC架构产品，计划采用22nm Tri-Gate工艺制造，核心数量超过50个，频率1.0-1.2GHz。通过搭配同步推出的Xeon E5系列，KNC既可以利用专为高度并行负载设计的新架构提供超高性能，又可以兼容现有的x86编程模型和工具。按照Intel的设想，Xeon E5系列是高性能计算的基础，MIC架构芯片则专门执行高度并行的计算密集型任务，二者相辅相成。
德克萨斯高级计算中心已经联合戴尔，率先部署了一套拥有八个Xeon节点、八个MIC节点的试验集群，十月份投入运行，主要用于生物化学、天体物理学、计算流体动力学等方面的研究，嗨计划在2013年一月建成类似结构的新系统&Stampede&，性能超过10PFlops。桑迪亚国家实验室也在十月份建成了一套42个Xeon节点、84个MIC节点的试验系统，评估高度并行编程模型，可在数天内完成计算流体动力学任务。
此外，Intel曾在汉堡举办的2011国际超级计算会议上宣布要在2018年实现百亿亿级(Exascale)性能、且功耗仅比现有顶级高性能计算系统增加一倍的目标。今天，Rajeeb Hazra就公布了几项新计划以帮助实现这一目标。Intel和巴塞罗那超级计算中心(BSC)签订了一份长期协议，旨在与该中心合作，在巴塞罗那建立百亿亿级实验室。这将是继法国巴黎、德国尤利西(Juelich)和比利时鲁汶(Lueven)的实验室之后，Intel在欧洲成立的第四个百亿亿级研发实验室，而它将专注于编程中的可扩展性问题以及百亿亿级高性能计算系统的运行时系统。此外，英国科学和技术设施委员会(STFC)也与Intel签署了一份备忘录，旨在共同开发和测试未来高性能计算机所需的技术。
站长在关注