博's profile静水流深PhotosBlogListsMore ![]() | Help |
|
|
1/19/2007 谈一病毒soundmix.exe的杀掉今天中了一个叫soundmix.exe的病毒,症状是任务管理器里一堆soundmix.exe进程。并且该可执行文件隐藏在c:\windows\system32里面,锁掉show all hidden files and options选项,让你没法让它显示出来删掉。总的来说挺讨厌的。 本来以为我可爱的mcafee应该能勇敢地站出来保卫我的。结果指名道姓让它杀,居然给我在这个文件上逗留了n久之后过了!最后潇洒地跟我说没事...在teny的帮助下少花了很多时间成功杀掉,下面说说怎么杀。 step I:Delete it 首先需要下载并安装一个软件叫Unlocker,作用是删除锁定的文件,就是用这个删除soundmix.exe。下载地址为:http://www.crsky.com/soft/5890.html(在霏凡上)。 接着在cmd下运行以下命令:"C:\program files\unlocker\unlocker" c:\windows\system32\soundmix.exe。这个就是删除soundmix.exe的步骤了。之后在弹出的对话框里选择删除,然后选择重启删除即可 另外一种方法是百度知道上说的,我没有试成功。写一个注册表文件:显示被隐藏的文件.reg 内容如下: Windows Registry Editor Version 5.00 即是把显示文件的键值改为1。保存后双击导入,效果应该是使隐藏的文件显示,然后进到system32的目录下,右键点击soundmix.exe,选择删除即可。但ms这个病毒把注册表也给锁掉了,因此... 总之删除之后重启,但一般会遇到一个问题,重启后所有.exe文件的关联方式都给改乱了,运行任意一个.exe文件都会弹出选择打开方式的对话框,因此: step II:recovery of file type association 这个teny的帖子上有详细说明,我就引用一下啦,hehe:) Quote 关于可执行文件打开方式被改 11/5/2005 CMU系主任profeesor Wing.的演讲这篇里面在援引para的blog之前,有四点加注:
I.关于SE里safety和liveness的概念:
safefy:nothing bad will happen(the result is always acceptable)
liveness:eventually something good will happen(finally a good result will come out.for example, while(true) loop has not liveness property)
II.Some backgrounds Wing. thought required to achieve future objectives(fou us)
-Mathematics
-Natural science
-Engineering
-Economics
-Psycology & behavior science
-Social skills
III.What is a Trustworthy software
-Reliability
-Security
-Privacy
-Usability
You can rely your life on it!
IV.不敢相信,据她所说,数学里不动点这一数语竟然是从labda这一funtional language里面来的!我还以为这个数语已经在数学中存在了千百年(p.s.:不动点确实是一个优美的性质,记得高中时求Fibonacc数时就用了不动点的方法,当时求出来其中一个解是(sqrt(5)-1)/2,黄金比,也给当时的我很大的震撼)
One more sentence:我喜欢她的打扮。
下面是para的blog:
见到Prof. Wing时的确有些吃惊,这是一位高高的长发披肩的中年女教授,能看出来她年轻时应该是比较漂亮的。很难想象这就是名满天下的CMU的计算机系的主任,不过后来知道,她是MIT的EECS系的博士生(天哪...),chair of the National Academies of Sciences Computer Science and Telecommunications Board,更详细的介绍可以(http://research.microsoft.com/asia/21stcomputing/hk_sp4.htm).
她给我们讲的是她在由微软举行的Computing in the 21st Century上的讲题: Predicatable Software.(这个讨论会是11月1日在杭州举行,刚才的介绍网站就来自这次会议的演讲者介绍,详情见http://research.microsoft.com/asia/21stComputing/hz.htm)。她的英语不像昨天的两个人,非常地道,感觉完全就是一个美国人,加上她夸张的手势和很西方的打扮(不知道大家有没有注意她的靴子和裤子),可以猜想她肯定是从小在美国长大的。她的讲题的中心就是软件的可靠性。她用医疗软件的例子来说明对于软件来讲"Good enough"是不够的,我们要求的是"Predictable",她的解释是: Have correct performance in normal enviroments, and have acceptable performance in abnormal enviroments. 那么如何做到这一点,她的解决方案是: Lightweight Formal Methods. 这里她给出的他们的methods不是我们在软工学到的Z-Notation, 而是一种叫做Model Checking的方法(好像只有后面tenshi等几个大牛级的人物听说过),基本思路就是用数学建立软件的表现模型,然后用白盒测试来验证其正确性。
基本上来说她的演讲还是很偏工程性的,不是说她的方法(因为其实Formal Methods不是怎么偏工程的),而是说她的目的。这个方法的目的基本就是建立可靠的软件。和昨天听的MIT的教授的演讲相比,明显地可以感受到MIT手中握的才是计算机的未来。(昨天和王博谈起来,想到好像是张亚勤说过要了解这个领域最前沿的成果是什么,最优秀的人在做什么,然后惊喜地发现MIT的Prof. Zue正是给出了这两个问题的答案)。而CMU毕竟还是以SE见长的,并不是那么有豪情,至少这两次演讲给我的感觉是这样的。
然后有人起来问到了她为什么选择计算机这个男性主导的领域,她的回答是因为在MIT的一门课,也是MIT的EECS系的四门基础课中唯一的一门CS的课程: The Y Operator(??, 难道不是Structure and Interpretation of Computer Programs吗?这可是在EECS编号为001的课啊!哦,可能是因为她在MIT太早了吧,毕竟她从MIT博士毕业才是1983年的事。BTW,我没有找到很好的关于这门课的资料,谁找到了跟我说一下......). 她还告诉我们,不应该把全部的时间投在现在流行的语言上,而应该了解一些关于Functional Programming的东西,她说CMU就有一门关于Functional Programming的课,讲的是一门CMU自己的,不对外公开的语言。再想想MIT的SICP,应该可以看出来外国大学对这种类型的语言是比较看重的,想来是因为这种语言更能训练思维吧,就像她说的,change the way you think...(我现在能知道关于Funtional Programming的就是它是由一系列函数递归定义的,最后由几个基本的不能继续化归的函数作为基石。这是一个自洽的体系,可以用数学方法处理。其典型代表就是LISP。而我们平常用的语言的基本操作不是基本函数,而是赋值,想来这是可以理解的吧。BTW, 我现在理解为什么大家对wiki被封气愤不已了,因为我也想看到wiki的原文。现在只能看到的是Google的自动翻译版,实际上还是一塌糊涂的......)。
然后我又提出了关于如何申请CMU的问题(我很不理解为什么lowai不理解我提这个问题.....),她的回答是说The depardment of CS of CMU is very selective...We only adimit 177 students this year from over 1000 applications...其实还是比MIT多多了...But we are looking fro very bright students from China, because you received very good training in math...汗...And our requirement is: 1. Good grade...汗...2.Good recommendation...和MIT一样...3.The most important, is your research potential. That means you must have strong ability to do research. So you'd better get involved to project, have creativity and communacation skill, which means skill to speak and write. And as the most popular language in CS field is English, so your English must be good enough....Please work hard and apply for us and have good luck!
That's all. MIT CASIL实验室co-director victor zue.的报告para同学总结的两篇报告既全面又好,我就本着SE的精神,reuse一下啦。只是在开头加上他没有提及的东西,不要bs我啊!
对于victor zue.说的一句话,一定要写在这里,因为我觉得很受启发:
Same infomation,different presentation!
当时听到这句话立即想到wyk在讲matroid的时候一再跟我们提到的一个观念。同样的一个东西,你从不同的角度看它,或者给它一个结构(比如在代数上定义某一个新的具有某种性质的概念和几何上的添辅助线),那你就可能看到在其他角度看不到的更深的东西。我想这是一个非常非常重要的观念,因此放在最前面。
下面是para的blog:
老教授看起来很和蔼,讲话也很平和,但是还是可以感受到一股来自全球最好的的工科学校的最好的实验室的自信(Victor Zue, CSAIL的Co-Director, 副主管,主页在http://groups.csail.mit.edu/sls//people/zue.shtml)。CSAIL是 Computer Science and Artificial Intelligence Laboratory 的缩写(网址: http://www.csail.mit.edu ),由Laboratory for Computer Science & Artificial Intelligence Laboratory 在2003年合并而成。他向我们展示了他们的实验室大楼和他们的研究内容。他们在研究的东西确实极其漂亮,极其吸引人。他们对人机交互的研究令人叹为观止,操作者只需要使用简单的手势和语音命令,就可以做到很多很多的原来只能用鼠标和键盘才能做到的事。而他们做的掌上电脑与周围器件的无缝的无线连接也相当精彩。想到他们这个计划( 名称叫做Oxygen, 链接是http://www.oxygen.lcs.mit.edu/ )的宏伟目标: Bringing abundant computation and communication, as pervasive and free as air, naturally into people's lives. 确实有种“如欲平治天下,当今之世,舍我其谁”的豪情壮志。
我提的问题应该是众望所归的一个问题: 怎样才能申请到MIT的Offer. 回答是: 我们也很难挑选这些申请者(想来也是,从1600人里挑40人,敢来申请的有多少不是牛人的... )。我们主要看的是三项: 1、成绩,但是这是你在申请时已经不能改变的; 2、推荐信,我们要求写推荐信的人是了解你的老师,而且不是写“该同学在该科表现出色,获得95分”之类,这些都是在成绩单上可以看出来的,我们要知道的是你有什么与众不同的表现。3、也是最重要的,Statement of Objective( ??, 不是一般讲的PS, Personal Statement, 不过想来差不多... ). 这一段老教授讲得非常有趣,把能想起来的写一下:
If you say, I was dreaming of going to MIT when I was very young...扔到垃圾桶里! Everyone is dreaming of going to MIT! And if you say, MIT is the best university of the world, it has the 1st ranking CS department...扔到垃圾桶里,这些我们都知道... But if you say, 我对你们的某个专业或者某个方向感兴趣...um? 可以看一下...如果是说,我对某教授研究的课题比较有兴趣,希望能参与它的研究,it's better! And if you say, I'm interested in ..., but I have a better idea. That's great!
老教授要求我们写PS时重点考虑三个问题:
1、Why do you come here?
2、Who do you want to study with?
3、What do you want to do?
从始至终,他都在强调一句话: Make yourself different. 这才是申请的最关键之处。
最后老教授还回答了两个关于技术的问题,但是仔细听就发现他和一般的技术人员回答的方式完全不同,沐哥站起来问的问题应该就是沐哥一直关心的问题: 怎样模拟人的思维,能不能从硬件上模拟人的思维。不过沐哥的表达...确实比较科幻一些...老教授的回答确实让人不大习惯,不过仔细想想这才是国外的大师级的导师经常做的,像Raj Reddy对李开复做的一样...他的回答是: 你如果要做的话,可以尽量从软件上来考虑,因为我们的硬件是肯定足够用的。这其实是...不支持沐哥的想法。不过我们更应该注意的是他的说话方式: 如果你要做的话......也就是说他不会过细的回答你的技术方面的问题,只是告诉你应该往哪里走,这不正是沈向洋曾经对他的导师的评价吗(是不是也是Raj Reddy啊)。后面一个问题也是,(事实上我没有听明白问题,提问的那个人的英语确实相当流利),Zue教授的回答是: That's a good idea. If you want to do someting more in this area, just join us. 他的思路就是: 你感兴趣,就应该去做。Right?
在之前他还讲了另一件事: 那就是MIT更喜欢招本科生而不是研究生。理由是不希望你养成bad habit, and we want to teach you earlier. 这样......实在不知道怎么办才好,虽然明知申请成功的概率几乎为零,但是......算了,先努力做好眼前的事吧。
最后share一下Zue教授对MIT的学生的期望: You must have a strong will to change the world.
That's all. 10/26/2005 与Google工程师面对面今天的报告是软件学院科技周的又一场报告,虽然开复未能亲临现场。但Google工程师的报告同样精彩。
越走近Google,越觉得开复似乎与这家公司有着某些渊源,说不明道不清的关系。众所周知,开复是第一个提出用统计的方法来做语音识别的人,是这一领域的开创者。而现今Google人似乎想用Statistics的方法做一切东西,比如他们现在做的世界最领先的机器翻译技术,就是凭着他们拥有的海量信息:他们统计了将近200 billion的语汇。也许开复正微笑地看着他所倡导的方法在如此之多的方面都有应用,虽然他答应法官他以后将不从事语音方面的研究
那么什么是支持Google工程师们不断创造的动力?答案很简单,工程师们也是用户,不同之处就是他们掌握了强大的技术。对现有的技术不满?那么改变它,就现在!
G-mail源于对现有电子邮件搜索速度慢的不满;Google desktop源于对现有系统文件搜索速度的不满;Google earth源于对于现有地图只能静态显示,不易使用的不满...
甚至他们对已经领先于世界的搜索引擎技术也从不满足:
-不只是网页
-不只是文本
-不只是在PC上
-突破语言障碍
-收集更多的信息
-不断进步的相关性
-互联网自身的进化
-...
对于自身环境的不满使人产生了创造的冲动,创造是人的本能。你不喜欢自己的环境?那么改变它!没有足够的能力?通过学习使自己变得有能力!
当你用自己的能力改变了身边的一些东西,哪怕是很小,很少,很微不足道的一些东西,也会带给你巨大的成就感,让你觉得:我在这世上存在过,我为这世界带来了一些什么。
Google工程师们向我们展示了一种创造的激情,和一种对未来无限可能性的激动。
开复的一句话将被用来结束本文:make a different! 10/25/2005 仰望开复II今天去听了开复的第二次讲座,题目是畅谈Google的技术研发及企业理念。这是一次激动人心的讲座,绝对超过菁菁堂那一次。
两位牛人,Larry Page&Sergey Brin在1998年创立了Google,两个Standford的在读doctor,Google引擎是基于网站被链接数,即一种Credit(即默认为,越重要的网站,将会被越多的其他网站所引用)来决定网站的Ranking的技术。
Google的来源也是很有意思的,Google本来应该叫Googol,在数学中表示10的100次方,Google使用这个术语体现了公司整合网上海量信息的远大目标。(原来杨振宁的话用在这里也对,发现一个新的研究领域,并与它一起成长...)
开复讲到这里的时候仿佛故意地说:“他们没有读完博士,可是读完了大学本科。”呵呵,是不是在讽刺他的前老板呢?
现在可以谈谈Google的企业理念:
Google的使命很宏伟:Organize the world's infomation。中文的仿佛长一点,也多了一些意思:整合全世界的信息,使人人皆可访问,并从中受益。
整合——不光是检索,更是对整个信息的重整,使之有序化,更清晰
人人皆可访问——体现了平等的思想,但是问题不止于此,这意味着Google需要做到能自由转换世界上各种信息的主要载体——文字的能力。也许将来他们还会做到所有信息载体之间的自由转换呢?
从中受益——这是Google的另一个理念:利众。至少据他所说,Google总是先做出一个用户需要的产品,然后再考虑赚钱。这也是Google与众不同的一个地方,在这世界上绝大公司利益优先的时候,有这样一个公司,虽然并不是不赚钱(事实上,Google的市值已经是Ford的6倍),但是却把利众放在首位,如果这是真的——至少从现有的迹象看,这是真的——那么这是一家了不起的公司。
接下来谈谈Google独特的工作氛围:
Google的目标是建立一个真正的创新实践者的乐园,一个技术人员的天堂。Google觉得现在的网络条件,电脑硬件都不是他们成长的瓶颈,真正的瓶颈是无法及时找到足够多的优秀的计算机科学家为他们工作。因此他们想让最好的人才聚集在一起,产生创造力的激荡,即所谓的头脑风暴。正像微软在中国设有研究院、工程院,而Google只设工程研究院。在这里,没有所谓研究人员,开发人员的区别,每一个人都是一个研究者,可以随时提出新想法,同时也是这些想法的实现者。为此,他们有一个很妙的点子,在Google有一个点子库,任何人有任何好的想法都可以写在上面,也可以看、评论别人的点子。而且如开复所说,如果你觉得一个点子好,你不是用手,而是用“脚”,来投票。也就是说你参与到你喜欢的点子的Project里去。这就是所谓的一切自己动手。
同时Google用一种很奇妙的软件工程方式开发软件,即用Internet模式发展Internet服务,谢绝一切软件工厂。通常是先做出一个prototype,然后放到网上,看用户的回馈,好的话再做下去,适当的时候会才会有通常所谓Project Manager参与进来,一般一个项目的开发周期只有3——6个月。这里有一个很激动人心的口号:拿世界当实验室,今天就改变世界。这种他们称为P2P的工作组确实很能最大限度的发挥每个人的能力,因为每个人都在做着自己感兴趣的事情,而不是上面分配下来的任务。同时组的规模较小,沟通更加方便、快捷、有效,这时候往往能起到以一当百的效果,而且他们有些很不可思议的东西也真的就是几个人开发出来的而已。这正证明了这种模式的有效。
最后,Google有个有名的20%free time,可以拿来做你喜欢做的事,或是接受公司提供的各种新技术的培训。这不是所谓的弹性时间,甚至Google公司还有可能强制这段时间你不能做工作,而做其他的事情。
To be continued... 10/3/2005 仰望开复本来今天想写一点开复的话,和对开复的感想,不过什么笔记资料的都没带过来,只有聊聊心中的开复了。
不知道律师这一职业跟计算机牛人到底有什么关系,当年盖茨老爸老妈就想让他读哥大法律系,自然盖茨是逃到哈佛去了,不过他平时为人处事那架势,更像一个好斗的律师。哥伦比亚法律系还和一个牛人深有渊源,那就是开复。从开复自钱途光明的法律系跳到哥大并不强的计算机系,就可见他对计算机的狂热。记得张亚勤说即是在MSRA像开复那样精力好的人也没有,当时开复一天花在计算机上的时间据他说有十几个小时,这厮真是恐怖!说他是另一个CB也不为过。因此我得为那天开复职业经理人的姿态作一辩解,这是面向全校的一个讲座,他当然不能讲成一个计算机的学术讲座。我们更不能认为开复搞了这么多年的管理真的如他所说是把技术放下了。好像是《追随智慧》里浙大那个跟我本家的人机界面的牛人就说,当时虽然开复的领域不是人机界面,可是跟他寥寥数语就直接点中了这个领域的核心:人机界面的核心就是界面之间的转换。当时好像他佩服得五体投地,这么敏锐的洞察力确实是那人以前在浙大很难碰到的。这下他就死心塌地为开复干活了,士为知己者死。
开复给中国学生的四封信我相信对不知多少像我们这样的大学生以启迪,在这样一个信息爆炸的时代我们最需要的也正是选择的智慧,而且开复本人的形象我想对无数从事计算机这一行业的学生以向往,入果我作为一个计算机人能够像他那样儒雅,潇洒,博学,敏锐,充满智慧,我想很多人,包括我,会觉得满足。
开复是一个人,开复是一个现象,开复是一种精神。
今天就想写这么多吧,我想这不会是我最后一次写开复。 |
|
|