我表达欲也许实际上非常旺盛，因为我一旦写起文章就停不下来，动辄几千字，可比高中写无聊的八股有意思的多，而且不需要用笔写，用键盘就行。

我的表达欲又似乎完全没有了，因为实际上我就算写得再多，事实上几乎不会有人去看我的文章，似乎我能知道的经常看我文章的只有半只手能数得过来，还是我手动推送过去的几个相处几年的知己。有时候就算我分享出去也不会有人搭理，可能我推送文章也跟个广告机器人一样。我也有连着精确的五个月没发过 QQ 动态了，上次是 3 月 31 日。于是，基本上只有需要整理自己思路的时候，可能才会写文章了。写的也大多是技术总结，至少还有几个人会看。如果写点只和我个人相关的见解或是情绪，那估计更没人会看了。

事实上，我一写文，就停不下来，往往十一点开始写，写到凌晨三四点钟。AI 当然可以一下子生成。我只需要跟 AI 说，我在想什么，它就能噼里啪啦输出一大段文字。但最终发现即便是句句有回应的 AI ，就算我反复审稿，反复让它调整语句，也从来没有真正理解过我。AI 的文字往往词不达意，每句话每个字我都不认识。我就只让它写点纯粹的技术记录笔记了。语音输入我也不喜欢，我讨厌一个人呆着的时候发出嗓音，而且我键盘打字并没有比语音慢多少，语音还没法修改。

比起花很长的时间手写一篇没人看的文章，还不如干点别的更有意义的事情。

不过这篇文章也许会有人看，所以就写了，梳理一下八月做过的一些事情，以及九月准备做点什么。

八月

神秘学

古希腊时代，没有钟表，据说当时的人产生了两种时间的概念，进而传说两位神明，一位叫 Chronos，是手持镰刀的老人。他代表着连续的，无情的时间，这种时间随着日月交替均匀变化，另一位叫 Kairos ，是宙斯最小的儿子，并不代表线性的时间。或许可以叫契机，或是决定性的时刻。Chronos 往往被描绘成吞噬自己孩子的神灵，将一切事物推向衰老与消逝。 Kairos 被塑造成一位头顶留着长发、后脑勺却是光头的年轻神祇。这意味着当他迎面走来时，你必须迅速抓住他的头发。一旦错过，他飞身离去，光溜溜的后脑勺将让你无处可抓，代表着 “Now is the time”。

我也不知道为什么要提这两个神，可能只是因为我最近一段时间突然对西方神话体系，以及神秘学体系开始感兴趣了，比如炼金术之类的。但并不是因为我相信或者想实践古老的魔法，这些都是过去的人们受时代限制的，一种形而上学的，对世界的感性而非理性的认识。我对这些东西感兴趣，是想联系着时代背景去考究它。因为神话不是凭空出现的，它也是人创造的，反映了人的意识，通常反映了那个时代最关心的问题。比如希腊神话的海神之所以那么重要，是因为希腊民族是海洋的民族，耕地少，到处是岛屿，总是要海上贸易。为什么北欧神话总是那么悲壮？因为他们生活的地区有着漫长的冬天，耕地贫瘠，生存困难，经常战争，于是他们相信世界终将毁灭，传说诸神黄昏，所以他们的神明和人一样，是会死亡的，Odin 被狼杀死，Thor 因蛇毒而亡。研究他们的神话，本质上也是在研究他们的社会。

扯远了，但是为什么我能联想到 Chronos 和 Kairos 呢？或许是因为写到这之前，我刚刚在想，我要记录所谓做过的一些事情，实际上根本没办法记录线性的时间，而只能记住那些决定性的时刻。我可能总会忘记我前天吃了什么，但我会记住，在七月底或八月初，我突然开始对这些神话感兴趣了。因此记录下来，说不定以后有个高中生版本的我会发现我竟然在几年之后对这些东西感兴趣。

休假

