“我在宾大天天看un都烦死……你别面了，你回吧，这两个名字没一个靠谱的。”陈洋走出电梯掏出钥匙打开门，宋书书表情顿时精彩了起来。（宾大校园里本杰明富兰克林的雕像到处都是，大家叫他un)

“你真没劲，我最烦你们这种扮猪吃老虎的了。”他拿手指头指点着陈洋，傻子这个时候也知道是被陈洋戏耍了。

陈洋反倒叫住他：“来都来了，面一个再走呗。”

“怎么和来都来了，敲个背再走的套路一样呢！”

话说得很梗气，但是行动却背叛了他的灵魂，宋书书双手毕恭毕敬把面试资料递了上去。

陈洋打开应聘资料一看就火了：“你真叫宋书书？你从小没少挨打吧！”

“没事儿，他们舌头不好使，姓许的才倒霉呢，从来没被人念对过。”

打开简历才发现宋同学年纪不大，能耐不小，居然是2017ACM SIGDA学生奖得主，研究方向是深度学习框架中进行高效的计算图优化……

陈洋皱着眉头思索了半晌：“我对你来应聘验证工程师的目的表示十分怀疑……”

“我反倒觉得我的目的十分单纯，通过深度学习辅助验证工作的方法论和我研究的方向其实有联系。”

陈洋抖抖应聘的个人材料：“我觉得没问题，你觉得形式验证最大的意义在哪里？除了快。”

宋书书单手松了松领带：“你们宾大看不起人吧，就面个形式验证？我觉得验证时钟树插入后网表还能实现逻辑等价的意义最重要，没毛病吧！正好请你给我说说手动设计替代提高DNN计算有前途不？”

陈洋毫不犹豫：“DNN不是你研究的计算图问题吗？我反正觉得可维护性差，你想，手动设计图替代的方法工作量非常大，不断引入新的算子会加剧维护问题……几乎是灾难。”他突然反应了过来，连忙住嘴，宋书书还以颇为期待的眼神等着他继续。

“你有意思没意思，你套我话。你赶紧去给我作仿真去！”陈洋用手指着门示意宋书书赶紧走。

“一个人做一个芯片的仿真，你也真是瞧得起我！还有，技术面试结束，HR呢？我要求谈谈我的薪资待遇问题！”宋书书嘟嘟囔囔站出身往出走，还不忘摆摆手，“过节发福利的时候考虑一下速效救心丸，我迟早得凉到工位上。”

陈洋想再去毕达哥拉斯同好会的站点上看看，却怎样也搜索不到，而且在搜索引擎里面，连个痕迹都没有，就表示根本没有人使用这个词组进行搜索。

“这不对啊！这不应该啊。”陈洋记得当时他师哥登录的时候，里面很多用户，十分热闹，难道人人都不用搜索引擎？

唯一有关的内容，一位深入南美洲的调查记者追查武器黑市，惨死于当地黑帮火拼，记者临死前曾经提到过数学家毕达哥拉斯……

“下次见了师哥，一定好好问问！”