AI 创作声明

本文使用的 Token 切分示意图，基于 Cursor + Claude 4.5 生成的应用程序调用 Gemini API 生成。

本文关于 LLM 上下文窗口图表的绘制借助了 Cursor + Claude 4.5 直接生成的 HTML 页面。
本文系亲自撰写, 文本内容经由 Cursor + Claude 4.5 润色。

Why RAG

RAG(Retrieval-Augmented Generation) 是一种结合 检索（Retrieval）与 生成（Generation）的技术方法，旨在利用外部知识库增强生成模型的表现。它通过在生成答案之前检索相关文档，将知识库中的内容与生成模型结合，生成更加准确和上下文相关的答案。

Github Actions 这个功能距离首次发布到现在也有5年左右了，现在已经是各大开源项目的标配了。

我们在 Scala 项目中也能通过使用 Github Actions 来帮助自动化测试以及更新依赖。

有了各种 Actions 的帮助，可以为我们的项目添加各种酷炫的徽章

今年的运气不错，成功报名参加谷歌开发者大会（下文简称为「大会」），之前尝试报过两次都失败了。

大会日程分为两天主题分为四类：Mobile, Cloud, AI, Web, 第一天的主题是 Mobile 和 Cloud，我只报名了第一天的，不知道可不可以同时申请两天参加。

0. 签到

会场在世博园，离得不是太远，7 点出发到门口的时候离 8 点还差五分钟。

背景介绍

之前介绍过一次如何在不停机的情况下水平拓展并迁移数据中心 ，从而给数据库节点更换更大的数据。

背景

之前使用 cass-operator 在 k8s 上搭建了一个 cassandra 集群用来做存储，随着业务数据的增长，之前申请的 100 G 的 PVC 大小已经是捉襟见肘

The Observer Pattern

这周的课程没有作业，全是视频

Functions and State

首先我们需要回忆函数求值的过程，举一个例子

这一小节都是阅读内容和测验

Motivating Example & Type-Directed Programming

考虑一个排序函数