LinChen7164

什么是 lambda 演算 {#什么是-lambda-演算} lambda 演算（Lambda Calculus）是一种形式体系，它仅通过函数定义（抽象化）与函数应用这两种极为简单的操作来表达计算。它

RAG 世界上95%的信息都是私有信息, 无法用于模型训练, 但我们可以在使用模型时把这些信息喂给它. RAG 主要解决2个问题, 一是无法获取最新的信息. 二是幻想. RAG 在prompt 给 L

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

flutter e2e测试目前还有很多不完善的地方, 笔者在一个项目上遇到许多问题, 用一些思路解决脆弱性的问题

1. 以大小写开头来决定一个声明是包内可见，还是包外可见 如果一个常量/变量/类型/函数 它的名称是小写字母开头，则它是一个内部的，只能在同一个包内访问。 反之它是导出到外部的。 2. 函数支持多返回值。 对于那些将运行失败看作是预期结果的函数，它们会返回一个额外的返回值，通常…

就是用Spring Boot搭建的一个个实际业务的Server。本文假设一个简单的业务场景：总计有2个服务： 用户服务（后文简称A）: 连接数据库，存储用户信息。 BFF服务（后文简称B）: 访问用户服务，创建和查询用户报务。 在微服务系统里，各服务互相调用，如何让各个服务能找…

丢失更新: 一个事务覆盖另一个事务已提交的更新数据. dirty read: 一个事务读取到另一个事务还没提交的数据. repeatable read: 一个事务先后读到另一个事务提交之前和之后的数据. phantom read: 事务在操作过程中进行两次查询, 两次结果不一样…