自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(15)
  • 资源 (3)
  • 收藏
  • 关注

原创 function calling简介

函数调用是LLM(大型语言模型)与外部工具或API交互的关键能力,通过微调LLM,使其能够识别何时需要调用函数,并从用户输入中提取参数,输出JSON格式的请求。这种机制使得LLM能够作为对话代理,有效利用外部工具回答问题,或将自然语言转换为API调用或数据库查询。使用示例包括定义一组工具(如获取天气信息的函数),并通过用户输入(如询问伦敦天气)触发LLM生成相应的函数调用请求。

2025-05-20 14:50:34 287

原创 ADT代数数据类型

(缩写:ADT)是一种复合类型,指由其他资料类型组合而成的类型,在电脑编程中,尤其是函数式编程和类型论中应用。两类常见的代数类型是积类型(即元组和记录)与和类型(即标签联合)积类型(&): 值通常包含多个值,即字段。该类型的所有值都有相同的字段类型组合。一个积类型的所有可能值的集合是其字段类型的所有可能值的集合的集合论乘积,即笛卡尔积。比如:和类型(|):值通常被分组为多个类别,即变体。一个变体类型的值通常是用一个叫做构造器的准功能实体创建的。

2025-05-14 10:08:03 261

原创 lambda 演算

lambda 演算(Lambda Calculus)是一种形式体系,它仅通过函数定义(抽象化)与函数应用这两种极为简单的操作来表达计算。它虽然简单,却是图灵完备的,可以模型化任何计算,并构成了函数式编程语言的理论基础。PS: 什么是形式系统?形式系统是一个使用精确定义的符号、规则和公理来研究推理和计算的数学或逻辑框架。形式语言: 一套符号(字母表)和形成合式公式(句子)的规则(语法)。公理: 一组被假定为真的初始公式。推论规则: 从公理或其他已被证明的公式推导出新公式(定理)的规则。

2025-05-14 10:07:14 711

原创 一分钟搞懂RAG

rag 先把每一个文档数据都向量化成一个数值数组, 这样就可以对其进行计算, 当你查询时, 就可以计算出哪个文档和你的问题关系最大(retriever 做的就是这个事情), 然后用问题和这个文档重新组合 prompt 一起发给 LLM.RAG 在prompt 给 LLM 之前会先访问指定的信息源查找, 之后再把检索的信息一起喂给 LLM.世界上95%的信息都是私有信息, 无法用于模型训练, 但我们可以在使用模型时把这些信息喂给它.RAG 主要解决2个问题, 一是无法获取最新的信息. 二是幻想.

2025-05-09 12:12:22 185

原创 e2e test 脆弱性管理

flutter e2e with gherkin

2022-10-21 22:40:42 619

原创 Postgresql 事务小结

Postgresql 事务小结五种并发问题丢失更新: 一个事务覆盖另一个事务已提交的更新数据.dirty read: 一个事务读取到另一个事务还没提交的数据.repeatable read: 一个事务先后读到另一个事务提交之前和之后的数据.phantom read: 事务在操作过程中进行两次查询, 两次结果不一样.serialization anomaly: 成功提...

2019-10-07 16:37:30 241

原创 node依赖安全扫描工具

企业级node安全保障第三方依赖的安全隐患安全现状去年11月, snyk公司发布《2017开源软件安全报告》, 其中扫描了43万个站点, 发现77%的站点包含到至少1个以上已知漏洞.OWASP把”Using Components with Known Vulnerabilities”列为十大安全威胁之一.为什么需要漏洞扫描工具几乎每个项目都会引用许多第三广告的...

2018-09-13 11:20:43 1617

原创 测试

Table of Contents1. 我在测试org2blog1.1. this is a test1 我在测试org2blog1.1 this is a test我想测试一下这个技术栈怎么打通,可以直接用emacs的org2blog写CSDN的blogAuthor: xiafei lvCreated: 20

2016-02-15 13:43:38 354

转载 欢迎使用 Cmd Markdown 编辑阅读器

欢迎使用 Cmd Markdown 编辑阅读器我们理解您需要更便捷更高效的工具记录思想,整理笔记、知识,并将其中承载的价值传播给他人,Cmd Markdown 是我们给出的答案 —— 我们为记录思想和分享知识提供更专业的工具。 您可以使用 Cmd Markdown: 整理知识,学习笔记 发布日记,杂文,所见所想 撰写发布技术文稿(代码支持) 撰写发布学术论文(LaTeX 公式支

2015-08-14 16:13:30 695

原创 总结一下emacs+ycmd+company+flycheck的配置

本来emacs-ycmd的README已经写的很清楚,但有个小问题,一直出不来补全信息.仔细弄了好几天解决了问题,把详细的配置写出来,大家可以参考.首先上图下载[ycmd]安装libclang编译ycmdgit submodule update --init --recursive./build.py --clang-completer --system-libcla

2015-07-15 17:51:05 11458

原创 emacs下yasnippet小结

yasnippet是直接在emacs24的elpa下载安装的。~/.emacs.d/elpa/yasnippet-0.8.0/snippets/下有很多模板。自定义模板是出现许多问题。自定义模板会自动将新建的模板保存在~/.emacs.d/snippets/下,不知道怎么改到上面的那个目录下去,本来想吧上面的~/.emacs.d/elpa/yasnippet-0.8.0/snippets/

2014-09-28 15:58:40 4587

原创 Y470 触摸板在linux 和 mac下实现三指

触摸板Table of Contents1. linux 下1.1. 实现的总的效果:1.1.1. 单指1.1.2. 双指1.1.3. 三指1.2. 实现方法:2. Mac10.9黑苹果 下2.1. 实现的总的效果:2.1.1. 单指2.1.2. 双指2.1.3. 三指2.2. 实现方法1 linux 下

2014-01-10 19:17:59 4044

原创 firefox+goagent+foxproxy

证书问题未解决:1)证书问题都是goagent引起的,所以在foxproxy处禁用代理就可以了,快捷键是Ctrl+Alt+D

2013-07-30 10:36:59 2417

原创 emacs edit.el

emacs一个非常好的插件git clone https://github.com/victorhge/iedit.git( add-to-list 'load-path "~/.emacs.d/iedit/")( require 'iedit)修改一下,customed-option RET  iedit把C-;改成C- ,用法很简单:在一个单词上用C-,,会高亮所有

2013-07-29 19:35:52 677

原创 Debian安装手扎

<!--html {font-family:Times,serif; font-size:12pt}.title {text-align:center}.todo {color:red}.done {color:green}.tag {background-color:#add8e6; font-weight:normal}.timestamp

2013-06-05 14:35:53 975

Spacemacs 官方文档的pdf版本

Spacemacs 官方文档的pdf版本

2015-08-31

spacemacs 官方文档epub格式和pdf格式

spacemacs官方文档转的pdf格式和epub格式,方便自己上下班的路上记一下用法.

2015-08-31

dash 破解文件license

dash 4可用的license文件,直接可以active。jsdkfjlsdjfk

2017-10-03

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除