240 发简信
林晨chris
IP属地：福建
  • ADT(代数数据类型)

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

    32 0 0
  • Lambda 演算

    什么是 lambda 演算 {#什么是-lambda-演算} \(\lambda\) 演算（Lambda Calculus）是一种形式体系，它仅...

    28 0 0
  • Resize,w 360,h 240
    一分钟搞懂RAG

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

    15 0 0
  • Resize,w 360,h 240
    Gherkin实现的Flutter E2E测试

    Table of Contents 背景 挑战 方法3.1. 保持简单3.1.1. 保持测试代码简单3.1.2. 保持架构简单3.2. 适度冗余...

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

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

    386 0 0
  • Spring Cloud实现云原生

    Spring Cloud的一整套云原生 业务server 就是用Spring Boot搭建的一个个实际业务的Server。本文假设一个简单的业务...

    1797 2 0
  • Postgresql 事务总结

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

    714 0 0
  • Resize,w 360,h 240
    node依赖安全扫描工具

    企业级node安全保障 第三方依赖的安全隐患 安全现状 去年11月, snyk公司发布《2017开源软件安全报告》, 其中扫描了43万个站点, ...

    0.1 1689 0 1
  • Resize,w 360,h 240
    爱乐之城

    --- 博客一部爱情，梦想，音乐剧，欢快的音乐，没想到最终是个悲剧。故事按冬-春-夏-秋-五年后的冬来发展，各个季节与其说是时间的变迁，不如说是...

    457 0 0
暂无个人介绍