学霸的模拟器系统 第432节

　　脚步在走廊里回荡。

　　走到门口时，他停住了。

　　门并没有锁，虚掩着。

　　里面传出两个奇怪的声音。

　　一个是清脆的、有节奏的“咔嚓、咔嚓”声，像是某种机械装置在高速运转。

　　另一个是低沉的、快速的喃喃自语：

　　“Cache Miss... Branch Prediction Failed... Pipeline Stall...”

　　林允宁推开门。

　　实验室里还没开灯，只有窗外的自然光投在地上。

　　两个人影。

　　左边的男生个子很高，瘦得像根竹竿。

　　他穿着一件领口洗得发白的格子衬衫，头发乱得像是鸟窝，鼻梁上架着一副厚底眼镜。

　　他正对着一台还没拆封的服务器机箱发呆，嘴里念念有词，手指在虚空中飞快地敲击，仿佛那里有一个看不见的键盘。

　　右边的……是一个女生。

　　她盘腿坐在实验台上，穿着一件宽大的卫衣，兜帽戴在头上，只露出一张苍白、精致却没什么表情的脸。

　　她手里拿着一个奇形怪状的物体——

　　那不是普通的魔方，而是一个正十二面体的五魔方（Megaminx）。

　　她的手指修长而灵活，那些复杂的色块在她指尖飞快流转，发出那种清脆的“咔嚓”声。

　　但她的眼神并没有聚焦在魔方上，而是盯着天花板上的通风口，似乎在那里的格栅纹路中看到了某种宇宙真理。

　　听到开门声，两人同时有了反应。

　　……

第300章 费米学者与Office Hour（求订阅求月票）

　　办公室新换的门锁还没来得及上油，拧开时发出了一声尖锐的“吱呀”。

　　声音在空旷的房间里回荡，切断了原本的寂静。

　　听到门轴转动的声音，那个对着服务器机箱的男生猛地缩回手，想要挺直腰。

　　他转过身，手肘不小心撞在桌角上，发出一声闷响，但他顾不上揉，站得笔直，两只手死死贴着裤缝，像是大一军训的学生。

　　坐在实验台上的女生则慢得多。

　　她最后转动了一下手中的五魔方，咔哒一声归位，然后才轻巧地跳下来，把卫衣的兜帽摘掉，发梢齐耳，刚刚盖住下颌线。

　　“林……教授？”

　　男生的喉结上下滚动了一下，声音发干，“我叫赵晓峰，本科是清北姚班的，05级。”

　　“我叫苏畅。”

　　女生也跟着自我介绍，声音很稳，“本科燕大数院，04级。”

　　林允宁没说话。

　　他反手关上门，把那个印着“Fermi Lab”标志的黑色背包扔在那张还裹着塑料防尘膜的办公椅上。

　　背包沉重，砸出一声闷响。

　　接着。

　　他走到墙角的饮水机旁，拿起一个纸杯，按压出水阀。

　　桶装水发出“咕咚”一声气泡翻涌的声音。

　　“停，第一，我不是教授。我和你们一样，学生证上写的都是PhD Student（博士研究生）。在系里见到，叫我名字就行。”

　　他喝了一口水，水有点凉，顺着食道滑下去，让他连日来的疲惫稍微缓和了一些。

　　“第二，我记得我锁了门，你们怎么进来的？”

　　“我们提前半个小时到了，本来在走廊里等着的。”

　　赵晓峰咽了口口水，“后来宋教授路过，查了我们的ID卡，就帮我们刷开了门禁。”

　　林允宁看了一眼窗外。

　　芝加哥的太阳落得早。

　　下午三点多，阳光已经变成了橘黄色，斜斜地打在满是灰尘的地板上。

　　“坐吧，别拘着。”

　　林允宁拉过一把椅子反坐下，下巴搁在椅背上，“既然来了，咱们就聊聊。邮件里你们的答卷我看过了，基础都很不错，本科受到的训练也足够。

