同叶轻尘缠绵后，路舟吃完午饭便赶往了广南机场。
两个半小时后，飞机抵达京城机场。
上了的士，路舟在车上用笔记本继续完善着微讯的构想，直到六点车辆才行驶进中关村区域。
千度的总部位于上地科技园中，在05年上市纳斯达克后，千度斥资一亿元购得这片土地用以筹建总部。
后来“鸟巢”设计者为千度设计了这座大厦，并在奥运会同年大厦封顶。
路舟前世也曾经多次路过此地，虽然无数次暗中吐槽其浓烈的“鸟巢”风，但自己心中是否感慨艳羡他也难以道明。
即便它后来因各种产品问题招来大众的鄙夷，但不得不承认的是，它仍旧代表着华夏互联网的顶尖力量。
到了大厦周围，他打了电话给程旭元。
不一会，程旭元便下楼而来。
路舟再次见了程旭元，倒是和记忆中没有什么变化，硬要说那就是更年轻和朝气些。
虽然名字爹妈起得完全代表了他到现在的人生经历，但他也不像常人印象中的理工男或者程序员的样子。
他衣着偏黑色朋克风，留了一头半长的头发，扎着马尾，眼看着反倒是显文艺，更像个摇滚明星。
路舟比他要高上小半个头，来之前他还怕京城比较凉快，特意套了一件蓝色卫衣，显得和刚毕业的大学生没什么两样。
风格迥异的二人组合站在千度大厦前，不时引来一些人的目光。
程旭元递了支烟给路舟，一边自个也点上一根。
路舟看了他那半张脸上的胡须，再配上那手指间夹着的香烟，“就还是个浪子形象”，他想到。
程旭元说道，“你小子，倒当真是说来就来。平常两三个月都没联系一次，这回倒好，一个电话就飞过来。”
路舟笑着回答道，“那不是急着招揽程大神吗？能不着急。”
程旭元听了后开起了玩笑，“得了吧，最近忙得快焦头烂额了，为了和你见个面还得请假。哪像你路老板，说走就走，说来就来。”
“哦？这么忙？忙什么业务？”
“多了我也不说了，两个字‘搜狗’，剩下的自己想象吧。”
路舟一听，循着记忆摸索着中间的细节，自搜狐分拆搜狗，搜狗立马就推出了搜索业务。
在正面战场上直接挑战千度，紧接着以搜索引擎技术推出华夏收个“互联网输入法”，再之后又以浏览器作为利刃，试图破开千度的高墙。
而眼下程旭元正在千度工作，那涉及的无非上述中的其中一个。
“输入法？”路舟不太确定地问道。
毕竟千度搜索已经独大，搜狗能威胁到千度的就是输入法和浏览器，尤其输入法在华夏的占比常年居高不下。
程旭元和路舟正并肩往附近的餐厅走，突然听到路舟说的三个字，陡然色变。
千度此时的输入法项目，正在秘密研发中，程旭元只以为路舟会猜测千度要继续打压搜狗的搜索业务。
程旭元哪知道路舟的嗅觉如此灵敏，他赶忙说道，“当我什么都没说。”
而路舟也是摆了一“ok”的手势，“那网盟的事情怎么还找你解决？”
“说来话长，我现在兼了数个岗。虽然不是主事，但每天忙得找不着北。就这家餐厅行吧。”
程旭元指了指前头的烤肉店。
“行。无所谓。”
进了店里，二人先是取了食材，往桌上一放。
路舟一边夹了生牛肉进铁板，一边说道，“怎么样，有没兴趣一起创业？”
“滋滋滋”，生牛肉接触到滚烫的铁板，发出一阵声响后直冒香气。
程旭元则是丢了羊肉进去，“太早了。自身技术还不到家，现在出去意义不大。”
路舟笑了，“那你这不是直接把我也给说上了。论技术，我还不及你。”
程旭元给羊肉翻了面，“别。我就说我自己，你这不正搞得风生水起。”
“问你几个问题。”
“说。”
“分布式经典问题，拜占庭问题是什么时候提出的？”
程旭元一听，楞了一下，没想明白路舟的意图，“leslie port在80年代的论文，至少是比我们出生还早。”
“业界对这个问题的实践尝试呢？”
程旭元听了后，稍微思考了一番，“90年lesile接着提了paxos，虽然不能真正解决问题，但应该是目前非拜占庭系统中最有效的一致性协议手段。
99年的pbft，后来又从指数级算法优化到多项式级别。
阿帕奇的hdfs算一个，真正能用的东西。
前两年satoshi提的pow勉强也算吧，还弄了个比特币运行了起来，虽然谈性能可能是个笑话。”
程旭元夹起羊肉，蘸了酱后送入嘴中，“问这玩意干嘛，算在考我？”