计算机学院。

陈启明的办公室在四楼，门虚掩着。

江临敲门进去时，这位发际线后撤的系统工程师正盯着两块屏幕。

屋里除了他，还坐着两个学生。

靠窗那个二十出头，长着一张带着几分学生气的圆脸，原本正百无聊赖地转着手里的碳素笔。

听见推门声，他下意识地转过头。

在看清江临模样的一瞬间，他手里的笔啪地一声掉在桌面上，整个人腾地从椅子上弹了起来。

因为起得太猛，转椅向后滑出半米，重重磕在后方的铁皮文件柜上，发出一声闷响。

圆脸男生张大了嘴，喉结剧烈地滚动了一下，硬生生把一声即将脱口而出的卧槽咽回了肚子里。

这张脸，就在过去的半个月里，几乎席卷了全网各大论坛的学术版块，甚至跨界引起了广泛的社会关注。

办公室的角落里，另一个学生则显得沉静多了。

二十六七岁，瘦高个，抱着胳膊靠在机柜边，看到江临进来，淡淡点了下头，算是打过招呼。

倒是陈启明，反应非常迅速，也很是热情。

“来了来了，快坐！”

说着，他把椅子上一摞打印纸搬到地上，又指了指屋内的两个年轻人。

“这是我带的两个学生，乔越，研一，刚进组，跟我做程序综合。

那个是裴砺，老博士了，在自己啃超优化。”

老博士这三个字一出口，江临的心里就犹如明镜一般，读懂了角落里那道不动声色的审视目光究竟来源于何处。

在计算机系统工程的行当里，一个老博士往往意味着无数个熬夜排查内存泄漏的通宵，意味着在汇编指令的汪洋与微架构特性的迷宫中摸爬滚打出了厚重的茧子。

你一个搞密铺搞纯数的，跨界跑到系统组来谈论底层性能优化的活计，这在任何一个实干派的工程师看来，都透着荒谬。

所以裴砺保持着一个资深系统工程师的严谨与警惕。

而他的姿态也已经明确表达了他的潜台词。

江氏砖的数学构造确实华丽无双，但这跟底层硬件优化，根本就是两码事。

理论的锋刃再利，也未必斩得断工程上盘根错节的乱麻。

“你这一趟过来，那是不是rank5、sort5，都看过了？”

陈启明搓着手，问得满脸期待之余，又有些担心江临直接抛出一句那是个毫无意义的外行问题，来终结这次跨界合作的可能。

“看了。”

江临没有多余的客套，找陈启明要来一部专门用来离线测试的那台机器。

“陈老师，我们先说结论。

这条路径在理论和工程上都能走得通。

但具体的走法，可能跟您一开始设想的不太一样。”

他握住鼠标，点开U盘根目录，在一排规整的目录树中，双击打开了第一个文件夹。

verify_sort5_zero_one。

江临转过身，迎着陈启明的目光，问道：“陈老师，我想先确认一个基础问题。

您团队现在跑的这版 sort5 代码，它的正确性是如何被确认的？

你们怎么保证它在任何极端情况下都不会出错？”
本章未完，请翻下一页继续阅读.........