分类: 码织间

计算机和设计板块,描述对于系统的理解和设计

21 篇文章

2026年3月1日信件
全文共5959字,创作耗时约4h30min,创作日期2026年3月1日。 你好啊,由于我近些日子被一个接着一个、仿佛海浪般的事件推行着,上次说要写的信件一直推迟,十分地抱歉。现在在临近开学的时间终于能够凑齐写信的时间和动力,为此我想要好好整理一下语言,来描述一下我寒假以来的经历和我从它们里面发现的东西。 我不想要在我的文字里面有形或者无形地体现pe…
冬天的人生
冬天是一个不错的季节。首先冬天气温寒冷,考虑肉体的感受而言,出门的意愿显著降低,这是一件喜忧参半的事情,因为出门这件事情有一个特点就是你在走路的时候是相当专注的,眼耳手足等器官协调地调动在一起,至少能够分担一定的注意力。而且这种注意力的分散不会造成内疚感,因为我习惯于把通勤的时间列入应该的成本(就像那句话“磨刀不误砍柴工”,这里的出门就是那个“磨刀…
写在期中考后
轰轰烈烈的期中考试 我对考试简直又爱又恨。爱的是它为我荒诞的生活提供了一个清晰明确的目标,让我保持专注、全力以赴,就像是捕食者追逐猎物(或者说猎物逃避追捕)。恨的是我曾经一度被这种目标夺取意识,那种放弃生活作为一种旅程的快乐而是把它作为达成目的的垫脚石的状态让我由衷地厌恶。现在想想,比起恐惧和痛苦,更深的情感是羞耻。我怎么能把更重要的当下让渡与那种…
两周学习报告
说实话,我原来设定的目标是本周要写两节课程和两篇论文。事实证明,我完全低估了这些任务的工作量。你可以看出来,这些学习报告很多都是用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 …
约翰-济慈的浪漫主义
嗯,我是在阅读《海伯利安》的时候认识到这个人的。维基百科给他的介绍是“浪漫主义诗人”。嗯,这让我想到了学的离散数学上见到的两个人,一个叫阿贝尔,一个叫伽罗瓦。两人都英年早逝,前者死于肺结核,后者死于决斗。我们上这门课的老师说他们也非常有浪漫主义色彩。 不过看起来,他的人生非常糟糕,父亲坠马身亡,母亲死于肺病,一个弟弟死于肺病,另外一个弟弟投资失败。…