htmx 4.0：把争议移出核心——小核心、大扩展，与超文本的下一步
htmx 4.0（2026-08-28）全解析：fetch 替代 XHR、错误响应也 swap、显式继承 :inherited、事件名统一为 htmx:phase:action；新增 hx-partial、hx-status、hx-live、HCON 与 htmax 全家桶；以及为什么 AI 写代码越便宜，这种「少写 JS」的库反而越重要。
稀饭
个人博客：技术、产品与 AI 相关的实践与思考。
zvec-ai 全景：从达摩院 Proxima 内核，到一个装进 App 进程的向量数据库
拆开 github.com/zvec-ai 这十个仓库：C++ 内核 alibaba/zvec（15.7k star）六种索引、原生 FTS、WAL，一个 faiss 都没引；五种语言绑定加 Android/iOS 预编译 SDK；Roadmap 上下一步要接 SQLite 与 DuckDB。对做端侧和游戏的人，向量检索第一次变成一个 22 MB 的动态库。
zvec-grep：把 ripgrep、BM25 和向量检索拧成一个入口——人和 Agent 共用同一份索引
阿里 zvec 团队的新项目 zg：一个本地优先的统一检索层，语义发现 + 词法排名（RRF 融合）+ 精确正则走同一个入口，默认 MCP 只给 Agent 一个搜索工具。配对 A/B 评测里输入 token 少 47%、工具调用少 59%，而回答质量没掉——顺便拆解它为什么这么设计，以及那五条少见的诚实评测方法论。
Dafny：让编译器用数学证明你的代码是对的
验证感知的编程语言 Dafny 全解析：边写代码边写规格（requires/ensures/invariant），编译器用 Z3 自动证明正确性；Dafny → Boogie → Z3 三层引擎、可编译到 Java/Go/Python 多目标、与 Coq/Lean 的自动 vs 交互之分，以及 AWS 用它重写每秒 10 亿次授权引擎的工业案例。
Omarchy：DHH 的有主见 Linux 发行版，把「主厨选择」搬上桌面
Rails 之父 DHH 的 Omarchy 全解析：基于 Arch + Hyprland 的 opinionated 发行版、Omakase Computing 哲学、开箱即装的 19 套主题与 AI-native 桌面（OpenCode / Claude Code 预装、OCR 与语音听写内置），以及背后 1260 万美元的 Omacom 基金会。
AI-Native SDLC 实战手册：当软件开发生命周期被 AI 重写
Claude Academy 的 AI-Native SDLC Playbook 全解析：为什么瓶颈不再是写代码、六个阶段各自落到哪个版本化产物、intent.md / spec.md / plan.md / CLAUDE.md / skills / hooks 怎么串成一条可审计的闭环，以及治理即代码与全程度量。
有效的提示技巧：六种基础方法，加一个秘密武器
好提示 = 清晰沟通原则 + AI 特有的技巧。六种基础提示法、一个让 AI 替你改提示的「秘密武器」，以及为什么成功提示永远是迭代出来的。
什么是 SGLang：给 LLM 程序一台「会复用前缀」的高速运行时
SGLang 概念全解析：Structured Generation Language 的前端 DSL 与 RadixAttention 运行时、为什么多轮/Agent/RAG 特别吃树状 KV 缓存、和 vLLM 怎么选、DeepSeek 为何推荐它，以及一行命令拉起 OpenAI 兼容服务。
时空可组合性：DeepSeek 给「一切皆插件」写的形式化地基
深读北大 + DeepSeek《时空可组合性编程范式》：动态组合缺的不是插件机制，而是可证明的插拔。可逆效应让卸载变成结构保证，响应式余效应让依赖跟着运行时醒停，汇合定理保证热插拔停下来长得像从零装好——Cordis / Koishi / DeepSeek Harness 共用的那层地基。
DeepSeek Harness 深入浅出：官方智能体执行层为什么「一切皆插件」
DeepSeek 官方开源的 agent harness（dsh）全解析：Model + Harness = Agent 公式、Cordis 驱动的「一切皆插件」架构、Profile 与 Agent Preset 两层组合系统、先记录意图再执行副作用的 Agent Loop、「模型可见即已记录」的硬规则与压缩不删历史的上下文管理，以及四个预设、两条运行命令和开发者预览的现状。
Mojo：为 AI 时代而生的系统编程语言——是什么、凭什么「既要又要」
Chris Lattner 打造的 AI 时代系统级语言。从 mojolang.org 官网看 Mojo 全貌：统一/高效产出/简单高性能的设计理念，编译期元编程、内存安全与所有权、内置 GPU 编程、Python 互操作四大核心特性，以及 1.0 稳定版与新官网上线意味着什么。
当今世界前十 OCR 横评：开源、云服务与视觉大模型三派之争
Tesseract / PaddleOCR / Surya / EasyOCR / RapidOCR / Google Document AI / AWS Textract / Azure Document Intelligence / 百度云 / 视觉大模型，10 个方案的定位、强弱与选型建议——以及「识别」正在被「理解」取代的趋势。
什么是 RAG：给大模型装一根「外接知识线」
RAG(检索增强生成)概念全解析：大模型的三个死穴、切块/向量化/检索/生成四大步骤、RAG-Fusion/重排序/GraphRAG/Agentic RAG 变体，以及检索比生成更值得优化的那些坑。
Agent Skills：给 Agent 打包技能——Anthropic 推出的开放标准
Agent Skills 全解析：一个技能就是一个含 SKILL.md 的文件夹、三阶段渐进式加载（发现→激活→执行）、name/description 等字段约束与命名规范、以及 Claude Code/ChatGPT/Codex/Cursor 等几十个工具共同采纳的生态图景。
MCP：给 AI 插上 USB-C——模型上下文协议是什么、怎么工作
Anthropic 推出的开源标准 MCP 全解析：Host/Client/Server 三方架构、Tools/Resources/Prompts 三大原语、JSON-RPC 无状态数据层、从发现到执行到通知的完整交互，以及它和 LangGraph / create_agent 在 Agent 生态里的分工。
Deep Agents：LangChain 官方「开箱即用」的 Agent——内置能力全解析
LangChain 三层架构最顶层：create_deep_agent 用法、内置虚拟文件系统（读写/沙箱/声明式权限）、上下文管理（Skills/记忆/自动摘要/缓存）、任务规划与子代理、human-in-the-loop，以及和 create_agent、LangGraph 的取舍。
LangChain create_agent：官方 Agent 框架是什么、为什么值得用
LangChain 官方 overview 全解析：Agent = Model + Harness 公式、十行代码建 Agent（工具就是普通函数）、一个接口换遍 OpenAI/Gemini/Claude/本地模型、中间件增量加能力，以及 Deep Agents / LangChain / LangGraph 三层架构。
LangGraph：把 Agent 画成一张图——低层编排框架是什么、解决什么问题
LangChain 官方低层编排框架全解析：State / Node / Edge 三概念、确定性步骤与 agentic 步骤的混搭、checkpointer 持久化、human-in-the-loop 人工接管，以及它在 LangChain 三层架构（Deep Agents → LangChain → LangGraph）里的位置。
OPC + FDE:一个人做「前沿部署」有没有搞头——冷水与搞头都在哪里
把前两篇合起来问一个问题:一个人用 AI 团队的打法去做 FDE 生意,有没有搞头?用 FDE 书的三级杠杆、按结果收费与职业道德框架,拆出三盆冷水与三条活路——结论:别复刻一家公司,做链条上最值钱的那一环。
One Person Company:一个人怎么开一家公司——是什么、凭什么能成、该怎么做
从「一个人干一份活」到「一个人开一家公司」:TinyAGI、agency-orchestrator、one-person-company 工具大全等爆火项目全梳理,以及老板/产品工程/运营销售/财务法务四角色的实操框架——AI 时代最值钱的岗位是「老板」。
FDE 是什么:人工智能时代最抢手的岗位——是什么、有什么要求、该怎么做
企业 AI 项目 95% 阵亡,岗位需求却一年涨七倍。前沿部署工程师(FDE)是什么、需要什么能力、如何沿着「找对问题→赢得客户→激活部署→守住续约→扩大收入→规模化复制」的完整旅程落地——借范冰《FDE 从零入门指南》全解析。
MoneyPrinterTurbo：给个主题就出短视频的「AI 印钞机」
10.2 万 star 的中文圈爆款：输入主题或关键词，自动生成脚本、匹配素材、配音、加字幕、合成 1080p 高清短视频——把做视频从创作变成流水线。对做多平台内容的你尤其值得一试。
graphify：把整个代码库变成一张知识图谱——不再 grep,直接查询
10.4 万 star、YC S26 出品。用 tree-sitter AST 把代码、文档、PDF 解析成可查询的知识图谱：确定性、本地免费、无向量库，每条连接都标注 EXTRACTED/INFERRED——给 AI 代理一张代码库地图。
UI UX Pro Max：给 AI 注入设计智能——从「一眼 AI」到「像人设计的」
11.4 万 star 的设计技能：84 种 UI 风格、192 套行业配色、74 组字体搭配、161 条行业推理规则，几秒钟为你的需求生成一套完整设计系统——顺便治好「一眼 AI」的紫粉渐变病。
gstack：YC CEO 的虚拟工程团队——一个人怎么像一支团队一样交付
12.7 万 star、作者是 YC 总裁 Garry Tan。23 个角色化工具把 Claude Code 变成 CEO、设计、工程、QA、发布、安全组成的完整团队，配合 10-15 并行 sprint，一个人也能开一家软件公司。
Karpathy 给编码代理的行为准则：一份 65 行 CLAUDE.md 凭什么拿 20 万 star
20 万 star 的极简项目：不堆技能，只用一份 65 行的 CLAUDE.md 把 Karpathy 对 LLM 编码陷阱的观察浓缩成四条准则——先想再做、简单优先、外科手术式改动、目标驱动执行。
mattpocock/skills：给真实工程师的技能——反对接管流程，相信工程品味
20.9 万 star、作者是 TypeScript 大神 Matt Pocock。小而可组合的 25 个技能，从 /grill-me 拷问、CONTEXT.md 共享语言到讲透反模式的 TDD——以及它和 Superpowers、ECC 三条路线的选择指南。
ECC：给编码代理的「Harness 操作系统」——它是什么、为什么、和 Superpowers 有何不同
23.8 万 star 的 ECC 全解析：从 67 个 Agent、284 个技能到记忆保险库、持续学习与 AgentShield 安全扫描——以及它和 Superpowers 各自代表的「纪律派」与「体系派」两条路。
Superpowers：给编码代理的一套「超能力」——它是什么、为什么、怎么用
26 万 star 的现象级项目 Superpowers 全解析：一套把工程纪律灌输给编码代理的完整方法论——技能库、强制工作流、子代理驱动开发，以及为什么 TDD 在这里是规矩而不是建议。
Andrew Ng《Agentic AI》课程笔记：四种设计模式构建 Agent 系统
Agentic AI 课程笔记：Reflection 反思、Tool Use 工具、Planning 规划、Multi-Agent 多智能体四大设计模式，以及评估调优与先原理后框架的方法论。
Karpathy《Deep Dive into LLMs like ChatGPT》笔记：从预训练到 RLHF 的一条主线
Karpathy 3.5 小时「LLM 完全解剖」笔记：预训练数据与 Tokenization、base model 与 post-training、幻觉与工具使用、锯齿状智能、SFT/RL/RLHF 与 DeepSeek-R1。
斯坦福 CS230 课程笔记：Beyond the Model —— 从 base model 到 Multi-Agent
CS230（2025 秋）第 8 讲完整笔记：base model 的六类限制、Prompt / Fine-tuning / RAG 三件套、Agentic Workflow、评估体系与 Multi-Agent，附课堂真实案例。
从 LLM 到 Agentic Workflow：一部影片看懂 Stanford AI 系统课程
把斯坦福 CS230《Beyond LLM》浓缩成一张 AI Builder 技术地图：base model 的限制、三大增强工具、Agentic Workflow 与 Multi-Agent。