Table of Contents
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，对我而言，注定是难忘的一年.
诸位，新年快乐！
GhostFace
2025.12.31