《诗经·郑风·将仲子》
不久之前有一个新闻,就是海昏侯墓考古发现了全本诗经。 中新社南昌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.…
CMU 15445 #01 RELATIONAL MODEL & ALGEBRA
开始的话 我要学的是CMU-15445,数据库系统导论。 正文 DATABASE DEFINITION:organized collection of inter-related data that models some aspect of the real world. Databases are the core componenet of …
约翰-济慈的浪漫主义
嗯,我是在阅读《海伯利安》的时候认识到这个人的。维基百科给他的介绍是“浪漫主义诗人”。嗯,这让我想到了学的离散数学上见到的两个人,一个叫阿贝尔,一个叫伽罗瓦。两人都英年早逝,前者死于肺结核,后者死于决斗。我们上这门课的老师说他们也非常有浪漫主义色彩。 不过看起来,他的人生非常糟糕,父亲坠马身亡,母亲死于肺病,一个弟弟死于肺病,另外一个弟弟投资失败。…