2025年度总结

Table of Contents
2025年度总结
关于Ctorch
关于CSP-J
关于lambda演算、UTM（通用图灵机）、Coq
关于汇编
一些感想
资料
结语
Powered by GhostFace's Emacs.

2025年度总结

关于Ctorch
Ctorch 诞生的第166天。
没想到，ct都这么大了，从一个单人项目到现在4人的小团队，从一个模糊的想法到如今近万行的代码，总计5个月13天。

不得不说，这段时间，学到了很多。

从来没有用过git的人，commit了近160次；
从来没有接触过汇编的人，为了极限优化、搞懂编译器行为，学了2个月的汇编；
曾经连类都没写过的人，写了5个几千行的类；
曾经连朴素矩阵乘都不会写的菜鸡，手搓了一个Strassen+分块的并行矩阵乘；
诸如此类，不再列举。

关于CSP-J
本蒟蒻已经很长时间没有更新过日志了，可能的原因是比较忙。

最近几个月，本人一直在忙CSP-J的准备、Ctorch的开发、Coq的学习与lambda演算上。
先在暑假发起了「挑战3个月达省一」的挑战（当然，挑战成功了）；

这一段时间，刷的题比我之前一年刷的都多；

20多天，我学习了：dp、图论、并查集、加权并查集、模拟退火等算法，之前一年也只学了排序；

怎么说呢，之前一直没搞清楚的搜索算法，现在看来也不过如此。

关于lambda演算、UTM（通用图灵机）、Coq
随后，先是因为知道了C++有个叫lambda表达式的东西，随后在洛谷上搜索，意外看到了一篇讲lambda演算的文章；

抱着在学校上课无聊的心态，学习了lambda演算，结果一发不可收拾。

学完之后，我得知lambda演算图灵完备，于是乎，我想起了一个好玩的东西：用无类型lambda演算手搓UTM（通用图灵机），这当然理论可行。

反正我平时能够思考的时间很多，在问过AI后，得知这是一次非常困难但是收获极大的挑战，我便开始了我的构建。

一支笔，一个本，一个脑子，不看论文，不搜索，只思考。
每天上放学的路上，走着需要35min左右，这段时间，我就会不停地思考关于UTM的问题。
这个过程很爽，因为我在构建一个完整的世界，理论上，这台「仅仅依靠代入完成计算」的“计算机”可以完成任何工作，只要你想，甚至可以跑一个仿真的Windows.

写了快几十张纸，我才明白，AI说的那句：「lambda演算可以练习思维」，突然有一天，我看待调用、递归的感觉完全变了，我看函数的感觉也变了。

我们都觉得，是先有了数字，才有了函数;
但是，Church数字告诉我们，数字也是函数。

（这个名为LUTM的UTM仍在设计，不过，由于Ctorch对我的优先级更高，目前暂时停工，等2月16日发布Ctorch RC 1之后再继续）

学习完lambda演算后，我接触到了Coq。
Coq证明「加法左零律」的思路让我感觉无比震惊，这完全颠覆了我对数学归纳法的认知。

而且，Coq中对自然数的定义和lambda演算的列表出奇的一致。
怎么说呢，可能这就是「万变不离其宗」吧.
但是仍然是为了Ctorch的开发，我暂停了Coq的学习。

关于汇编
在这之后，我学习了Arm64汇编。
仅仅是写出一个Hello World，我就花了2天（当然，我在学校每天只有10min能用电脑，20min可以和AI对话）.
但仅此一次，我就明白了，C++中递归、调用是如何做的，本质其实就是将x29,x30寄存器的值修改；
我也明白了，什么是「栈溢出」，什么是「调用栈」。
几行的C++换成汇编就可能需要数十行，这让我写代码时会思考着汇编的样子。
不得不说，这确实是一次很好的历练。

一些感想
回首这几个月我所经历的，可能比我之前一年学的都要多，都要杂；

这些知识无疑带给了我很强的塑造作用：
设计LUTM，锻炼了我进行2小时以上的深度思考的能力；
学习汇编，让我对底层有了掌控；
学习lambda演算，让我对函数有了更彻底的认识；
可以说，对一个初中生而言，这条路径独一无二。
我结识了一群志同道合的朋友，有了自己的团队、组织；
曾经那个被嘲笑“写这些有什么用”、“连个奖都拿不到”的人，如今竟成为一个开源项目的开发者、CSP-J的省一。
毫无疑问，这是无比有价值的半年；

资料
下面放一点资料

1.设计LUTM时与Deepseek的对话：https://chat.deepseek.com/share/wednovjlp5sa013j4q
2.文章：《恭喜自己，挑战成功》————CSP-J省一获奖感言：https://www.cnblogs.com/SilverGo/p/19223328
3.文章：《逆袭导论·初中生的宝书》：https://www.cnblogs.com/SilverGo/p/19284999
4.文章：《矩阵乘法优化》：https://www.cnblogs.com/SilverGo/p/19019364
5.Ctorch的github：https://github.com/ShengFlow/CTorch/tree/feature-nn.Module?tab=contributing-ov-file
6.以下是图片：

结语
“Put yourself in places that are gonna cause you to stretch
让自己置身于能促使自己突破的境地

A fighter isn't someone that never fails
真正的勇士并非永不失败

A fighter is someone who never quits
而是永不言弃

You are more to me than you could never now
你对我而言远比自己想象的更重要

And I know I've got a full room of fighters in here right
此刻我深知这满座皆是勇者”

“I see ,I like ,I go ,I get.
目之所及，心之所向，踏上征程，志在必得！”

“为天地立心，

为生民立命，

为往圣继绝学，

为万世开太平”————宋·张载《横渠四句》

“身处低谷不自弃，我命由我不由天。

无人扶我青云志，我自踏雪至山巅。

若是命中无此运，亦可孤身登昆仑。

红尘赠我三尺剑，酒换瘦马一世街。

世人朝路乃绝涧，独见众生止步前。

海到尽头天作岸，山登绝顶我为峰。

如若东山能再起，大鹏展翅九万里。

一入红尘梦易真，一朝悟透心境名。

一朝悟道见真我，昔日枷锁皆云烟。

天门将至百运开，拂尘轻笑问仙来。

何须扶我青云志，我自凌云至山巅！”————徐霞客《青云志》

2025，对我而言，注定是难忘的一年.
诸位，新年快乐！

预告：我们预计在2026.2.16（除夕）发布Ctorch RC v1.0，敬请期待，欢迎联系：QQ 1113109729，参与内测，感激不尽！

GhostFace
2025.12.31

__EOF__

本文作者： Ghostface
本文链接： https://www.cnblogs.com/SilverGo/p/19428614
关于博主： 一名有点水平的初中生
版权声明： 除特殊说明外，转载请注明出处～[知识共享署名-相同方式共享 4.0 国际许可协议]
声援博主： 如果您觉得文章对您有帮助，可以点击文章右下角【推荐】一下。