这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
《AI Agent 工程实战》10.2 工具设计模式：读写分离、幂等、可观测
工具设计有五条可复用模式：读写分离（只读随便调、写入要审批加幂等键）、幂等、可观测、单一粒度、描述即提示词。本节先用假模型做「描述含糊 vs 描述具体」的选中率对照（实测 67% 对 100%），再用 pydantic 约束对照万能 sql 与专用工具的危险调用拦截率（实测 0/6 对 5/6）。
posts
文章归档
PlumePHP 全站文章的归档入口，按时间倒序汇总各专题的技术文章，并提供按主题浏览的专题分类入口。
《AI Agent 工程实战》10.1 MCP 客户端接入：minagent 作为 client 连本地 Server
本节把 MCP Server 当成工具源：写一个同步外壳的 MCPToolSource，连上本地 stdio Server、list_tools，把每个远程工具适配成 minagent 的 Tool 注册进 ToolRegistry，并讲清命名冲突、错误映射与连接生命周期；最后用假模型驱动 Agent 真跑一次 MCP 调用（Python 3.14.6 + mcp 2.3.0 实测）。
零知识证明：zk-SNARKs、zk-STARKs、电路与隐私应用
从零知识证明的直观理解出发，深入剖析 zk-SNARKs 可信设置与递归证明、zk-STARKs 无需信任的优势，系统讲解 zkEVM 四类兼容性分级、circom 电路编写、Tornado Cash 隐私转账与 zkRollup 证明生成机制。
运行时安全：Falco/Tetragon 与 eBPF 检测实战
从运行时威胁模型讲起，深入 eBPF 的内核钩子与检测原理、Falco 规则语法与告警管道、Tetragon 的策略执行与进程谱系、系统调用行为基线、容器逃逸与提权检测、告警降噪与响应编排，以及性能开销与内核兼容性的生产实践。
网络时间同步：NTP、PTP 与高精度时钟
系统讲解网络时间同步：时钟偏差与漂移的本质、NTP 报文与偏移计算、chrony 落地配置、PTP 主从协商与硬件时间戳、误差来源分解、Linux 上的部署与监控，以及常见坑与选型对比。
结构化数据清洗与报表生成实战
面向 CSV 与 TSV 的清洗流水线：csvkit 与 miller 的取舍、awk 字段处理、引号与转义陷阱、编码转换、字段校验与聚合，最终生成可直接交付的报表。
约束求解与类型类
类型推断的本质是解一组约束方程，而类型类与 trait 把这组方程从等式扩展成带实例解析的谓词集合。本文讲解 Hindley-Milner 的扩展、约束生成与合一、trait 解析与关联类型，以及约束错误如何被翻译成人能看懂的信息。
用 WASM 设计插件系统：宿主 ABI、版本兼容与热加载
系统讲解如何用 WebAssembly 设计生产级插件系统：宿主与插件的 ABI 设计、内存所有权约定、接口版本协商与兼容策略、资源限制与燃料计量、热加载与状态迁移、插件间隔离通信、能力授权、可观测性与故障隔离，并给出典型实现对比与落地路线图。
消息队列可观测性：Kafka 与 RabbitMQ 的滞后、积压与端到端延迟
系统讲解消息队列可观测性建设：Kafka 消费者滞后与分区指标、RabbitMQ 队列深度与消费速率、端到端延迟与消息追踪、消费者组再平衡观测、积压告警与容量规划，以及常见避坑与最佳实践清单。
模块化区块链与数据可用性层：Celestia、EigenDA、Avail 与 Rollup 的 DA 选型
从单体链的困境出发，系统拆解执行、结算、共识、数据可用性四层解耦的模块化架构。深入讲解 Celestia 的 1D/2D Reed-Solomon 编码与数据可用性采样 DAS 的采样安全性论证，EigenDA 基于 KZG 承诺与纠删码的设计及其与 EigenLayer 再质押的关系，Avail 的有效性证明与轻客户端方案。最后给出 Rollup 的 DA 选型路径：calldata、EIP-4844 blob 与外部 DA 层的成本量级对比、桥与 DA 承诺的安全边界，以及工程落地中的真实踩坑。
技术人的学习方法与知识管理：费曼、间隔重复、笔记体系
面向技术人的学习方法论与知识管理实践，覆盖费曼技巧、间隔重复、主动回忆、笔记体系与卡片盒方法、技术书与源码阅读策略、刻意练习、学习计划与反馈循环，以及可直接落地的学习系统清单。
意图交易与求解器架构：从 ERC-7683 到跨链填充与订单流拍卖
意图把交易的表达从「指定路径」升级为「声明目标」，用户只签名最终状态与约束，由求解器竞争寻找最优执行路径。本文讲解意图与传统交易、限价单的本质差异，深入剖析 ERC-7683 跨链意图标准的 CrossChainOrder、OriginSettler、DestinationSettler、ResolvedCrossChainOrder 与 fill 流程，并给出可落地的 Solidity 填充合约；随后展开求解器竞价与结算机制、订单流拍卖 OFA 与 SUAVE 对 MEV 分配的重塑、跨链填充与乐观结算挑战，以及意图生命周期中的过期、部分成交、抢跑、求解器违约与罚没处理，最后给出风险清单与工程踩坑。
嵌套与父子关联查询：nested、join 字段与性能取舍
系统讲解 Elasticsearch 处理关联数据的三种方式：对象数组的扁平化陷阱、nested 类型与 nested 查询、join 字段的父子文档模型与 has_child/has_parent 查询，并给出三者在查询能力、写入成本与性能上的取舍依据。
制品管理与供应链溯源：从仓库到 Provenance
制品管理与软件供应链溯源：镜像仓库与包仓库的选型、制品晋升与不可变标签、SBOM 软件物料清单的生成与消费、Sigstore 签名与 SLSA 来源溯源、供应链安全门禁，以及制品保留策略与端到端可追溯性审计。
分布式事务与 Saga 编排
讲解 .NET 微服务中跨服务事务的解决方案，涵盖 Saga 补偿事务、编排与协同的取舍、幂等与去重、Outbox 模式可靠投递，以及状态机实现与故障恢复。
再质押与共享安全：EigenLayer 架构、AVS 任务生命周期与 LRT 风险
从以太坊原生质押的经济安全模型出发，系统拆解再质押与共享安全的信任复用逻辑：EigenLayer 的 EigenPod、StrategyManager、DelegationManager 核心合约流程，AVS 的注册与任务生命周期，罚没 slashing 与提款队列的 escrow 周期，流动性再质押代币 LRT 如 ether.fi 与 Renzo 的收益链条与脱锚风险，并与多签、预言机等既有安全模型逐项对比，最后给出风险清单与工程踩坑。
zkVM 与证明市场：RISC Zero、SP1、递归聚合与 prover 经济
从 zkVM 的通用可证明计算出发，系统讲解 RISC-V 指令集选择的工程理由、RISC Zero 的 guest/host 分工与 receipt/journal 模型、SP1 的 precompile 与两段式证明、执行轨迹到链上验证的完整流程、递归证明与证明聚合、STARK 包装为 Groth16 的成本结构，以及 prover network 的拍卖竞价与经济激励，并给出 Rust guest 与 Solidity 验证合约示例。
Yul 汇编与 Gas 优化：从 EVM 操作码到存储槽打包
从 EVM 操作码的 Gas 成本表出发，系统讲解 Yul 内联汇编与 Gas 优化的完整方法论：深入 EIP-2929 冷热访问与 EIP-3529 退款上限对 SLOAD 与 SSTORE 成本的重塑、存储槽打包与 slot 布局对部署和读写 Gas 的影响、calldata 与内存布局的读取成本差异，并给出内联汇编在自定义错误、位运算、循环展开、calldata 解码优化上的真实代码。文章包含优化前后 Gas 对比表格、Foundry gas snapshot 测试、Yul 独立合约写法，以及 free memory pointer、slot 冲突、内存模型被破坏等安全边界与踩坑清单。
Vite 国际化与多语言构建：按语言分包、懒加载与回退策略
在 Vite 项目中落地国际化的完整方案：文案、格式与路由三层拆分、JSON 命名空间与键设计、运行时按语言懒加载与回退链、基于动态导入的 locale 分包、Intl 与 ICU 的复数与格式化、URL 语言前缀与切换、构建期内联默认语言与预加载，以及回退缺失与首屏闪烁等高频陷阱。
UIKit 与 SwiftUI 混合开发
面向存量 UIKit 工程的渐进式迁移场景，讲清 UIHostingController 嵌入 SwiftUI、UIViewRepresentable 与 UIViewControllerRepresentable 封装 UIKit、Coordinator 桥接 delegate、两套导航与生命周期差异，以及尺寸布局键盘等常见坑，给出可落地的替换顺序与边界划分建议。