置顶新发布 —— 导航工具站
https://hao.junedreams.com
置顶关于本博客网站（持续更新中）
本文描述了本博客网站的建站目的、网站指引、当前版本用户可能会遇到的问题以及未来会如何解决这些问题、未来可能会添加的新功能。
OceanBase 的特点、系统架构与 LSM-Tree
介绍 OceanBase 的核心特点、分布式系统架构，以及基于 MemTable、SSTable 和 Compaction 的 LSM-Tree 存储模型。
分布式事务：2PC、3PC、Seata AT、TCC 与 Saga
梳理分布式事务常见方案：2PC、3PC、Seata AT、TCC、Saga 的核心流程、区别与适用场景。
一文吃透 MySQL InnoDB：事务、锁、MVCC、死锁与三大日志
从“RR 下等值命中唯一索引要不要加间隙锁”出发，系统梳理 InnoDB 的事务与隔离级别、快照读与当前读、行锁/间隙锁/意向锁、MVCC 与 Read View、RC 与 RR、死锁检测，以及 undo/redo/binlog 三大日志。
读 Pi 的源码：一个刻意做减法的 Agent Harness
八个工具、不到 1000 token 的系统提示词、不支持 MCP、没有内置子 agent 和计划模式——Pi 用基准测试证明了堆功能不是唯一路径。本文从源码梳理它的整体架构：chord 组合运行时、两层嵌套的主循环、可原地分叉的会话树、扩展系统与安全模型，最后给出四个可直接用的扩展代码示例，并与 DeepSeek Harness 做一次对照。
如果让你从零设计一个 Agent Harness
DeepSeek 开源了自己的 agent harness，宣称一切皆插件，连主循环也是。本文按设计问题的顺序推导：插件是什么形态、Cordis 到底替你做了什么、怎么装进来、装好之后谁来执行它们，并用查天气工具、token 计量、接 MCP、记忆管理、会话分裂含界面五个例子演示怎么自己写。
Nature 报道的“学术去 AI 味”工具：争议在哪，规则里什么值得学
Nature 7 月报道了明尼苏达大学 Jie Ding 发布的 academic-humanizer，支持者、反对者和检测公司各执一词。我读了报道和 SKILL.md，认为争议焦点错位：它只是一段 prompt，申报义务没变，拿它躲检测最不划算。真正值得学的是“什么不能改”和“论断与证据审计”两层，以及基金申请书反着来的规则。
MCP 不一定要装在本地：我把博客发布做成了服务器级工具
大多数 MCP server 都跑在本地，每台机器一份运行时、一份密钥。我把博客发布做成了服务器级 MCP，本地只需声明一行 URL 和一个环境变量名。顺带梳理 Agent 技术栈的分层，以及 MCP 为什么已经赢下工具接入这一层。
Java 算法题里的栈、队列与堆：选型、模板与底层实现
栈、队列、双端队列在 Java 里其实都是 ArrayDeque，堆是 PriorityQueue。本文先给出选型结论和单调栈、BFS、单调队列三个模板，再讲清 Deque 的接口继承关系、ArrayDeque 的循环数组实现，以及为什么 Stack 的线程安全基本是假的。