RAG

世界上95%的信息都是私有信息, 无法用于模型训练, 但我们可以在使用模型时把这些信息喂给它.
RAG 主要解决2个问题, 一是无法获取最新的信息. 二是幻想.
RAG 在prompt 给 LLM 之前会先访问指定的信息源查找, 之后再把检索的信息一起喂给 LLM.
它由2部分组成 retriever 和 knowledge base.

什么是代数数据类型

(缩写：ADT）是一种复合类型，指由其他资料类型组合而成的类型，在电脑编程中，尤其是函数式编程和类型论中应用。 两类常见的代数类型是积类型（即元组和记录）与和类型（即标签联合)

VPC

1. 域: 是一个通用的 DNS 概念。域名是数字寻址 Internet 资源的易于识别的名称。例如，amazon.com 是一个域
   

2. 托管区域: 是 Amazon Route 53 的一个概念。托管区域中的所有资源记录集都必须以托管区域的域名作为后缀。例如，amazon.com 托管区域可能包含名为 www.amazon.com 和 www.aws.amazon.com 的记录，但不包含名为 www.amazon.ca 的记录
   

3. 共享服务VPC（Shared Services VPC）是一种网络架构模式，通常采用中心辐射型（Hub-and-Spoke）设计。
   

4. 中心VPC (Hub): 部署通用服务，如目录服务 (Active Directory)、安全监控、日志、DNS、补丁管理等。
   

5. 应用VPC (Spoke): 运行具体业务应用。
   

6. 连接: 应用VPC通过VPC Peering、AWS Transit Gateway或PrivateLink等方式连接到中心VPC，以访问共享服务。
   

什么是 lambda 演算

\(\lambda\) 演算（Lambda Calculus）是一种形式体系，它仅通过函数定义（抽象化）与函数应用这两种极为简单的操作来表达计算。它虽然简单，却是图灵完备的，可以模型化任何计算，并构成了函数式编程语言的理论基础。

DONE 1 《go语言定制指南》

还不错的一本书，主要讲了Go的语法解析，语义分析， 它的AST， SST， 以及LLVM，最后利用LLVM和Go做了一个新语言的Demo