贾永琪的技术博客

从一条直线到大模型输出一个token(二):分词与token表

从一条直线到大模型输出一个token(二):分词与token表 建议先看:从一条直线到大模型输出一个token(一):从一条直线到高维空间 上一篇,我们把 230B 参数压缩成了一条过原点的直线,又通过加截距、升维、引入矩阵,搭好了数学地基。但留了个尾巴: y = w ⋅ x + b y = w \cdot x + b y=w⋅x+b 这种公式,怎么处理"今天西安的天气怎么样?"这样一句话? 这一

从一条直线到大模型输出一个token(一):从一条直线到高维空间

从一条直线到大模型输出一个token(一):从一条直线到高维空间 本系列共 10 篇,用大量插图 + 少量高等数学,把"一个 230B 参数的大模型是怎么工作的"从头讲到尾。 写作起因:豆包的 Seed-1.6 总参数 230B,单 token 激活 23B。如果把它压缩到只剩 1 个参数,会发生什么?这个看似荒诞的思想实验,就是整个系列的起点。 一、写在前面:没有大模型基础,能看懂吗? 说实话,

【教程】Loop Engineering 落地实战:状态机、Gate 与 Watchdog 全解析

【教程】Loop Engineering 落地实战:状态机、Gate 与 Watchdog 全解析 本文以一套真实运行的"失败任务批量排查系统"(状态机 v3 + watchdog 守护进程)为例,系统拆解 Loop Engineering(循环工程)从概念到工程落地的完整路径:状态机设计、Gate 硬约束与状态门槛的对应关系、Prompt 填空模板、watchdog 调度与执行模型钉住、/goa

Skills详解:AI Agent 的模块化能力扩展系统

Skills详解:AI Agent 的模块化能力扩展系统 介绍 在人工智能快速发展的今天,AI Agent 的应用场景越来越广泛。然而,通用的 AI 模型往往缺乏特定领域的专业知识和操作流程。如何让 AI Agent 具备专业化的能力,成为了一个重要的技术挑战。 Skills 系统正是为了解决这个问题而设计的。它提供了一种标准化的方式,让开发者可以将专业知识、工具集成和操作流程打包成可复用的模块,

MySQL 锁

MySQL提供了多种锁机制,包括共享锁(S)、排它锁(X)、意向锁(IS/IX)、记录锁等。共享锁允许并发读取,兼容其他共享锁但排斥排它锁;排它锁用于写操作,排斥其他所有锁。意向锁是表级锁,用于解决行锁与表锁的兼容性问题。通过实验验证了共享锁之间的兼容性以及共享锁与排它锁的互斥性,并使用performance_schema监控锁状态。锁等待超时时间可通过innodb_lock_wait_timeout参数设置。这些锁机制共同保障了MySQL的并发控制与数据完整性。_mysql 锁 csdn

Spec-kit 入门

本文介绍了如何使用 Spec-kit 工具进行规范驱动开发(SDD)。主要内容包括:1)安装 Spec-kit 及其依赖工具;2)配置 AI 助手 CodeBuddy CLI;3)初始化项目并设置 GitHub token;4)通过 AI 生成单元测试的规范流程。重点展示了如何利用 SDD 方法,先定义清晰的需求规范,再通过 AI 助手逐步实现单元测试的自动生成,确保开发过程的规范性和高质量。文章提供了详细的操作步骤和截图说明,帮助开发者快速上手 Spec-kit 工具。_speck-kit