　　“但在我这里，光是基础扎实还不过，你们都是博士生，从现在开始没有考卷，只看产出。”

　　他把目光转向赵晓峰。

　　“那段Verilog代码是你写的？在FPGA上实现双调排序网络？”

　　“是……是的。林……林老师。”

　　一提到技术，赵晓峰的结巴稍微好了一些，但眼神还是不敢直视林允宁，只盯着林允宁身后的白板，“我看过赛灵思（Xilinx）的底层文档。Virtex-5系列的LUT（查找表）是6输入的。

　　“如果放弃传统的比较器逻辑，直接把真值表烧进LUT里，可以在单时钟周期内完成3次比较，能将延迟控制在纳秒级别。”

　　“想法很好，但工程上有瑕疵。”

　　林允宁看了看眼前这个比自己还大一级的男生，默认了“老师”这个称呼，没有再次反驳。

　　他从包里掏出一支马克笔，在白板上画了一个简图，“你忽略了布线拥塞（Routing Congestion）。在实际流片或者烧录的时候，这种高扇出的逻辑会导致时序违例（Timing Violation）。

　　“不过，能想到用空间换时间，已经合格了。”

　　赵晓峰的脸红了一下，随即用力点了点头。

　　他从口袋里掏出一个小本子，飞快地记下了“时序违例”几个字。

　　“晓峰，我这里有个活儿，可能有点枯燥。”

　　林允宁指了指桌上那台还没联网的服务器，“费米实验室的Tevatron加速器有一批积压了二十年的旧数据。那是几十个PB的电子垃圾。

　　“我要你写一个ETL管道，把里面的噪声洗掉，转成ROOT格式。

　　“这工作枯燥、重复、是纯粹的体力劳动。就像是垃圾分类，不过，这垃圾堆里也许有金子。干吗？”

　　“干！”

　　赵晓峰几乎没有犹豫，“只要能接触科研，让我干啥都行。

　　“我在姚班的时候，也帮老师修过半年的服务器。”

　　“好，另外……”

　　林允宁顿了顿，观察着赵晓峰的表情，“我自己在外面有个公司，叫以太动力，你可能听说过。

　　“最近我们在搞深度学习的训练框架，不是现在流行的那些浅层神经网络，是基于ResNet，超过一百五十层的深度神经网络。

　　“如果你有兴趣，我可以把你介绍给那边的技术主管克莱尔。

　　“那是纯商业项目，如果你参与，我可以帮你开CPT（课程实践培训）证明，能让你按市价领一份实习工资，但这必须是你自愿的，而且要签保密协议。”

　　赵晓峰的眼睛瞬间亮了，比刚才看到服务器还亮。

　　“ResNet？就是那个在李飞飞教授ImageNet上刷榜的算法？”他的声音因为激动而拔高了一度，“我……我能看到底层源码？”

　　“不仅能看，可能还要你帮着改。”

　　“那我肯定愿意啊！能学到东西，不给钱都行！”

　　林允宁笑了。

　　敢情这家伙是个纯粹的技术痴。

　　搞定了赵晓峰，林允宁转向一直安静听着的苏畅。

　　“苏畅，你的陈-西蒙斯场论推导很漂亮。但我有个问题。”

　　林允宁看着她，“在第17行，你引入了威滕的拓扑不变量。你觉得，这个不变量在物理上对应着什么？”

　　房间里陷入了沉默，只有窗外远处55路公交车经过时传来的沉闷轰鸣声。

　　苏畅思考了几秒，手指无意识地摩挲着魔方的棱角。

　　“是……简并度？”

　　她不太确定地说道，“在环面（Torus）上，基态是简并的。这个不变量，应该是在数这种简并态的个数。”

　　“很好。”

　　林允宁赞许地点点头，“这就是拓扑量子计算的物理基础，你是数学系的，不懂这些很正常，但直觉很准。

　　“你以后想跟我做哪方面的研究？”

　　“林氏纲领！从几何朗兰兹纲领入手。”