“我在宾大天天看uncle Ben都烦死……你别面了，你回吧，这两个名字没一个靠谱的。”陈洋走出电梯掏出钥匙打开门，宋书书表情顿时精彩了起来。（宾大校园里本杰明富兰克林的雕像到处都是，大家叫他uncle Ben)
“你真没劲，我最烦你们这种扮猪吃老虎的了。”他拿手指头指点着陈洋，傻子这个时候也知道是被陈洋戏耍了。
陈洋反倒叫住他：“来都来了，面一个再走呗。”
“怎么和来都来了，敲个背再走的套路一样呢！”
话说得很梗气，但是行动却背叛了他的灵魂，宋书书双手毕恭毕敬把面试资料递了上去。
陈洋打开应聘资料一看就火了：“你真叫宋书书？你从小没少挨打吧！”
“没事儿，他们舌头不好使，姓许的才倒霉呢，从来没被人念对过。”
打开简历才发现宋同学年纪不大，能耐不小，居然是2017ACM SIGDA学生奖得主，研究方向是深度学习框架中进行高效的计算图优化……
陈洋皱着眉头思索了半晌：“我对你来应聘验证工程师的目的表示十分怀疑……”
“我反倒觉得我的目的十分单纯，通过深度学习辅助验证工作的方法论和我研究的方向其实有联系。”
陈洋抖抖应聘的个人材料：“我觉得没问题，你觉得形式验证最大的意义在哪里？除了快。”
宋书书单手松了松领带：“你们宾大看不起人吧，就面个形式验证？我觉得验证时钟树插入后网表还能实现逻辑等价的意义最重要，没毛病吧！正好请你给我说说手动设计替代提高DNN计算有前途不？”
陈洋毫不犹豫：“DNN不是你研究的计算图问题吗？我反正觉得可维护性差，你想，手动设计图替代的方法工作量非常大，不断引入新的算子会加剧维护问题……几乎是灾难。”他突然反应了过来，连忙住嘴，宋书书还以颇为期待的眼神等着他继续。
“你有意思没意思，你套我话。你赶紧去给我作仿真去！”陈洋用手指着门示意宋书书赶紧走。
“一个人做一个芯片的仿真，你也真是瞧得起我！还有，技术面试结束，HR呢？我要求谈谈我的薪资待遇问题！”宋书书嘟嘟囔囔站出身往出走，还不忘摆摆手，“过节发福利的时候考虑一下速效救心丸，我迟早得凉到工位上。”
陈洋轰走了宋书书，他打开浏览器，想再去毕达哥拉斯同好会的站点上看看，却怎样也搜索不到，这次他换用了多个搜索引擎，而且在搜索框里面，连个痕迹都没有，就表示根本没有人使用这个词组进行搜索。
“这不对啊！这不应该啊。”陈洋记得当时他师哥登录的时候，里面很多用户，十分热闹，难道登录毕达哥拉斯同好会网站的人，都不使用搜索引擎？
搜索引擎里，唯一有关的内容，是一位深入南美洲的调查记者的事迹。
这名记者追查武器黑市，惨死于当地黑帮火拼，记者临死前曾经提到过数学家毕达哥拉斯……
陈洋看着空空如也的搜索框，陷入了沉思。
