2026年3月1日信件
全文共5959字,创作耗时约4h30min,创作日期2026年3月1日。 你好啊,由于我近些日子被一个接着一个、仿佛海浪般的事件推行着,上次说要写的信件一直推迟,十分地抱歉。现在在临近开学的时间终于能够凑齐写信的时间和动力,为此我想要好好整理一下语言,来描述一下我寒假以来的经历和我从它们里面发现的东西。 我不想要在我的文字里面有形或者无形地体现pe…
冬天的人生
冬天是一个不错的季节。首先冬天气温寒冷,考虑肉体的感受而言,出门的意愿显著降低,这是一件喜忧参半的事情,因为出门这件事情有一个特点就是你在走路的时候是相当专注的,眼耳手足等器官协调地调动在一起,至少能够分担一定的注意力。而且这种注意力的分散不会造成内疚感,因为我习惯于把通勤的时间列入应该的成本(就像那句话“磨刀不误砍柴工”,这里的出门就是那个“磨刀…
《诗经·郑风·将仲子》
不久之前有一个新闻,就是海昏侯墓考古发现了全本诗经。 中新社南昌11月8日电 (记者 李韵涵)南昌汉代海昏侯墓考古发掘成果公布十周年暨汉代区域文化学术研讨会8日在南昌举行,会上专家公布了海昏简牍的最新修复进展。其中,海昏侯墓中出土《诗经》相关简牍约1200枚,并首次发现秦汉时期全本《诗经》。  海昏侯墓主是汉武帝之孙刘贺。该墓共出土各类文物一万余件…
光球
怎么说呢,这是我的朋友,就叫它光球吧。这个名字实在是太恰当不过了,因为它长得就像是一个发光的球。 “我宁愿叫球状闪电”光球抗议,自从我们在高中读了《球状闪电》之后它就对原来的名字不满了。 我只能向它解释,发光的球更加符合它在人类眼中的形象;它根本没有球状闪电的一些特征……光球在地上打滚,我无奈地苦笑,明明是和我一起长大的,现在却像一个小孩子那样任性…
写在期中考后
轰轰烈烈的期中考试 我对考试简直又爱又恨。爱的是它为我荒诞的生活提供了一个清晰明确的目标,让我保持专注、全力以赴,就像是捕食者追逐猎物(或者说猎物逃避追捕)。恨的是我曾经一度被这种目标夺取意识,那种放弃生活作为一种旅程的快乐而是把它作为达成目的的垫脚石的状态让我由衷地厌恶。现在想想,比起恐惧和痛苦,更深的情感是羞耻。我怎么能把更重要的当下让渡与那种…
两周学习报告
说实话,我原来设定的目标是本周要写两节课程和两篇论文。事实证明,我完全低估了这些任务的工作量。你可以看出来,这些学习报告很多都是用LLM写的。就像cmu15445的讲师所说的那般,数据库无处不在,那么我们可以合理推测,我们的大脑也是数据库的一种。既然这样,我们完全可以应用在语义算子那篇文章中的结论,用LLMs所蕴含的强大语义能力,将讲师或者论文中对…
CMU 15445 #03 DATASTROAGE File & Pages(part 1)
NOW的侧写 我已经学了(至少看完了)CMU15445的#01#02,了解了数据库所基于的关系模型和一些关于SQL的语法。然而#03这节课真正具体介绍了整门课程的框架。相当于给了我一个地图,我可以看到自己在其中的位置。然后我感觉本堂课介绍了数据在磁盘(disk)的存储逻辑和布局状况,包括FILE,PAGE,TUPLE三个层次。并且提出了一个重要的结…
CMU 15445 #02 modern sql (part 2)
NOW的侧写 本篇的目的是给上篇文章收个尾,记录Lateral Joins和Common Table Expressions的相关知识。 Lateral Joins 我们先来复习一下什么是join. 通过离散数学我们知道笛卡尔积:两个集合 A 和 B 的笛卡尔积,记作 A × B,是所有可能的有序对 (a, b) 的集…
CMU 15445 #02 modern sql (part 1)
Today's Agenda Aggregation+Group by string/Date/Time Operation Output control+Redirection Window Functions Nested Queries Lateral Joins Common Table Expressions 我们的任务是从理论上理解这些…
语义算子(一)
NOW的侧写 我把CMU 15445#01看了一遍,我知道DBMS要把声明式语言(比如SQL)转换为具体的查询方案(通常使用关系代数来表示),但是我对LLM就没有那么熟悉。我不知道LLM可以在这个过程中扮演怎样的角色。以及LOTUS是如何实现这一点的,还有语义算子究竟发挥怎样的作用。怀着这样的疑问,我开始了阅读。 语义算子:https://sky.…