RAG

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

什么是代数数据类型

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

VPC

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

什么是 lambda 演算

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

DONE 1 《go语言定制指南》

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