240 发简信
IP属地:河南
  • ADT(代数数据类型)

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

  • Lambda 演算

    什么是 lambda 演算 {#什么是-lambda-演算} \(\lambda\) 演算(Lambda Calculus)是一种形式体系,它仅通过函数定义(抽象化)与函数应...

  • 120
    一分钟搞懂RAG

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

  • 120
    Gherkin实现的Flutter E2E测试

    Table of Contents 背景 挑战 方法3.1. 保持简单3.1.1. 保持测试代码简单3.1.2. 保持架构简单3.2. 适度冗余和出错重试3.3. 隔离变化3...

  • 是的,手动操作太多了,文章管理起来有点麻烦

    基于emacs 在线博客系统搭建(1)

    目录 1. emacs 在线博客系统搭建 1.1. org->html 1.2. org->PDF 1.2.1. 修改tex命令使用xelatex...

  • go语言中那样让你吃惊的东西

    本文面向golang的新手,第一次接触golang时可能会吃惊的地方 1. 以大小写开头来决定一个声明是包内可见,还是包外可见 如果一个常量/变量/类型/函数 它的名称是小写...

  • Spring Cloud实现云原生

    Spring Cloud的一整套云原生 业务server 就是用Spring Boot搭建的一个个实际业务的Server。本文假设一个简单的业务场景:总计有2个服务: 用户服...

  • Postgresql 事务总结

    Postgresql 事务总结 五种并发问题 丢失更新: 一个事务覆盖另一个事务已提交的更新数据. dirty read: 一个事务读取到另一个事务还没提交的数据. repe...