之前一直在写代码，现在倒是在团队里基本不写代码了，充当类似顾问的角色。七月份我基本上在忙着整理团队的资料，尽量把团队任务管理给自动化，以及做一下项目的下一阶段启动。虽然现在发现实际上效果没多好，不过至少把我累着了。

团队买了个大几万的服务器，得运维完配好网再回扬州。本来以为八月之前，结果因为台风之类的，拖到八月初才配完，临时找的学校放服务器的房间还没空调，热得要死。八月六号回扬州第一顿吃了个七欣天。

之后给自己放了个十几天的假，因为基本上也没啥忙活要干，天天在摸鱼。回来第三天跟高中同学吃了顿饭。

从杭州只带了个 macbook，基本上没有什么游戏能玩的，于是开了个 Minecraft 服务器跟朋友玩。

高中的时候玩 Minecraft，沉迷于最原版的所谓生电玩法，基本是在以解构游戏的底层逻辑为乐趣，不断加深对世界的认识直到翻游戏源码的程度，再用这些理性的认识用以去实践去改造世界，实现不可思议的创造。后来发现这层哲学竟然与毛泽东《实践论》的“实践、认识、再实践”别无二致，也难怪青睐马哲的我会喜欢这样的玩法。

但是这次玩 Minecraft，我对这样的玩法感到疲惫了。一个游戏终究也是代码写成的，已经把游戏解构到代码层面了，对世界的认识已经很难有进一步的深入了。于是我破天荒的开了模组服务器，事实上这才是现在玩 Minecraft 的人更加大众的玩法。

去上海

客户机器上的软件崩溃，最后查出来是个很搞笑的运维失误，翻了几个月前的命令历史发现是团队成员在半夜神智不清的时候手动编译客户软件，打错个字母还没发现，造成了客户的软件使用了错误的认证信息，触发我们的认证失败机制，才一直隐蔽崩溃。在这个层面上，其实我七月份的努力也并不是没有价值，能让 AI 十分钟就一下查到几个月前的运维的拼写错误，如果没整理的话可能永远都发现不了。

关于客户的软件编译其实还有好笑的点，我们事实上为了软件显得大一点，往里面塞了一集甄嬛传，不同客户的甄嬛传塞的哪一集还不一样，也许方便有盗版流出的时候查到，但更多其实是感觉比较好玩。客户应该不会读我的博客。

总之需要出差去昆山重新安装一下正常的软件。上午到昆山，中午到公司，几小时装完，晚饭前就到了上海。吃了顿很辣的牛蛙，晚上去逛了外滩，赶在末班地铁前回了旅馆，三人挤两张床。

我其实很喜欢各种建筑，不管是中式的古代建筑，还是欧式，或者现代科技才能实现的雄伟奇观。之前去西安，看到的城墙倒没有吸引我，反而是西安万象城的世界之树让我惊叹。我后悔没拍下照片。于是这次我至少拍了外滩。

第二天上午去打卡了雾雨咖啡店，属于是老车万人必打卡的地标了，也算是圆了高中的很小的心愿。雾雨咖啡店和之前几年前视频上看到的布局变化很大。老板看上去给人一种世外高人的感觉。可惜跟我一块的两个人都没听说过东方 Project。老板说如果要打卡的话可以随便拍照，做完咖啡，送了几张明信片，过了一会儿离开了店。出于一种善良的心理，我在脑补他会不会是因为看我好像太社恐不太敢到处乱拍照，于是离开一会儿。或许他其实只是去上个厕所。

说到底，其实杭州离上海真的特别近，我可能早就应该去上海逛逛。

打卡过咖啡店之后，去参加了 Keysight 的一个会议，发现我们竟然做的产品实际上已经超越了他们的某一个方向，还是有点开心，算是增长我的自信。至于其他的硬件东西，我是一点都听不懂。

