第134章 玄学与逻辑(2 / 2)

他的被褥本身就留了一套,拿出来铺上就能直接睡。

当晚,301宿舍久违的四个人齐聚。

薛超和刘鑫羽看完书后,陆续上床睡觉了。而徐辰则戴着降噪耳机,缩在自己的铺位下,开始疯狂敲代码。

代码,本质上就是写给计算机看的数学语言。

只要逻辑是通的,只要算法是清晰的,所谓的编程,无非就是把脑子里的数学公式,翻译成Python的语法而已。

这比在脑海中构建高维的CNTT变换,要简单得多。

对于一般程式设计师来说,写代码慢,主要是因为要一边写一边思考逻辑,甚至还要不断试错。

但对于徐辰这种数学逻辑能力逆天的人来说,整个程序的架构丶数据流向丶甚至每一个张量的维度变换,都在他脑海中清晰得如同全息投影。

他不需要思考「怎麽写」,他只需要把脑子里的东西「抄」下来。

只要手速跟得上,代码就能一遍过。

……

第二天中午。

方博睡眼惺忪地从床上爬起来,抓了抓像鸡窝一样的头发,准备下床找水喝。

一低头,发现徐辰还在那儿坐着,姿势甚至都没怎麽变过。

「我靠,老徐你修仙呢?昨晚没睡?」方博嘟囔了一句,心中暗暗惊呼,不愧是学神,这身体素质就不是一般人能比的。

徐辰摘下耳机,伸了个大大的懒腰,浑身骨节咔咔作响:「稍微眯了一会儿。刚好,跑通了。」

「啥跑通了?」

方博端着水杯凑了过去,目光扫过徐辰的屏幕。

屏幕上,右边的终端窗口里,损失函数曲线正在以一个极其漂亮的姿势极速下降,而在左边的代码编辑器里,密密麻麻的文件列表铺满了侧边栏。

model.py

logic_embedding.py

geometric_projection.py

train.py

……

方博随意瞥了一眼中间打开的 logic_embedding.py文件。

本以为会看到一堆乱七八糟的拼凑代码,或者直接调用的现成库函数。

结果,入眼的是整整齐齐的类定义,复杂的自定义算子,还有大段大段关于「流形映射」和「体积计算」的英文注释。

代码结构清晰得像是开源社区里的高星项目。

「你……你真的是第一次学Python?」方博瞪大了眼睛,不敢相信地问道。

「是啊。」徐辰一脸理所当然,「我就是按照官方文档要求的语法写的呀。有什麽问题吗?」

方博张了张嘴,最后只憋出来一句:「……没问题。」

他心中一阵感叹。

数学好就是可以为所欲为啊!

他想起了以前看过的那些传奇故事。比如那个写出TeX排版系统的数学大神高德纳,为了写书顺手发明了一门程式语言。

这种人的大脑构造,跟普通人绝对不一样。

「不是……」方博放下水杯,指着屏幕,还是有点不死心,「你昨天不是连环境都还没配好吗?你以前写过PyTorch?」

「没啊,昨天现学的。」徐辰喝了口水,「看了一遍官方文档,逻辑都差不多。反正都是矩阵运算,只不过换个API名字而已。」

方博嘴角抽了抽。

难得有个事徐神能来请教下自己,结果也就是一夜功夫,人家就已经从「入门」直接干到「精通」了。

「行,你牛逼。」

方博默默地转过身,爬回床上。

「我一定是在做梦,我再睡会儿。」