并发累加金额的丢失更新与超扣:一条 SQL 的解法
分次扣款场景下,paid_amount 用「读-改-写」更新会导致丢失更新和超扣。本文分析成因,并给出一条带条件的原子增量 UPDATE 如何在数据库层根治问题,以及为何不必引入版本号。
共 43 篇文章
分次扣款场景下,paid_amount 用「读-改-写」更新会导致丢失更新和超扣。本文分析成因,并给出一条带条件的原子增量 UPDATE 如何在数据库层根治问题,以及为何不必引入版本号。
ai-website-cloner-template 是一个 GitHub 模板仓库,用一条 /clone-website 命令让 AI 编程 agent 通过浏览器自动化把任意网站逆向成干净的 Next.js 代码,而不是抓 HTML 或截图复刻。
revfactory/harness 是一个 Claude Code 元技能(meta-skill),输入一句领域描述,它就为你设计一支专家 agent 团队、生成每个 agent 定义和它们使用的 skill,并写好编排器。本文拆解它如何用一个 skill 生成其他 skill。
Headroom 是一个本地运行的上下文压缩层,在工具输出、日志、RAG 片段、文件和对话历史送达 LLM 之前先压缩它们,宣称减少 60-95% token 且不改变答案。本文拆解它的四种接入形态、按内容类型分发的压缩架构、可逆压缩(CCR)和输出 token 压缩机制。
DESIGN.md 是 Google Labs 开源的格式规范,用一份结构化的 Markdown 文件给 AI 编程 agent 提供持久的设计系统理解。它的核心主张是『散文重于 token』——一个具体的参照比一串形容词更能引导模型生成在品牌调性上一致的 UI。
ZhuLinsen/daily_stock_analysis 是一个 LLM 驱动的自选股分析系统,每个交易日自动抓取多市场行情与新闻、调用大模型分析、把决策仪表盘推送到企业微信/飞书/Telegram,靠 GitHub Actions 实现零成本定时运行。
OpenMontage 是一个 agent-first 的开源视频制作系统,没有代码编排器,由 AI 编程助手充当导演,通过 12 条流水线、约 50 个工具和数百个 skill 指令文件,完成从调研到成片的端到端制作。
Orca 是一个 ADE(Agent 开发环境),用 git worktree 隔离并行运行的多个编码 agent,用一套 RPC 方法面 + 多传输层让桌面、CLI、手机、远程 SSH 都能驱动同一个运行时。本文拆解它的编排引擎和客户端/服务端架构。
AI 编程的瓶颈不再是模型会不会写代码,而是你能不能给它稳定的上下文、规约、工具链和验证环境。本文把 10 条实践拆成可直接复制的 Spec 模板、AGENTS.md 约束、测试 case 清单、Spec 审查清单和浏览器验证流程。
用自动化浏览器抓取需要 SSO 登录的内网文档,通常要重复扫码登录。本文介绍一种零扫码方案:利用 macOS 上 Chrome cookie 加密密钥同机共享的特性,把日常 Chrome 的登录态以文件拷贝的方式平移给一个专供调试的无头 Chrome,不解密、不碰 Keychain API,随 Chrome 升级自动兼容。
深入拆解一个 7.2k star 的 MCP 服务器——如何用 tree-sitter 把代码索引为知识图谱,Linux 内核 28M 行 3 分钟建图,查询延迟 < 1ms。本文从源码结构出发,分析其多 pass pipeline、Hybrid LSP 语义解析和 RAM-first 索引设计。
22k star 的开源编码 Agent——支持 VS Code、JetBrains、CLI 三种形态,500+ 模型无加价,中途切换模型,内置代码审查和自主模式。本文拆解其 monorepo 架构和 5 种专用 Agent 的设计。
232k star 的 Agent 技能框架——不是让 AI 写代码更快,而是让它按工程规范工作:先设计、再计划、TDD 实现、代码审查、分支管理。本文拆解其 14 个核心技能和子 Agent 驱动开发的工作流。
Agent Reach 是一个 AI Agent 能力层,31.7k stars。它不是一个新工具,而是一个选型、安装、体检、路由层——帮你把 Twitter、Reddit、YouTube、小红书、B站等 13+ 个平台的访问能力一键接入 AI Agent。本文解析它的多后端路由架构和零配置设计理念。
addyosmani/agent-skills 是一个面向 AI 编程 Agent 的技能集,61k stars。24 个结构化工作流覆盖从需求定义到生产部署的完整开发生命周期,支持 Claude Code、Cursor、Gemini CLI 等 10+ 个 Agent 平台。本文解析它的设计思路和实际用法。
last30days-skill 是一个 AI Agent 技能,43.3k stars。它并行搜索 Reddit、X、YouTube、TikTok、Hacker News、Polymarket 等 14+ 个平台,用真人投票、点赞、真金白银的下注来评分,而非编辑推荐。本文解析它的多平台桥接架构和评分机制。
深入分析 LMCache 的核心设计,包括分层 KV Cache 卸载、非前缀复用、PD 分离等机制,以及它在 LLM 推理生态中的定位。
从架构设计到工程实现,解析 Apple 机器学习研究团队开源的数组框架 MLX 的技术细节、设计权衡与适用场景。涵盖 lazy evaluation、unified memory、Metal 后端以及与其他框架的对比。
分析 Open Notebook 的架构设计、多 AI 提供商抽象层、与 Google NotebookLM 的差异,以及自建知识笔记工具面临的核心工程取舍。
分析 NVIDIA 开源的 SkillSpector 项目,理解其两阶段安全检测管线设计:静态模式匹配 + LLM 语义分析,覆盖 64 种漏洞模式、16 个安全类别。
GitHub 上 140k Star 的 system-prompts-and-models-of-ai-tools 仓库收录了 Claude Code、Cursor、Devin、Windsurf、Perplexity 等 26 款主流 AI 工具的系统提示词和内部模型信息。本文从工程视角分析这些提示词的结构差异、设计思路和可借鉴之处。
分析 GitHub 上 42.7k star 的 system_prompts_leaks 项目,解读 Claude Fable 5、GPT-5.5、Gemini 3.5 Flash、Grok 等主流 AI 产品的 system prompt 设计思路、架构模式与工程权衡。
从架构设计到工程实现,分析 OpenBMB 开源的 VoxCPM2 语音合成系统如何通过扩散自回归架构绕过离散 Tokenization,在 2B 参数规模下实现 30 语言 TTS、声音设计和可控声音克隆。
academic-research-skills 是一个开源的 Claude Code 学术研究技能套件,31.3k stars。它包含 40+ 个专业 agent,覆盖研究 → 写作 → 审稿 → 修订 → 发表的完整学术流水线,并针对引用幻觉、框架锁定、谄媚等 AI 失败模式做了专门工程。
agentmemory 是一个开源的 AI 编程代理持久化记忆系统,22.8k stars。它基于自研 iii 引擎,通过三流检索融合(BM25 + Vector + Graph)和四层记忆巩固(Working → Episodic → Semantic → Procedural),让 AI 代理记住一切,不用再重复解释。在 LongMemEval-S 基准测试中排名第一。
ai-engineering-from-scratch 是一个开源的 AI 工程课程体系,32.2k stars。503 节课、20 个阶段、约 320 学时,从基础数学到自主多智能体系统,每个算法都从原始数学开始手动实现。本文解析它的课程架构和学习路径。
codegraph 是一个开源的代码知识图谱工具,48.9k stars。它用 tree-sitter + SQLite 预先索引代码结构,通过 MCP 协议为 Claude Code、Cursor、Codex 等 AI 编程代理提供语义代码智能,减少 token 消耗和工具调用。
MarkItDown 是微软 AutoGen 团队开源的 Python 工具,可将 PDF、Office、图片、音频等 15+ 种格式统一转换为 Markdown,专为 LLM 和 AI 管线设计。本文从使用到源码,拆解它的架构与实现原理。
mattpocock/skills 是 TypeScript 大佬 Matt Pocock 开源的 Claude Code 技能集,128k stars。它把 TDD、DDD、Pragmatic Programmer 等经典工程方法论沉淀成 SKILL.md 文件,让 AI 编码助手可以按工程纪律工作,而不是 vibe coding。
CloakBrowser 是一个开源的反检测自动化浏览器,26k stars。它不是配置修补或 JS 注入,而是在 C++ 源码级别修改了指纹的真实 Chromium 二进制,58 个补丁覆盖 Canvas、WebGL、Audio、字体、GPU、WebRTC、TLS 指纹等维度。Playwright/Puppeteer 的直接替代品。
OpenHuman 是一个开源的本地优先个人 AI 智能代理,32k stars。它以 Rust + Tauri 构建,核心是 Memory Tree 记忆系统 + 118+ 服务集成 + TokenJuice 压缩技术,数据全部存储在本地 SQLite,兼容 Obsidian。本文解析它的架构和隐私模型。
MoneyPrinterTurbo 是一个开源的 AI 短视频自动生成工具,87.6k stars。输入一个主题,它会自动完成文案生成、语音合成、素材搜索、字幕生成、视频合成,输出一个完整的短视频。本文解析它的架构和实现原理。
taste-skill 是一个开源的 AI Agent 技能集,43.5k stars。它不是 UI 组件库,而是一组 Markdown 指令,告诉 AI 编码助手如何生成有设计感的前端界面,而不是千篇一律的居中布局。本文解析它的三旋钮系统和反 AI 平庸化理念。
Understand-Anything 是一个开源的代码理解工具,59k stars。它用 Tree-sitter + LLM 的混合方案,把代码、文档转化为可交互的知识图谱,支持浏览、搜索、问答。本文解析它的双引擎架构和多 Agent 流水线。
Astro 开发服务器默认只监听 localhost,导致无法通过 Tailscale 或局域网 IP 访问。本文说明原因和两种解决方法
小米 MiMo 团队开源的终端 AI 编程助手 MiMoCode 介绍,涵盖持久化记忆、智能上下文管理、多智能体等核心特性
从 UML 时序图核心概念到 PlantUML 语法实战,全面掌握时序图的绘制技巧
从零开始搭建你的第一个 Astro 博客项目,介绍安装、项目结构、组件基础、路由系统、布局组件及部署方式
JDK 12 到 17 的核心特性详解:Switch 表达式、文本块、Records、Pattern Matching、Sealed Classes,到 JDK 17 LTS 集大成。配代码示例。这是 JDK 8-21 特性系列的第二篇。
JDK 18 到 21 的核心特性详解:UTF-8 默认编码、Simple Web Server、Virtual Threads、Sequenced Collections,到 JDK 21 LTS 正式落地虚拟线程。含完整版本选择建议。这是 JDK 8-21 特性系列的第三篇。
JDK 8 到 11 的核心特性详解:Lambda、Stream、Optional、新日期时间 API、模块化系统 Jigsaw、var 类型推断、HTTP Client API,配代码示例。这是 JDK 8-21 特性系列的第一篇。
Maven 是 Java 项目管理和构建自动化的核心工具,本文介绍 Maven 的安装配置、项目结构、常用命令、依赖管理等核心知识点
详解 Maven settings.xml 配置文件的各个标签含义、常用配置示例及最佳实践