听不懂，于是我就发呆，想点自己的东西。于是在会上灵光一闪，联想到之前想做的教程平台的产品。如果把各种知识建模成有向无环图（DAG），这样似乎竟然可以推导出最佳的知识学习路线，进而生产教程。为什么会想到呢，也许是因为团队做的软件即将做工作流功能也是 DAG 吧。跟导师分享了一下这个想法，他特别看好。

我在会议座位的草稿纸上画了个牛来。

晚上吃了顿火锅很好吃。吃完之后二人赶车回杭州，我离检票还剩两个多小时，不知道能去哪。干脆直接去了火车站，改签到最近的车票回扬州了。

Derivon

这词是我编的，不存在这个词。但也不是瞎编的。词根拉丁语或者英语词根 Deriv- ，一般人会联想到 Derive 衍生，派生，Derivation 推导。后缀 -on 一般用于物理基本粒子，比如 Electron，Proton，Phonton。

取名 Derivon，因为把“推导”作为最基本的粒子。

事实上，它就是出自于我刚刚说到，在上海想到的把知识建模成图，在知识地图上做导航。

先前想做的教程平台，就算把教学的形式做的再好，事实上并不解决优质教程产出的问题，因此那个想法也迟迟不能吸引我去投入精力动手开发。而且，似乎这条路子已经被很多人走过了，我未必就打得过。如果只是让 AI 帮忙教书，那和 ChatGPT 多加点交互式插件有什么区别呢？比较典型的就是清华的 openMAIC，一句话生成课件，多加几个 Agent ，模仿有其他学生在教室里看视频课做提问，他们还真就靠这样的路子做了个社区了，不愧是清华。

但这次我自以为是真的想清楚了。关于这个产品的真实心路历程，不在此篇多说，可以去上一篇看看前半段数学建模以前的部分： 《学习效率的矛盾分析与学习路线的数学建模》

建模 DAG 自动计算教学路线，至少这次想法足够吸引人，所以我立刻开始着手去实践了。数学论证了一下，又改进了模型设计，从 DAG 变成了加权有向 B 超图，模型最终自洽了。

立刻就开始投入精力去做 demo，拉了个群一起体验，发现效果还真的挺不错，验证了数学模型的成立。一周写了一万多行能用的代码，每天都是醒来就开写，一直到睡前都得开个 /goal ，让模型跑起来了再睡。感兴趣的可以看 https://mindmap.derivon.net/ ，不过需要用 Chromium 浏览器登录。或者去 https://github.com/derivon-research/derivon-mindmap 。

九月

写到这里，3900 字，从 23:37 新建文件夹到现在正好凌晨两点。

一个人记录自己做过的事尚可理解。但记录自己即将要做的事情，是在许愿还是在计划？还是说记录的其实是写下计划的那个时刻？许愿和计划的区别又是什么？

想干掉清华或者什么的项目，想重构出新的教学系统，想把优质教程的生产和消费变成社会化、机械自动化的过程，这是愿望。如何推动 Derivon 项目便是我做的计划。实际上，我确实在 31 号下午把 Demo 验证的差不多了，列好了项目接下来的里程碑。

听起来当然很中二，我自己都觉得中二，但是我觉得中二没啥毛病。都说目标得设置的宏大一点，才有机会实现小一点的目标，这是自我预言。所以好的，我就干脆把做成全球化的平台当成自己的目标，去规划下一步了。想到什么就做什么，什么让自己比较有激情去全身心投入就全力去做什么。所以我觉得不一定每天摸鱼才叫随缘，这也是一种随缘。想放假就放假，想 All in 就 All in，是我可能只有在大学才能更好享受的随缘。

九月份要做的事情，我实际上就是打算逐一实现项目的里程碑。虽然我在自己的飞书组织里写的详细多了，但总不可能复制过来。简而言之，打磨 Demo，做点更吸引人的案例，开始做推广，搭建 Derivon Hub，实现复利。至于达到哪一个阶段，倒是说不准，但我希望做到最后一步，那么说不定就能至少推广起来了。