Verified Software Workshop原本昨天就有了，但是昨天因为学校对硕士有歧视所以没赶上校车最终没去（不过今天才听说假期就没有接送学生的校车，而校车只为接送老师；我们能上车是老师给我们的福利）；今天才去，多少有些后悔。
是MSRA主办的，四年一届，今年找了华师当搭档了。不过这个workshop没有任何门槛，报个名都可以进；所以我这种沽名钓誉的人就屁颠屁颠的跑去了。
请到了1980年图灵奖得主Tony Hoare来，微软真有心！总是在书中看到霍尔逻辑，在网页上看到霍尔的头像，今天终于见到本尊了；这种欣喜之情就和一个虔诚的佛教徒看到观音显圣一样！CS真是门年轻的学科，用到的理论都还这么新，大神一般的人物竟然还有这么多，而且层出不穷。不过听学长说Hoare讲课经常跑题，动不动就说“Let‘s go back to the point”；唉，毕竟人老了嘛。我错过了昨天的演讲，今天只听到他的几句总结。不过在panel discussion蔡老师问如何做research时，他说“Do something different”；我倒觉得似曾相识（我是不是又yy了？）；只是目前还做得太少，没有多少心得。不过有一种传言这些德高望重的人多半是被逼着参加某某活动来撑场面的，谁又能指望他们在这种workshop上有新的idea呢？Hoare现在是微软剑桥研究院的，难道说……？看来我想多了。不过话说回来，即使没有什么实质的帮助，但鉴于这只是一个workshop，并且在场人当中不乏我这种业外人士；有一个重量级的人物在，并且还说了些，对我们总是有鼓舞的作用的。华师出力也不少，软件学院院长何积丰教授是中科院院士；后来才知道他和Hoare有过不少合作成果——这大概才是这次workshop在华师的最重要原因吧。
听讲座时我想起巴别塔这个词；尽管演讲者用的都是英语，但是还是可以凭各个人的口音（包括英国、美国的差异）大体推断出其国籍。而在用到各种术语时，经常存在两种概念几乎表达同种意思的时候，可双方都坚持用自己的说法；也有不少两种概念都用同一个说法表达的情况，谁都以为对方说的是自己的意思。这或许是上帝为了误导我们故意混乱我们的，可谁又能保证如果不存在这么多混乱这个领域可以取得现有的发展呢？语言或表述的不同的确给人与人之间带来了隔阂，那workshop大家都聚在一起是不是正是为了弥补交流的不便导致的误解呢？再想想，各种编程语言的存在是不是也给coder之间的交流带来了麻烦呢？如果没有这些语言的分歧，咱码农的世界又会怎样？估计早就没落了吧！！！flexible、efficient往往不可兼得啊。
另外我现在觉得Verified Software并不是最接近程序本质的东西，至少说从目前的研究结果来看是这样的；尽管检测程序的正确性是软件非常重要的部分，但现实的软件如此复杂以致我们根本没有办法有一套全面的验证方法来解决问题，大部分结果还都只是停留在toy一样的层次上。反之，这样一个原本应当非常形式化的内容，到头来却用到了非常多的工程上的方法。另一个让我稍有不可思议的是，这个领域的researcher们都尽可能回避函数式编程；程序验证这块在最符合图灵模型的命令式语言上还没有搞定，在函数式上的确更大打折扣了。可是，函数式语言是搞程序语言理论不可绕过的啊。
另一个感触，学术界的研讨果然太空洞了！看不见，摸不着；花非花，雾非雾，夜半来，天明去；总有种“幽暗昏惑而无物以相之”之感。这个感觉是否正确目前我还没法断言，但我感觉至少和老秦描述的他参加的几次开发者大会很不同。提问时有人指出在现实公司中没听说过真正使用到程序验证方法的（尽管事实上可以在小范围内有），这种类似砸场子的干活倒也引起了演讲者们的窘迫！到底有没有用，只能留给后人说去了；不过我有种不祥的预感（但由于我现在的立身出世，我希望我的感觉大错特错）。
在这个workshop能坚持一天的最猥琐的一个理由是这里有免费餐券，尤其是晚上的自助餐。貌似我现在已经有些习惯了这种蹭饭蹭住的生活了，终于可以揣度到贪官污吏们的心理了，hooray！不过还是感觉有些对不起微软，给我们提供了这样的优待，我却从来没说过她什么好话过，吃人家嘴软了？不过我承认绝不是IT评论中的那样吃干饭的，微软的研究院的确很牛逼，微软对软件工程功不可没（按道理我没资格评论这些>_<）。
感觉workshop上演讲者主要还是将自己的团队近期的成果（说白一点就是conference上已中的或待中的paper）；如果本人不做演讲，参加workshop之前最好把感兴趣的文章多看几遍然后不懂的地方问演讲者。如果可以预测workshop中自己发言的机会很少，那还是离它远点好；把这当科普讲堂可走错地方了。
好久不扯了，原本想写点笔记类的，可被今天日子的重要性给打断了。今天这日子说普通再不过，可偏偏成了ICSE国内submit的最后一天了。开始不了解，直到琦哥说今天晚上就解放了，才知道他这些天都在忙paper，赵老师这些天都在不停地帮他改，晚上就要交了。不久看到程哥的微博，原来今天对于相关领域的researcher们来说真的大事啊。实验室里大部分人都应该知道这事，应该也不止一个人投了，我却连什么时候投稿都不知道。秦续业居然说我八卦，我的消息灰常闭塞好不好>_<
老实说原本不喜欢工程这个说法，在我本科的世界观里科学才是王道。读研选择大方向时避开了太底层的计算机体系结构又忽略掉偏应用的计算机应用技术而选择了计算机软件理论与应用。可到后来，才发现软件理论的很大一块是和软件工程相关的。比如我的师兄师姐们（好吧，师姐只有一个）投paper时总会考虑是投pl还是se，我自觉这很对得起stap中的t和p了（不过话说回来，我们毕竟不是搞纯理论的，尽管也涉及到理论计算机中的automata，cfg等概念，但并不需要特别本质的数理逻辑）。我以前一直犯了一个错误，在没有清晰的认识之前将科学与技术隔离得太远了——尽管我现在还是没有清晰认识，但我现在至少不会这么快下结论了。
我以前也完全不看好国内的学术界而非常崇尚工业界，现在这个观念淡泊了些。在知乎上看到有人问为什么非科班出身的人搞计算机行业比较厉害；看到这个问题我觉得幼稚了。在我遇到的科班出身的cser中，牛逼的人实在太多；像我这种半路出家的人，过招不过一下立即倒下。有不少人以为学术界的人比较菜，这当然是有原因的。一个原因大概和满瓶不动半瓶摇这个众人皆知的俗语相关吧。我认识好些牛逼的人之所以在网上没有那么高的名声只是因为他们觉得没有时间写博客什么的；他们或许有些看似不够高明的娱乐项目，但在现实中他们的人脉比很多人好，他们的作为比很多人都高。在现实中我了解到一些去cmu、uiuc的人、不少发顶级会议paper有重大研究成果的人，但是在网络中我看不到他们的身影。不过当真正看到他们在网上的动静时，很多情况下会发现他们的口味比工业界的重得多。比如前些天nature质疑叶诗文，就引起了不少scientists的评论。另一个原因我想是因为学术界的人的coding没有工业界人的多吧。因为学术界的人写代码之前需要顾忌code的意义：是否具有开创性，成功把握是否很高等；而在此之前，需要的是了解研究方向的理论基础，需要读大量的文献书籍。工业界中不少技术都是现有的，而程序员的工作大部分也是可以被复制的。让我感受最深的莫过于上算法课关于AKS算法作业了，听说上一级同学做的是实现AKS算法，而我们做的是对算法本身写一篇review。开始我还很惊讶为何学长学姐们完成得很好，而我们却很差。后来想想这其实理所当然：这和推导出$\pi$的公式与用公式求出其数值解不是一样的道理吗？我想还有一个原因是学术界的门槛比较高，想有所作为的话需要在一个特定的领域钻研很久；由此导致了狭隘的知识结构。按照这个说法，那些涉猎极其广泛的人其实很多是万金油罢了。另外，学术界中很多人做的都不是和end user打交道的，一般人难以理解；很多太过超前以致于很长一段时间内都没法被人所知。当然我一直承认不少计算机相关专业的学术界人水平真的很次，有些根本没有coding的观念，没有作为程序员应有的基本素质；这些人在一所高校占的比例足可以反应这所学校的垃圾水平。所以我觉得学术界最容易产生两种极端，而工业界很大程度上是填补中间的空洞的；如果按照保罗•格雷厄姆的说法，我觉得工业界更适合（培养）geek，学术界更适合（孕育）scientist。真正的牛逼公司正是寻找了理论与实践的最佳结合点，来引导行业的发展。
回归正题。这个原本就不存在的暑假快结束了，我这些天也经历了不少；而再过几天我读研就快整一年了。今天突然发现，这一年以来我的作息时间一直处于紊乱状态，偶尔的几天有规律的生活也没坚持下来。前两天陆续看到几篇关于程序员不会安排时间的文章，绰中了我的苦处。早睡早起方能养身，我的确到了需要用google calendar之类工具来计划我的时间安排了。
这几天总有个念头：我真的光明正大地折腾了一年的计算机了。但是这个念头给我带来的并不是那样的惊喜，原因究竟是什么我却不理解了——大概我心里并不甘愿做一辈子的码农吧？不管怎么说，我得好好为我以后做打算。
为自己的下一年定一个计划：
死皮赖脸地写下来，这次必须动真格。
这一个月来，对我一个从没见过多少世面的人来说发生了很多事情，尽管这些事对我摆脱窘境并没有实质上帮助；从这个月开始真正闲下来了，我产生了不少新的感悟，尽管这些胡思乱想我到现在为止都没法确信对我有利与否。
---------------------------------------------------
先是6号到10号当了夏令营志愿者。和那些大三的在一起的几天里，我感觉到他们都还挺单纯，见识都不够；看到大部分人的选择导师的原因不禁想笑。不过我想想我大三结束时的观念似乎还幼稚些。当时还在和家里人争辩是保研还是考研转计算机的事；对计算机的认识还只是“计算”和“机”的组合；还只是天真地认为有数学的基础搞起软件来自然得心应手；还只是固执地认为学好C++，走遍天下都不怕；还曾一度以为OS不难并简单地认为这是我感兴趣的方向；还只是以为理科和工科的思维方式很相似（现在我才知道这两者的区别几乎就是C和C++的区别）；还天真地以为只有软件学院才是正统的计算机专业（当然我后来因祸得福，或许是傻人之福吧）……当然参加夏令营的学弟学妹们不会有我这样的异想天开，但是我怀疑他们很容易走上工科生会有的另一种极端。
当志愿者的几天里我总在想：如果我当时高考志愿选择了他们所在的学校，并且是软件学院或计算机系，现在的我至少可以不这么窘迫。想想高中时候的见识真的是太短浅，居然为了离家近并且误对南京死忠而放弃了更好的机会。但是又自然想到，如果当时我做出了现在看来最优化的选择，是否真会比现在好呢？概率上来说可能性很大，但现实的模型远没有想象中的简单。至少有些人，有些事是不会有了，正如《蝴蝶效应》中的那样；或处在另一个环境中我也许和高中一样对自己极端自暴自弃；或许我可能很早就有了现在的意识、但总摆脱不了三轮车追小轿车的阴影也未可知；或许我在不同的学校里会出类拔萃，在大四新的选择时可能比现在好很多但也可能面临更痛苦的抉择……其实我更怀疑的是这些可能性会交织在一起——毕竟我现在也没法确信我现在处于究竟什么状态，只是自我感觉用屌丝形容最为恰切。
参加夏令营的学弟学妹们大多比我性格外向，大部分人的口才比我好得多，且不得不承认他们比我见多识广些；这可能和理科、工科学生的思想有差异，但是我更倾向于认为这和出身关系更为密切。教育门槛的降低给人们的一种错觉就是人与人之间的差异可以明显地变小；然而事实上变化的部分远远小于一般人所想像的，至少远不是我的父母以及我所想像的。从小我被总被灌输穷人的孩子早当家这样的说法，总以为乡镇里的人比城市里的人更容易有“出息”。然而我现在才知道在统计角度来讲真实情况和我以前的一厢情愿正好相反。事实是，城市里的孩子比其他人出路一般要好；而好的学校里成长于城市的学生明显要比乡镇里来的多——于是这形成了一种隐形的等级，大多数人都心知肚明但只是不说罢了。我以前一直以为这是个别现象，也曾经认为这不公平；现在才意识到自己无知：公平是相对的，很多事需要透过现象看清本质。乡镇出身的孩子的父辈们很多文化水平不高，有些目光短浅；而周围的父辈们都是这样的，他们的孩子所受的教育自然不比城市里的了。我从来没有瞧不起这些父辈们的想法，也不能公正评价城市人和乡镇人的生活方式孰优孰劣。然而当我们要接受更高等的更好的教育时、要接受更好的物质生活时我们需要在城市里并尽力融入其中，那我就不得不承认在这样的价值观驱动下人的立身处世其实是很重要的，尤其是早年所受的教育。比如两个本来就期望过着城市生活的人，来自城市的当然要比来自其他地方的人感觉自然许多了；而如果他们都想过着田园生活，自然来自农村的要习惯得多。但事实上我们大部分会选择前者；在这样的劣势之下，我们只好更加努力，以换取将来的子女辈们好的出身；然而今天很残酷，明天更残酷，后天很美好，大部分死在了明天晚上。即使能坚持下来，很多情况下仍然没有办法去超越从小接受良好教育的孩子；因为他们可以比其他人少考虑很多而更加专注、更少怀疑——尽管这比其他人少了些阅历和思考，但是谁又能说这些经历一定利大于弊呢？没伞的孩子只能快跑，有伞的孩子何尝不能快跑？残酷，但是这是事实；想改变的话，别无他法。
---------------------------------------------------
12号因为实验室的项目去北京，而我则像是刘姥姥进大观园一样怀着膜拜的心到了帝都。我只因为出生和求学而待过江苏和上海；每念及此，都感到失落。我曾经也不自觉地把这和出身联系起来了，但是每次想到锋哥我都觉得我的想法太不靠谱。锋哥出身并不比我好，但高中就去过北京参加北大自主招生了，又因为竞赛到了其他好些地方；本科期间还当了少年班的班长，他们同学聚会他去的地方想必比我多很多；而如今到了全美排名第一的医学部，而我还处在水深火热中，阅历和我自然不可同日而语。其实本科虽然不算好但是还是有很多机会的，只是我没有争取罢了——大部分情况下是对自己没有信心吧。考研面试的前期我的最大的感触就是我的阅历太浅，很多展示自己的机会都错过了；我总以为参与项目或活动如果失败对我会有很大的负面影响，可是却不知道不参与才是真正最大的失败。在北京见到了两个四年不见的同学，他乡遇故知，感慨很多大部分却说不出来。有一点似乎我们都达成了共识：以前太肤浅了。三个人明显没有了高中时的骄傲，究竟是好事还是坏事？总想起小时候吹的牛逼，现在感觉实现起来这么困难。不过我总算有点孔子登泰山而小天下的感觉了；希望虽然渺茫，但是不是我所想像的那么小，是吧。
---------------------------------------------------
在这个月里，我还做了一件看似微不足道但对我意义较大的事：我取消关注了微博上的大部分技术牛人和其他公众人物，而保留下了可以和我交流的人。微博并不是一个很好的交流平台，而新浪的意图是想建立一个等级森严的环境。我毫不怀疑微博给国人的心智思想的发展有很大的帮助，但是我对大部分话题已经不感兴趣了。以前我总以为微博使得个体和他/她心目中的偶像拉近了很多，但事实上想了解并理解一个人仅从微博无异于盲人摸象；偶像的回复有时候并不是真心的。140字从来都没法阐述完整的思想，最多只是断章取义或碰巧心有灵犀；而有些话居然还是粉饰了的；字数限制决定了它是人与人之间的私下交流的工具而不是广播的好方式。然而官方却坚持名人堂的做法，转发和评论的机制始终难以建立对等的交流平台；不得不说这符合中国国情，不过并非对每个人都适合。基于类似但稍有不同的理由，我取消关注了豆瓣上一些人（尽管豆瓣的sns气息要弱很多）。以前我以为只要控制好所关注的人，豆瓣文艺只是传说；然而我现在知道文艺的大环境下谁都不能保证不受渐染。不过取消关注一些人的最根本原因是我要读的书列已经让我觉得或许怎么也没办法读完；而我现在所需要做的是“专”而不是“泛”（比如我现在就不会花那么多心思再去学去用haskell）；豆瓣上的有些书评和影评很多有文艺之嫌，若非自己了解的人的推荐极有可能受表象蒙骗。我加大了博客的订阅数量（当然这终非长久之计，最终所需要的是根据自己的学识优化我的订阅内容）；我还增多了和博主的交流（尽管大部分是请教）。只有长篇才可以完整地看透一个人的技术水平和思想见识，也只有更为正式的文字才需要融入更多的思考。另一方面我开始使用twitter，主要用于记录我平时的一些不成系统的胡思乱想，并肆无忌惮地和人交流（微博和twitter的不同倒有些像指令式和函数式语言的差异了^_^）。
---------------------------------------------------
接下来的日子没课了，可不能闲着。大四时的一个信念是考上研离步入正式工作岗位至少有两年半的死缓；现在看来宏观上讲基本还对。原本以为可以通过纯学术的研究提高自己的水平而实习只作为辅助可有可无，现在看来这其实不够现实——当时只是一个理科生的思维在作怪罢了。科学和工程技术是息息相关的，实践和理论往往需要结合得很好。数学真的算不上科学；计算机科学与技术做多只有1/4的科学成份，软件工程却几乎是技术了。这一年来，给我最大的感触还是实践太少。不过真正让我有找实习的心的还是家境的原因和琦哥的提醒。现在想想我还是很幸运的，如果当时考研不成功的话，或许我就再也没有机会东山再起了；现在虽然窘迫，但是对我来说都还可以承受。上个月中旬投了简历到琦哥的部门，二十八号他的同事电面我了；情况很糟糕，非常囧；而琦哥当时就在同事旁边，后来听他说起我都感觉抬不起头。周围实习过的人很多，同室的老秦是导师推荐去的，王正也找到了，王俊也接有项目并且paper有了着落；而琦哥大一开始就可以自给自足了，现在已经有不少结余，paper也要发了；而我认识的李垚大牛大三结束跑到微软实习去了；而爽爷和我的另一个高中同学到了阿里巴巴了；实验室的其他几个哥们也都有可供补给的私活；似乎只有我成了啃老的闲人。另一方面，我的研究却迟迟进行不下去，真是心如刀绞。
这个月变得对bbs的parttime特别热衷，总是有种不管三七二十一投简历的冲动。然而，招聘启事的内容总让我比较心寒；和专业相关的虽多，但是我懂的却很少。尽管如此，也无可奈何；打肿脸充胖子在所难免，毕竟据《疯狂的程序员》所载IT行业的码农前辈们就是这么过来的。有不少是短期的兼职项目，联系上一个了解情况后才知道不懂C#.NET的我根本没法胜任；还有些当枪手的任务，虽觉无耻但也试过，最终还是放弃了。有过两次创业公司面试的机会，之所以有机会纯粹是因为研一上学期软件工程课接触过android平台，让我情何以堪。
一个情况还不算太差，只是问了些java se的基本知识，android的倒问得不多；面试的人是电院的前辈，很友好。另一个公司是这位学长推荐的，面试我的人事实上是两个人，按照我的猜想应该是一个学弟和一个学长！我首先被学弟揪住我的简历问得昏天黑地，从STL，MFC，java容器到数学建模；后来学长又问了adb、openCV、.NET、jQuery、DB等我完全摸不着边的东西。学长最后的意思是原本误以为我对android熟悉但发现我的火候还不够，Windows下的开发我又不了解；不过他还是给足了我面子，待我很亲切。在明白我不能胜任他们的工作之后，我也自报家底，尽吐苦水。
在被第二家公司面试的前一晚（前天）和另一家公司联络上了，不过还没给面试的机会。和我QQ交流的大哥（应该是男性吧）待人非常诚恳，我感觉很靠谱；不过他们的要求是面试之前先完成一个基于spring MVC的Web应用，而我之前从来没有过这方面的任何经验。大哥很好，没有给我限定期限。但是在我有了第二次面试经历并且想那位学长诉苦之后隐隐感觉我们实验室所做的的确太不适合创业公司了（翔哥除外，他本身就是多面手）；所以对这个考验自然就没多少信心和勇气，中午狠狠地睡了一觉。
下午突然接到一个电话，是英特尔打过来的；原来是我20号那天投过的一个测试与质量保障部门。刚睡醒的我感觉有些突然，于是请求等待半个小时。我感觉这次又要挂了，老秦在旁边给我打气——“没事儿，遇到不懂的偷偷上网查，我也可以用耳语帮你”。好吧，在经历了几次被其他部门默拒之后，我也淡定了；破罐子破摔，该怎样就怎样吧，都是个人造化。是两个人一起面试我的，主要是一位女士；她没有问我很多技术上的问题，只提到了Python的几个小知识点，然后是测试的一些基本概念，我如实的把我所知道的以及老师、师兄们和常姐讲给我听的都给讲了一通。后来朱女士看到我本科是数学专业，居然问我泛函分析、微分几何的东西来了（后来听她说才知道她也是数学系出身）；原本已经快忘光了的我只好使劲在脑海中反复回想。另一位先生开始问了我死锁的条件我只答上了两个，其他还有关于Python中tuple和list的问题我也答错了一些。问的过程中我已经抱着必死的心了，没想到最后朱女士居然说有意招我，并问我有没有什么问题。峰回路转，柳暗花明；真觉得不可思议——大概是我的几个数学问题回答得还不错，再加上我们实验室的确和测试有些渊源，而他们的确很缺人吧。两位面试官对在整个过程中都很和气，朱女士后来还发了一封邮件给我，真的打心眼里感激；其实上次琦哥的那位同事大哥也蛮和气的，只是我实在回答得很窘迫而感觉气场完全被压下去了。
不过他们最后需要实习生所属的导师同意。这件事却成了我这次能否成功实习的关键。陈老师在听我讲述了我的情况之后同意了；但赵老师不赞成这么早的实习，他更希望可以花更多时间用于实验室的研究方向。我能明白老师的苦心，因为我总感觉我的确有毕不了业的风险，而实验室的要求又相对较高，出paper不容易啊。之后老师们和我对此事又商量了好久，最终同意我三个月的实习时间。我把这个情况回复给朱女士，希望她能够在下周一上班时给我肯定的回复。她们可能不会满意这样的结果，谁不希望招收长期的实习生呢？但是不管接下去情况怎样，我找实习的事都会就此搁下了。我不会责怪别人，而只会在接下来的死缓期里强化自己的专业素养；这个时期对于我今后来说至关重要，而如果能有所突破并有新的不可思议的机遇那就更值得了。不过我还是捣鼓了一天多的基于spring那个留言板系统；尽管有周围同学的帮忙，但也不想总麻烦别人；进度非常慢，tomcat、jsp，ioc，mysql等都是从零开始。今后肯定还是需要不少这种没有系统的目标导向型的即时学习，但是对我来说真的还是太勉为其难。晚上我回绝了那位令人尊敬的大哥；他说了些鼓励的话，我感觉我又一次有负于人了。
*************************************
今天英特尔那边有了答复，三个月太短，拒。同时也明白了他们之前接受我大部分是因为我可能有很长的实习时间。没办法，看来我以后要做事要纯粹些了。
*************************************
---------------------------------------------------
身如不系之舟，以前也有过这样的感慨，如今的感觉更深了。总觉得现在的处境很令我无可奈何，有太多的事是我无法决定的；但能有什么办法呢？只能说：没有伞的孩子，快跑。
来北京的第二天完全是用来瞎逛的。
原本只是周五联系了一下恺哥，没想到陈浩正好也到了北京并联系了他。真巧，居然可以在北京见到两个阔别已久的同学。上次见面大概还是在高中毕业的那次寒假聚会；虽然中间依然保持各种联络但是确实从来没有见面过。恺哥还是那么的热心，只是多了些叛逆——印象中比较守规矩的他居然首先提到了功夫网这样的名词并主动给我们科普，大概是帝都的政治氛围的确太浓了吧>_<。陈浩的气场还是说不出的强，看似平实的话中偶尔冒出点非常让人觉得不可思议的词来——不由得想起当时他“狼王”这个绰号的一个由来了。
我原来一直以为北京理工大学和南京理工大学只有地理位置和出身的差异，今天才知道这两者仅仅有中文名称上的相似——正如南京和北京不可同日而语一样。北京的英文名是Beijing Institute of Technology，因此缩写绝对不是BJUST或BUST而是BIT——这难道是因为bust一词的名声不好？BIT是党的亲儿子啊，据恺哥说30年前学校仍然是由军人把守，即使在动乱的八九十年代北京理工的学生仍然照常上课。比较奇怪的是BIT的各个院系居然完全没有各自的院楼，而只是把办公楼以数字编号起来。不过北理工和南理工有一点相似：很多的科系都是和国防有关，不免地就有了很多涉密的东西了。恺哥说他们实验室原来居然是不允许连接外网的，可见有多么的严肃。
聊起高中同学现在的情况，不由感慨万分。“上盐中，稳成功”的赞誉已经离我们很陌生了。当年我曾经自负地认为能和盐中相比的高校中除了南师附中、金陵中学以及为数不多的省外高中已经寥寥无几。我们班虽不是最好的班，但是无疑班上的同学还都聪明；考上交大、南大的大概就已经有八个左右了，东南（含建筑系）的人数也差不多，我这样的南理工本科的已是落了后腿；然而看到一些工作已经定下来的同学的处境，总感觉我们可以做得比现在好很多。恺哥和狼王也有这样的感慨，只是不得不面对现实。江苏这样一个教育、经济大省，却没有足够多的受国家重视的高等学府，她的首府却没有得到应该有的发展。小时候在我们心目中除了清华、北大就是南大了，可是南大的发展总是受挫；同样的是南京，居然没有一个可以容纳人才的好地方。陈浩也只得从南京跑到北京找了个私募基金公司实习。同样是“京”，可是只是有名称上的相似。不过话说回来，可能更是因为我们的长辈们的见识短浅的缘故，耳濡目染地我们小时候过份地看得起自己了，于是我们都成了井底之蛙；一晃本科没了，才意识到自己的渺小与无知。前些天看到的一个北大bbs上的帖子，不由得有同样的感慨。很奇怪，我现在总是感觉我这辈子有作为的可能性已经很小；惟愿给我的子女锻造一个好的成长环境；想从一个屌丝转型，真的不容易啊。
不得不说中关村附近真的是个好地方。看看这里的如此多的高校、如此便利的交通就知道，“中国硅谷”的称号果然不是盖的；“五道口”更足以让无数金融人追求不息。中关村的IT等行业发展只好，这么多总部，这么多高楼，已经让我这样没有见过世面的人忙得说不上话了。从前我总是感觉北京虽好但是政治气息太浓所以不比上海，再加上家离上海较近且上海更国际化，所以更希望在待在魔都。现在我才知道这错得离谱：当更多的优秀的人做出了选择之后，自己一厢情愿给出另一种选择方案在大多数情况下是错误的。我应该时时以当年选择南京理工不是上等决策（在概率上）为教训，如果我固执地只考虑上海作为我今后的发展同样是不够明智的。
不去清华北大当然就不能说到过中关村走过一遭了；沈胖子从去年开始就在这两所大陆最高学府学习了，在中科院力学研究所的东哥估计早已是这里的常客了吧。东哥正好有事，这次只见到了沈胖子；当年的Cauchy这个称号估计也只有我叫了吧，而他也肯定觉得我是不配Abel这样的称号了。唉，当年的yy，现在都付之流水了。不过胖子跟着刘克峰，再凭着始终的热情，有所作为的可能性的确还不小；不过每次我想着他和刘教授在一起都会想到一个地名——合肥，不谈。这次真多亏了胖子带领了，要不光是被两校门口的保安要求出示证件就够我们几个折腾了。有听说清华和北大靠得很近，才发现的确就是挨着的。“北大”其实不是很大（话说这有联系吗？），其校区之小让人难以置信。而且大部分都不是作为教学、研究用地！走进北大才发现这和我见到的其他大学都相差很大——与其说是校园，更不如说是风景区！漫步未名湖边，打死我也不会觉得这是在学校里！走着走着，我得时不时提醒自己是在校园里。不由得爆粗口：我擦，这特么是学校吗？绝大多数建筑物都是宫殿式的，就连大名鼎鼎的图书馆居然也是！清华大学的看起来就比北大大气很多，光是绿化面积足以让人瞠目结舌。尽管没有北大精致，有些地方还有些零乱，但决不失为另一处风景区！“清华门”居然其实不是一个外门，害得我们见到了却迟迟不敢相信，愣是又逛了一圈校园。在逛的过程中，心中突然有种在这里养老真爽的感觉了；看来我yy的瘾又犯了。两所国内的最高学府，给我的感觉和其他见过的都不一样；这更体现在文化的积淀上吧。我想，如果这两所大学如果能更“人和”一点，或许早就跻身世界顶级大学了吧。尽管没有参观到颐和园，但是欣赏了两个校园之后居然一点都没有到颐和园的心了。
在参观完中关村之后，虚荣心强的我查了查上海的微软和英特尔，发现我之前的确是有眼不识泰山，居然看轻了紫竹；虽然不可和北京相比，但是我还是看到了自己虽渺茫但仍存在的希望，有了点动力。
不想把这次经历就这么忘记了，所以记下了上面的胡言乱语。
早上见了我们的甲方，进去签字、留身份证，很不自在。这些在外不穿军装的人啊，其实不知道他们平时是怎么熬过来的。服从命令是天职，可是这样的生活是不适合我的（我对人民子弟兵并无恶意，人各有志^_^）。第一次参加这种商谈项目的场合，而且是这样的双方，两年前打死我也不会相信我会遇到这种情况，世事难料。和军人老师的谈话中，我意识到李聪娜的故事只是为了鼓舞士气而用了夸张手法，这在部队内部是可以这么宣传的，正如当年对现在部队里树立雷锋的榜样一样；可是面向大众尤其是在咱们广大码农说这事，实在有些不合时宜。和我们交流的军人还挺和善，似曾相识；师兄还和他照了照，只是不能传到网上；待的地方标语我似乎都见过，但是搜骨索肠之后确定我最多不过是上辈子来过。谈了一上午，感觉双方对系统架构SA和可信软件的理解悬殊；好不容易才谈了个大概。中午在那里吃了饭，不是想象中的那样。
同来的还有北大计算机系的两个学生，才发现北大的计算机系和软件工程也有令人难以琢磨透的关系。单独设立软件学院或把软件工程单独拿出，实在是中国特色；再有把硕士分为学术和专业型，委实是我国首创。不禁想起了不少高校在建国初期的重组，对比现状那时的决策实乃匪夷所思：比如浙大又重新合并了，哈工大逐渐没落了，大陆这边的交大的中心又由西安向上海迁移了；可是有些很难改变了：比如南大再也不是被疯狂拆分前的国立中央大学了，复旦和上交的互掐已成既有现实。和两个同学说了几句话，原来北大也是一个导师带多个学生，而且是很多，平时见不到“老板”——谁让boss们都很忙呢。以前看过一篇文章说只要有机会就去国外上大学，去过HKUST和U-Tokyo做项目的学长也说外面的气氛适合学习，可是我这样的屌丝是没有多少机会去见识一下了。
从下午开始进入无所事事状态，作为一个没有见过世面的人自然需要瞎逛瞎逛一下；可是师兄和另一个哥们病了，昨晚紧张兮兮的我到宾馆里居然倒头就睡。如果没有可以“报销”的说法我估计立马就回去了，可是“公款”开销实在是对我这种人最大的福利了；从前我对“三公”深恶痛绝，现在我的态度180度转换了——没这玩意儿保证，我就得拧紧裤带灰溜溜地走回魔都了。
晚上去了王府井，老北京的吃的都在这儿了。我由衷地发现我是一个不折不扣的完全不懂饮食文化的人，各种小吃我都没有兴致，而且闻到味道我居然都没法接受。作为一个被北方人歧视为南方人、被南方人歧视为北方人的人来说，我真的可算奇葩。最后到了狗不理包子店，45块钱买了9个小笼包，而且味道之差以至于我在想天津人平时都吃的什么呀居然可以把这样的东西认为美味！王府井旁边有个bejing hotel，估计这辈子也没法住一晚了，不过我也压根没这非分想法——这大概就是人贱久了养成的不良习惯吧。
去了天安门门口，对于我这样一个对照相有心理阴影的人也破天荒地请师兄照了一张。照在门口看前面的毛主席画像，突然有一种“不真实”的感觉，仿佛只是画一样——在电视中看到的景象好像都比这个真实一点。还在迷迷糊糊地判断我是不是又进入梦境的时候，旁边有人说“以前对天安门充满神秘感，到了这里发现也就这样”，好像这话应该是我说的吧？加上是晚上，总对我处的是不是真实世界有些怀疑。
一天半以来，我感觉帝都夏天没魔都热，至少早晚还是蛮凉快的。地铁比魔都的小气些，大概是建的年代久远了吧，地铁里面也感觉有些旧了，可能是因为电视里看西单女孩的印象较深，我总有点感觉地铁站有点像菜市场，车厢也有些短了。不过所有给我产生这种幻觉的真正原因可能是因为北京的地铁和公交刷卡实在太便宜了！北京的公交和南京没有任何地铁之前的拥挤有的一拼了，而晚上坐地铁一号线时我差点被挤出去；可想而知，北京的交通压力有多大吧。
明天找几个哥们去，估计思想会和现在相差很大。