守株阁

Tag - undefined
2017
大明朝里没好人
大明朝里没好人
过零丁洋
过零丁洋
昂贵的异常
昂贵的异常
基于栈的虚拟机
基于栈的虚拟机
思考区块链
思考区块链
JVM 与编译优化
JVM 与编译优化
银翼杀手
银翼杀手
把 Unix 的 Domain Socket 转成可本地访问的 TCP 端口
把 Unix 的 Domain Socket 转成可本地访问的 TCP 端口
KOA 初探
KOA 初探
MariaDB 调优相关
MariaDB 调优相关
Linux hypervisor
Linux hypervisor
破解本博客不能部署的问题
破解本博客不能部署的问题
支付业务
支付业务
Java中的幽灵类型
Java中的幽灵类型
单核上的多线程-Python中的 GIL
单核上的多线程-Python中的 GIL
面向对象范式的历史
面向对象范式的历史
保险电销与互联网保险
保险电销与互联网保险
系统调用为什么昂贵
系统调用为什么昂贵
Golang 并发的一些我自己才看得懂的总结
Golang 并发的一些我自己才看得懂的总结
Vim cheatsheet
Vim cheatsheet
为什么要自建实时计算平台
为什么要自建实时计算平台
虚拟机
虚拟机
JSX
JSX
读书--拓展你的认知边界
读书--拓展你的认知边界
函数缓存 memoize
函数缓存 memoize
client 与 server
client 与 server
CoffeeScript2 简明教程
CoffeeScript2 简明教程
2018
Merkle Tree
Merkle Tree
布隆（Bloom）过滤器
布隆（Bloom）过滤器
Scala 语言核心特性深度解析：类型系统、隐式机制与表达式求值
Scala 语言核心特性深度解析：类型系统、隐式机制与表达式求值
比特币小细节
比特币小细节
DAG 执行框架优于 MapReduce 的地方在哪里？
DAG 执行框架优于 MapReduce 的地方在哪里？
Spark Standalone 模式启动的全过程
Spark Standalone 模式启动的全过程
风险问题
风险问题
Vue 值得注意的小知识点
Vue 值得注意的小知识点
几种共识算法
几种共识算法
学习区块链的基础资料
学习区块链的基础资料
Echart 词汇表
Echart 词汇表
EOS 相关问题
EOS 相关问题
推荐算法笔记
推荐算法笔记
闪电网络、侧链、隔离见证与大区块扩容问题
闪电网络、侧链、隔离见证与大区块扩容问题
IOTA
IOTA
语义版本化问题
语义版本化问题
UTXO 与 account balance 模型
UTXO 与 account balance 模型
重放攻击问题
重放攻击问题
重新学习 Solidity
重新学习 Solidity
精通比特币读书笔记
精通比特币读书笔记
X.509证书问题
X.509证书问题
重读 Martin Fowler 的微服务论文原文
重读 Martin Fowler 的微服务论文原文
一个滚动重启的状态保存问题
一个滚动重启的状态保存问题
健康闲谈-健康管理和疾病预防
健康闲谈-健康管理和疾病预防
Hyperledger Fabric 完整知识图谱（2017-2018 旧文整合）
Hyperledger Fabric 完整知识图谱（2017-2018 旧文整合）
Convention over Configuration over Programming
Convention over Configuration over Programming
重拾TCP/IP协议簇
重拾TCP/IP协议簇
JPA 的 id 生成策略
JPA 的 id 生成策略
log 的历史
log 的历史
如何做性能测试的问题下的答案
如何做性能测试的问题下的答案
以太坊深度研究合集（2017-2018 旧文整合）
以太坊深度研究合集（2017-2018 旧文整合）
使用 Truffle 来编译、安装智能合约(旧文一篇)
使用 Truffle 来编译、安装智能合约(旧文一篇)
日期与时间
日期与时间
业务分析方法
业务分析方法
数据建模名称规范
数据建模名称规范
系分方法论交流笔记
系分方法论交流笔记
卡表和 RSet
卡表和 RSet
JDWP 与远程调试
JDWP 与远程调试
checklist
checklist
散列算法
散列算法
scoop 安装
scoop 安装
日志问题
日志问题
疑难汉字
疑难汉字
UML 细节
UML 细节
数据分析
数据分析
正交性
正交性
关键述职
关键述职
分治策略
分治策略
2019
正则表达式速记
正则表达式速记
所谓解耦
所谓解耦
Differences between Proxy and Decorator Pattern
Differences between Proxy and Decorator Pattern
如何进行域划分
如何进行域划分
2018
同比环比问题
同比环比问题
2019
《高可用恢复思路》笔记
《高可用恢复思路》笔记
Java 服务 OOM 排查全链路（Linux 内核 + JVM 工具链 + 问题分析）
Java 服务 OOM 排查全链路（Linux 内核 + JVM 工具链 + 问题分析）
《流水型 FO》笔记
《流水型 FO》笔记
《结构化的思考、做事、成长》笔记
《结构化的思考、做事、成长》笔记
《应用架构之道》笔记
《应用架构之道》笔记
技术发展分期
技术发展分期
重述双亲委派模型
重述双亲委派模型
（转）程序员的成长路线
（转）程序员的成长路线
Petroware 的 Unit Testing Guidelines
Petroware 的 Unit Testing Guidelines
进程和操作系统的诊断工具
进程和操作系统的诊断工具
架构整洁之道笔记
架构整洁之道笔记
世界上最简单的会计书
世界上最简单的会计书
常见数学术语中英文对照
常见数学术语中英文对照
复式记账法
复式记账法
保险专业基本功
保险专业基本功
如何做全链路压测
如何做全链路压测
CI/CD 方法论
CI/CD 方法论
微服务相关文献
微服务相关文献
滚动重启、金丝雀发布、AB testing 和蓝绿部署
滚动重启、金丝雀发布、AB testing 和蓝绿部署
部署环境
部署环境
亚马逊工作方法
亚马逊工作方法
IPv6 问题
IPv6 问题
2026
git 难点知识汇总
git 难点知识汇总
2019
彩色 UML 建模
彩色 UML 建模
JUnit4/JUnit5 注解
JUnit4/JUnit5 注解
2020
六顶思考帽
六顶思考帽
MySQL 基本功
MySQL 基本功
泛型拾遗
泛型拾遗
hive 汇总
hive 汇总
计算机数学
计算机数学
余光中：怎样改进英式中文
余光中：怎样改进英式中文
汉语
汉语
安全系统设计指南
安全系统设计指南
2019
代码大全
代码大全
2020
JMX 深度历险
JMX 深度历险
Java Logging
Java Logging
认证要素
认证要素
5why分析法
5why分析法
Optional 的正确用法
Optional 的正确用法
Java 注解和配置
Java 注解和配置
Mac 使用技巧
Mac 使用技巧
Java 平台历代特性
Java 平台历代特性
ThreadLocal 的设计模式
ThreadLocal 的设计模式
Spring AOP 笔记
Spring AOP 笔记
Unix 常用命令
Unix 常用命令
《枪炮、病菌和钢铁》札记
《枪炮、病菌和钢铁》札记
Spark SQL 原理
Spark SQL 原理
交易系统模型设计
交易系统模型设计
软件方法
软件方法
Spring 与数据库
Spring 与数据库
高性能 MySQL
高性能 MySQL
Spring IOC
Spring IOC
常见的服务器调用堆栈
常见的服务器调用堆栈
压力测试需要关注的注意事项
压力测试需要关注的注意事项
异地多活与单元化
异地多活与单元化
现代垃圾收集器
现代垃圾收集器
数据密集型应用系统设计 - Designing Data Intensive Applications
数据密集型应用系统设计 - Designing Data Intensive Applications
《今日简史》
《今日简史》
《未来简史》
《未来简史》
《罪與罰》出場人物筆記
《罪與罰》出場人物筆記
服务治理组件笔记
服务治理组件笔记
《人类群星闪烁时》
《人类群星闪烁时》
云原生应用
云原生应用
2021
EBS 分布式块存储技术解析
EBS 分布式块存储技术解析
《恰如其分的软件架构》
《恰如其分的软件架构》
2020
活动保障性体系建设和实践的总结
活动保障性体系建设和实践的总结
2021
HTAP 问题
HTAP 问题
纪要
纪要
关于编程语言的typing(一些基本概念)
关于编程语言的typing(一些基本概念)
计算的本质
计算的本质
秒杀通用解决方案
秒杀通用解决方案
世界财富与权力大转移背后的规律
世界财富与权力大转移背后的规律
货币、信贷与债务
货币、信贷与债务
货币价值的变迁
货币价值的变迁
MySQL 的 MGR
MySQL 的 MGR
Ray Dalio - 变化的世界格局与宏观周期
Ray Dalio - 变化的世界格局与宏观周期
分库分表
分库分表
MySQL pitfalls 与配置札记（2018-2021 札记整合）
MySQL pitfalls 与配置札记（2018-2021 札记整合）
从美元周期看大国经济战
从美元周期看大国经济战
数据库容灾体系的演变
数据库容灾体系的演变
MySQL 存储引擎 InnoDB 技术内幕
MySQL 存储引擎 InnoDB 技术内幕
如何画架构图
如何画架构图
ElasticSearch 总结
ElasticSearch 总结
操作系统导论 Three Easy Pieces
操作系统导论 Three Easy Pieces
规划结构化
规划结构化
投资分类
投资分类
插件化架构
插件化架构
数据中心
数据中心
故障演练平台设计
故障演练平台设计
leadership 的境界
leadership 的境界
STARR 法则
STARR 法则
机器学习的几个概念
机器学习的几个概念
Team Topologies
Team Topologies
如何进行产品需求/项目立项
如何进行产品需求/项目立项
如何设计一套风险系统
如何设计一套风险系统
OKR 笔记
OKR 笔记
如何治疗松鼠症
如何治疗松鼠症
平安投保流程
平安投保流程
《原则》
《原则》
Lambda VS ECS
Lambda VS ECS
《搞定》
《搞定》
高级思维模型
高级思维模型
“描绘人内心的全部深度”——《罪与罚》总序
“描绘人内心的全部深度”——《罪与罚》总序
提问的智慧
提问的智慧
结构思考力
结构思考力
如何写一个消息队列
如何写一个消息队列
人才能力模型
人才能力模型
漫长的道别
漫长的道别
如何做一个优秀的系统 owner
如何做一个优秀的系统 owner
如何实现正确的微基准测试
如何实现正确的微基准测试
如何排查线上问题
如何排查线上问题
如何写系统规划
如何写系统规划
基本业务架构设计方法
基本业务架构设计方法
蔡康永的说话之道
蔡康永的说话之道
基本编程范式、模型和风格
基本编程范式、模型和风格
Unix 与 coredump
Unix 与 coredump
SRE-谷歌运维揭秘
SRE-谷歌运维揭秘
《2021年上半年互联网财产保险市场研究报告》解读
《2021年上半年互联网财产保险市场研究报告》解读
JDK 的广泛分支
JDK 的广泛分支
JDBC 问题
JDBC 问题
What is the best comment in source code you have ever encountered? [closed]
What is the best comment in source code you have ever encountered? [closed]
日程管理模板
日程管理模板
领导梯队笔记
领导梯队笔记
面向测试编程
面向测试编程
2022
神经衰弱和强迫观念的根治法
神经衰弱和强迫观念的根治法
系分模板
系分模板
如何写复杂业务系统
如何写复杂业务系统
郭东白博士《关于中台的思考和尝试》
郭东白博士《关于中台的思考和尝试》
面向不确定性编程
面向不确定性编程
Java中的条件编译
Java中的条件编译
《战争论》
《战争论》
《架构师修炼之道》
《架构师修炼之道》
《计算机简史》
《计算机简史》
《重新定义团队-谷歌如何工作》
《重新定义团队-谷歌如何工作》
清分知识汇总
清分知识汇总
财务知识
财务知识
职场求生攻略
职场求生攻略
如何成为一名优秀的架构师
如何成为一名优秀的架构师
贝索斯在普林斯顿大学毕业典礼上的演讲-We are What We Choose
贝索斯在普林斯顿大学毕业典礼上的演讲-We are What We Choose
Gergely Orosz 文章翻译-成为一个更好的技术写作者
Gergely Orosz 文章翻译-成为一个更好的技术写作者
面向职场编程
面向职场编程
Gergely Orosz 文章翻译-软件架构被高估，简明设计被低估
Gergely Orosz 文章翻译-软件架构被高估，简明设计被低估
演进式架构
演进式架构
常见架构推导法
常见架构推导法
项目管理
项目管理
亚马逊发展研究
亚马逊发展研究
团队协作的五大障碍
团队协作的五大障碍
如何摆脱懒惰？
如何摆脱懒惰？
技术拾遗
技术拾遗
性能优化
性能优化
面向好的架构编程
面向好的架构编程
Idea 的小技巧
Idea 的小技巧
如何写业务代码
如何写业务代码
领域驱动设计汇总
领域驱动设计汇总
一个隐藏了17年的 JDK Bug
一个隐藏了17年的 JDK Bug
重写 ELK 相关信息
重写 ELK 相关信息
Lombok 拾遗
Lombok 拾遗
可观测性问题
可观测性问题
你的答案在你的宇宙里
你的答案在你的宇宙里
分手的决心
分手的决心
基于 Play 框架进行开发
基于 Play 框架进行开发
一秒钟
一秒钟
生活的意义
生活的意义
RESTful 资料归集
RESTful 资料归集
2023
Java 原生 API
Java 原生 API
推荐系统相关
推荐系统相关
Spring Web
Spring Web
宇宙探索编辑部
宇宙探索编辑部
Spring 框架学习路线与杂记（2020-2023 整合）
Spring 框架学习路线与杂记（2020-2023 整合）
剑桥版倚天屠龙史
剑桥版倚天屠龙史
中国哲学史
中国哲学史
读书笔记
读书笔记
《毛泽东选集》
《毛泽东选集》
巴以问题
巴以问题
2024
datawarehouse相关
datawarehouse相关
付鹏的财经世界-论债务
付鹏的财经世界-论债务
《瘟疫与防疫，在历史与现实之间的魔幻交替》
《瘟疫与防疫，在历史与现实之间的魔幻交替》
无线电波
无线电波
高级算法设计和分析技术
高级算法设计和分析技术
不同时区
不同时区
不常见的 SQL
不常见的 SQL
飞马模型
飞马模型
雅思英语
雅思英语
大模型相关
大模型相关
Redis 开发与运维
Redis 开发与运维
2025
灵机一动的程序设计
灵机一动的程序设计
秦晖：21世纪全球化危机
秦晖：21世纪全球化危机
Go 语言学习
Go 语言学习
Unix/Linux 系统的常见目录
Unix/Linux 系统的常见目录
aws 的分布式系统相关挑战
aws 的分布式系统相关挑战
系统的弹性
系统的弹性
Redis 经典用例全解：从数据结构到系统设计
Redis 经典用例全解：从数据结构到系统设计
Web 会话与身份认证全景
Web 会话与身份认证全景
HTTP 请求体只读一次之谜——Go 与 Java 的应对之道
HTTP 请求体只读一次之谜——Go 与 Java 的应对之道
2022
Dapper 论文
Dapper 论文
2025
Kubernetes 架构演进：从容器到云原生应用平台的故事
Kubernetes 架构演进：从容器到云原生应用平台的故事
Java 字符编码与 Unicode 完全指南——从 BMP 到增补平面，从代码单元到字形簇
Java 字符编码与 Unicode 完全指南——从 BMP 到增补平面，从代码单元到字形簇
Java 浮点数精度问题深度解析——从 IEEE 754 到 BigDecimal
Java 浮点数精度问题深度解析——从 IEEE 754 到 BigDecimal
Java 集合框架完全指南
Java 集合框架完全指南
MESI 协议与 Java 并发可见性——从硬件到 JMM
MESI 协议与 Java 并发可见性——从硬件到 JMM
副本复制算法与架构——PacificA、Elasticsearch、Kafka、Pulsar 全面对比
副本复制算法与架构——PacificA、Elasticsearch、Kafka、Pulsar 全面对比
原码·反码·补码——从环形数轴到 CPU 减法器
原码·反码·补码——从环形数轴到 CPU 减法器
数据库写入的潜规则——合并树与 MPP 架构深度剖析
数据库写入的潜规则——合并树与 MPP 架构深度剖析
经典面试问题的大数据解法——Spark 与 Flink 实战
经典面试问题的大数据解法——Spark 与 Flink 实战
设计一个亿级 IM 即时通讯系统
设计一个亿级 IM 即时通讯系统
Grokking the System Design
Grokking the System Design
《编程之美》
《编程之美》
分布式事务
分布式事务
系统设计
系统设计
2026
Java 并发编程笔记
Java 并发编程笔记
无锁队列
无锁队列
常见故障整理
常见故障整理
API 兼容性设计
API 兼容性设计
跨语言超时机制全解析
跨语言超时机制全解析
G1/ZGC/Shenandoah 垃圾收集器对比
G1/ZGC/Shenandoah 垃圾收集器对比
Guava 解析
Guava 解析
HTTP/1.1 到 HTTP/3 的演进
HTTP/1.1 到 HTTP/3 的演进
Docker 完全指南
Docker 完全指南
JVM 的内存模型与线程
JVM 的内存模型与线程
Java 结构化并发
Java 结构化并发
Kubernetes 核心概念
Kubernetes 核心概念
Maven 完全指南
Maven 完全指南
TLS 握手与加密通信
TLS 握手与加密通信
重读 Eric Evans 的 DDD 蓝皮书
重读 Eric Evans 的 DDD 蓝皮书
当智能体变成一份 Markdown 文档
当智能体变成一份 Markdown 文档
Gradle 完全指南
Gradle 完全指南
一致性哈希与数据分片
一致性哈希与数据分片
变更日志（Changelog）规范
变更日志（Changelog）规范
AI 读书笔记
AI 读书笔记
LSP：语言服务协议与AI编程助手的代码理解能力
LSP：语言服务协议与AI编程助手的代码理解能力
AI 项目配置文件全景图：md 文件的作用与边界
AI 项目配置文件全景图：md 文件的作用与边界
SDD 与超级个体：AI 时代的人机协作范式
SDD 与超级个体：AI 时代的人机协作范式
QMD：本地智能文档搜索引擎完全指南
QMD：本地智能文档搜索引擎完全指南
JSONC - 带注释的 JSON
JSONC - 带注释的 JSON
macOS CLI 工具 HTTPS 抓包指南（以 OpenCode 为例）
macOS CLI 工具 HTTPS 抓包指南（以 OpenCode 为例）
git worktree 术语起源解析
git worktree 术语起源解析
告别 Vibe Coding：用 OmO 构建可靠的 AI 工程系统
告别 Vibe Coding：用 OmO 构建可靠的 AI 工程系统
在智能体优先的世界中利用 Codex
在智能体优先的世界中利用 Codex
智能体记忆全景综述：从短时长时之分到向量库回归文件系统（2022-2026）
智能体记忆全景综述：从短时长时之分到向量库回归文件系统（2022-2026）
子 Agent 的本质：上下文隔离与专门化
子 Agent 的本质：上下文隔离与专门化
OpenSpec 实战指南：从工作流到落地
OpenSpec 实战指南：从工作流到落地
Harness Engineering 完整指南：从 Prompt Engineering 到实践落地的三级跃迁
Harness Engineering 完整指南：从 Prompt Engineering 到实践落地的三级跃迁
Compound Engineering：当 AI 工程从"模型调优"走向"系统组合"
Compound Engineering：当 AI 工程从"模型调优"走向"系统组合"
Claude Code 源码深度解析：五层架构与核心设计模式
Claude Code 源码深度解析：五层架构与核心设计模式
Anthropic Managed Agents 深度研究：解耦大脑与双手的架构哲学
Anthropic Managed Agents 深度研究：解耦大脑与双手的架构哲学
为什么你的"AI-First"战略可能是错的——CreaoAI 的全面重构实践
为什么你的"AI-First"战略可能是错的——CreaoAI 的全面重构实践
Agentic Coding 深度解析：从架构原理到多 Agent 协作
Agentic Coding 深度解析：从架构原理到多 Agent 协作
Graphify 深度解析：用知识图谱重新定义 AI 编码助手的代码理解能力
Graphify 深度解析：用知识图谱重新定义 AI 编码助手的代码理解能力
Coding Agent 代码检索技术全景：从 GREP 到知识图谱
Coding Agent 代码检索技术全景：从 GREP 到知识图谱
Java栈帧省略机制详解：为什么异常堆栈会消失？
Java栈帧省略机制详解：为什么异常堆栈会消失？
苹果印度产能转移深度调查：一场价值千亿美元的制造业大迁徙
苹果印度产能转移深度调查：一场价值千亿美元的制造业大迁徙
沉默的杀手：美军在东南亚留下的未爆弹药深度调查
沉默的杀手：美军在东南亚留下的未爆弹药深度调查
美国警察暴力与大规模监禁深度调查
美国警察暴力与大规模监禁深度调查
共和党还剩几个派系？——MAGA、Freedom Caucus 与特朗普的党内权力
共和党还剩几个派系？——MAGA、Freedom Caucus 与特朗普的党内权力
从 Skill 到 Skills 2.0：Anthropic 这半年怎么把 Agent Skills 做进软件工程
从 Skill 到 Skills 2.0：Anthropic 这半年怎么把 Agent Skills 做进软件工程
Karpathy 视角下的 LLM 编码缺陷：四条行为准则的深度解析
Karpathy 视角下的 LLM 编码缺陷：四条行为准则的深度解析
印度民主深度研究，一个七十八岁的「不可能」还在运行
印度民主深度研究，一个七十八岁的「不可能」还在运行
谁在记住你：Hermes、OpenClaw、Claude Code 等主流智能体的记忆架构深度横评
谁在记住你：Hermes、OpenClaw、Claude Code 等主流智能体的记忆架构深度横评
当任务里藏着一个巨大的搜索子问题——RLMs、LLM Wiki、RAG 的降本提精路线图
当任务里藏着一个巨大的搜索子问题——RLMs、LLM Wiki、RAG 的降本提精路线图
Superpowers 的 skill 体系：规则引擎、流程编排与纪律约束
Superpowers 的 skill 体系：规则引擎、流程编排与纪律约束
Warp：从终端到 ADE 的五年深研
Warp：从终端到 ADE 的五年深研
OpenAI Symphony 深度研究，一次从「监督 Agent」到「管理工作」的编排改造
OpenAI Symphony 深度研究，一次从「监督 Agent」到「管理工作」的编排改造
欧尔班败选与世界大国态度
欧尔班败选与世界大国态度
如何写好 AGENTS.md
如何写好 AGENTS.md
CPX / OCPX / eCPM：广告计费家族的全景图与演进版图
CPX / OCPX / eCPM：广告计费家族的全景图与演进版图
超成本 / 不起量 / 炸量：广告投放线上异常问题全景
超成本 / 不起量 / 炸量：广告投放线上异常问题全景
短事务与高并发缓存初始化
短事务与高并发缓存初始化
OpenCode 自研 SDD 流程注入方案
OpenCode 自研 SDD 流程注入方案
中美两国实际社会总债务是多少
中美两国实际社会总债务是多少
到底什么是多模态模型
到底什么是多模态模型
Goal 模式深度研究：从 Ralph Loop 到 Codex Runtime、Claude Judge 与 SDD Sidecar
Goal 模式深度研究：从 Ralph Loop 到 Codex Runtime、Claude Judge 与 SDD Sidecar
oh-my-claudecode vs oh-my-openagent：两大 Agent 编排框架深度对比与实用教程
oh-my-claudecode vs oh-my-openagent：两大 Agent 编排框架深度对比与实用教程
Context7 MCP Server 深度解析：AI 编程助手的实时文档检索引擎
Context7 MCP Server 深度解析：AI 编程助手的实时文档检索引擎
Multi-Agent 架构深度研究：从四种基础模式到「何时不该用多 Agent」的工程判断
Multi-Agent 架构深度研究：从四种基础模式到「何时不该用多 Agent」的工程判断
缓存系统设计全景——从原理到生产的完整指南
缓存系统设计全景——从原理到生产的完整指南
从 OSGi 到 Jigsaw：Java 模块化、SPI 与类加载器切换
从 OSGi 到 Jigsaw：Java 模块化、SPI 与类加载器切换
大语言模型为什么像人在说话和思考：语言能力、思考能力与可解释性边界
大语言模型为什么像人在说话和思考：语言能力、思考能力与可解释性边界
用 Skill 和 Agent 攻克老旧历史项目的学习与分析难题
用 Skill 和 Agent 攻克老旧历史项目的学习与分析难题
递归语言模型 RLM 推理范式深读
递归语言模型 RLM 推理范式深读
Spring AI 深度：把 LLM 抽象成新一代 JDBC（兼论 LangChain4j 与 Java 智能体框架路线）
Spring AI 深度：把 LLM 抽象成新一代 JDBC（兼论 LangChain4j 与 Java 智能体框架路线）
从 Java 8 到 Java 25 的迁移与 Spring 升级指南
从 Java 8 到 Java 25 的迁移与 Spring 升级指南
模块化与动态加载的跨平台对照：从 ClassLoader 到 BEAM、ALC、dlmopen
模块化与动态加载的跨平台对照：从 ClassLoader 到 BEAM、ALC、dlmopen
Agent 全景指南：从必要性、范式演化到高可用落地
Agent 全景指南：从必要性、范式演化到高可用落地
AgentScope 全景实战：设计速读与生产级十二层装配
AgentScope 全景实战：设计速读与生产级十二层装配
Harness Engineering：长程 Agent 的工程化底座
Harness Engineering：长程 Agent 的工程化底座
MyBatis 内部架构深度解析：从 Mapper 方法到 JDBC 执行链
MyBatis 内部架构深度解析：从 Mapper 方法到 JDBC 执行链
刚好够用的 Python：为《计算的本质》准备实验语言
刚好够用的 Python：为《计算的本质》准备实验语言
小步语义：把程序执行拆成一步一步的规约
小步语义：把程序执行拆成一步一步的规约
指称语义：把程序翻译成 Python 函数
指称语义：把程序翻译成 Python 函数
程序先变成语法树：从字符串到 AST
程序先变成语法树：从字符串到 AST
重读《计算的本质》：给 Java 程序员的可计算性入门
重读《计算的本质》：给 Java 程序员的可计算性入门
Harness 也开始进化：复旦 AHE 与可观测性驱动的自演化
Harness 也开始进化：复旦 AHE 与可观测性驱动的自演化
lambda 演算入门：函数为什么足够表达计算
lambda 演算入门：函数为什么足够表达计算
下推自动机：多一只栈就能处理嵌套
下推自动机：多一只栈就能处理嵌套
不用数字也能计算：Church 编码
不用数字也能计算：Church 编码
停机问题：为什么某些判断没有通用程序
停机问题：为什么某些判断没有通用程序
写一个 lambda 规约器
写一个 lambda 规约器
回到工程：计算理论怎样改变写代码的眼光
回到工程：计算理论怎样改变写代码的眼光
图灵机：纸带、读写头和最小通用计算
图灵机：纸带、读写头和最小通用计算
抽象解释：用保守近似理解程序
抽象解释：用保守近似理解程序
正则表达式如何变成自动机
正则表达式如何变成自动机
用 Python 写一台图灵机
用 Python 写一台图灵机
确定性有限自动机：状态、输入和接受条件
确定性有限自动机：状态、输入和接受条件
进程启动期的静默故障：JVM 与 Node.js 的调试方法论
进程启动期的静默故障：JVM 与 Node.js 的调试方法论
通用性：一种机器怎样模拟另一种机器
通用性：一种机器怎样模拟另一种机器
非确定性有限自动机：一次保留多个可能世界
非确定性有限自动机：一次保留多个可能世界
AI 不会吞掉软件，只会吞掉入口
AI 不会吞掉软件，只会吞掉入口
AI 编程让人类更累——从 Vibe Coding 到 Brain Fry 的认知负荷真相
AI 编程让人类更累——从 Vibe Coding 到 Brain Fry 的认知负荷真相
Agent Teams 为什么有效
Agent Teams 为什么有效
Harness 的本质：把随机模型锁进可验证的箱体
Harness 的本质：把随机模型锁进可验证的箱体
LLM Harness 路线图：从抽卡模型到可验证工程系统
LLM Harness 路线图：从抽卡模型到可验证工程系统
LRU 和 workingset：内核如何近似"最近使用"
LRU 和 workingset：内核如何近似"最近使用"
Self-Improving Agent 的边界：外部记忆能不能 shadow 模型权重？
Self-Improving Agent 的边界：外部记忆能不能 shadow 模型权重？
Folio：为什么内核重新组织 page 抽象
Folio：为什么内核重新组织 page 抽象
上下文换入换出：下一代 scaling
上下文换入换出：下一代 scaling
匿名页和 COW：fork 为什么便宜，写入为什么变贵
匿名页和 COW：fork 为什么便宜，写入为什么变贵
地址空间不是数组：mm_struct 和 vm_area_struct
地址空间不是数组：mm_struct 和 vm_area_struct
密码学签名全景：从 HMAC 到数字签名的完整图谱
密码学签名全景：从 HMAC 到数字签名的完整图谱
文件映射和 page cache：文件内容怎样变成页面
文件映射和 page cache：文件内容怎样变成页面
环境可供性：智能的一半是取到正确数据
环境可供性：智能的一半是取到正确数据
缺页异常：一次访问如何进入内核
缺页异常：一次访问如何进入内核
裸模型为什么像抽卡
裸模型为什么像抽卡
重读 Linux VM：给系统研究生的虚拟内存导读
重读 Linux VM：给系统研究生的虚拟内存导读
页回收：kswapd 和 direct reclaim
页回收：kswapd 和 direct reclaim
页表：CPU 能读懂的翻译结构
页表：CPU 能读懂的翻译结构
Buddy system：物理页如何按阶分配
Buddy system：物理页如何按阶分配
Huge Page：TLB 压力和页表开销
Huge Page：TLB 压力和页表开销
NUMA：内存为什么有远近
NUMA：内存为什么有远近
OOM Killer：内核什么时候决定杀进程
OOM Killer：内核什么时候决定杀进程
SLUB：小对象为什么不直接按页分配
SLUB：小对象为什么不直接按页分配
Swap：换出去的页怎样回来
Swap：换出去的页怎样回来
U型思考法：从表象到本质的深度思维模型
U型思考法：从表象到本质的深度思维模型
cgroup memory：内存从全局资源变成局部预算
cgroup memory：内存从全局资源变成局部预算
回到工程：Linux VM 如何改变性能诊断
回到工程：Linux VM 如何改变性能诊断
情绪提示词：用心理学手段提升 LLM 性能的研究综述
情绪提示词：用心理学手段提升 LLM 性能的研究综述
反向映射：从物理页找回虚拟地址
反向映射：从物理页找回虚拟地址
编译通过为什么就是定理得证：形式化方法系列导引
编译通过为什么就是定理得证：形式化方法系列导引
从一个 git 仓到 Skill Hub：一道全栈架构题的逐层推导
从一个 git 仓到 Skill Hub：一道全栈架构题的逐层推导
依值类型：从命题逻辑到一阶逻辑
依值类型：从命题逻辑到一阶逻辑
准备 Lean 4 实验环境
准备 Lean 4 实验环境
命题即类型：Curry-Howard 同构
命题即类型：Curry-Howard 同构
在 Lean 4 中证明经典命题
在 Lean 4 中证明经典命题
大型形式化案例：CompCert、seL4、Four Color 与 Mathlib
大型形式化案例：CompCert、seL4、Four Color 与 Mathlib
归纳类型与递归：把数据嵌入证明
归纳类型与递归：把数据嵌入证明
形式化方法的局限与工程取舍
形式化方法的局限与工程取舍
收束：作为日常工具的形式化
收束：作为日常工具的形式化
直觉主义逻辑与 BHK 解释：什么算一个证明
直觉主义逻辑与 BHK 解释：什么算一个证明
简单类型 lambda 演算：最小可证明系统
简单类型 lambda 演算：最小可证明系统
类型检查器的可信基底：编译通过到底信什么
类型检查器的可信基底：编译通过到底信什么
类型检查算法：证明检查算法的机械实现
类型检查算法：证明检查算法的机械实现
附录：Curry-Howard-Lambek 三角，范畴论第三条腿
附录：Curry-Howard-Lambek 三角，范畴论第三条腿
复刻多 Agent 诊断系统：47 个失败模式复盘
复刻多 Agent 诊断系统：47 个失败模式复盘
Agent Harness Engineering 综述解读：ETCLOVG 七层框架与生态全景
Agent Harness Engineering 综述解读：ETCLOVG 七层框架与生态全景
Anthropic autonomous-coding 源码拆解：500 行 Python 里的 Harness 工程学
Anthropic autonomous-coding 源码拆解：500 行 Python 里的 Harness 工程学
数据库 Resharding 的在线切换与回滚
数据库 Resharding 的在线切换与回滚
企业微信能自动加好友并拉群吗：官方 API 能力边界与架构方案
企业微信能自动加好友并拉群吗：官方 API 能力边界与架构方案
Agentic Flow 不是 Harness：控制流、运行时与全栈研究模型
Agentic Flow 不是 Harness：控制流、运行时与全栈研究模型
AI Coding Agent 的 Hook、Loop 与插件体系：Codex、Claude Code、OpenCode 和 OMC 的运行时解剖
AI Coding Agent 的 Hook、Loop 与插件体系：Codex、Claude Code、OpenCode 和 OMC 的运行时解剖
Agent 互操作协议全景：MCP、A2A、AG-UI 和 Agent Runtime 的分层地图
Agent 互操作协议全景：MCP、A2A、AG-UI 和 Agent Runtime 的分层地图
深翻页的本质：从 RDBMS 到 ES 和 Hive
深翻页的本质：从 RDBMS 到 ES 和 Hive
Ponytail：把 YAGNI 写进 Coding Agent 的行为层
Ponytail：把 YAGNI 写进 Coding Agent 的行为层
Loop Engineering：从 Boris 的 /loops 到持久 Agent 工程
Loop Engineering：从 Boris 的 /loops 到持久 Agent 工程
Deli AutoResearch：从论文流水线到研究品味
Deli AutoResearch：从论文流水线到研究品味
LeCun 视角下的 LLM 边界：贝叶斯推断与因果问题
LeCun 视角下的 LLM 边界：贝叶斯推断与因果问题
LeCun 视角下的 VLA、机器人与具身智能边界
LeCun 视角下的 VLA、机器人与具身智能边界
LeCun 的世界模型与 JEPA 路线详解
LeCun 的世界模型与 JEPA 路线详解
LeCun 关于 LLM 与 AGI 的观点总集成
LeCun 关于 LLM 与 AGI 的观点总集成
LeCun 视角下的数据瓶颈、电子果蝇与自主学习
LeCun 视角下的数据瓶颈、电子果蝇与自主学习
API Server 与声明式 API：一切皆资源
API Server 与声明式 API：一切皆资源
CRD 与 Operator 模式——扩展 Kubernetes 的标准路径
CRD 与 Operator 模式——扩展 Kubernetes 的标准路径
Consumer Group 协议：分配、重平衡与静态成员
Consumer Group 协议：分配、重平衡与静态成员
Controller 与 KRaft：从 ZooKeeper 到内置共识
Controller 与 KRaft：从 ZooKeeper 到内置共识
Exactly-Once 与事务：跨 partition 的原子写入
Exactly-Once 与事务：跨 partition 的原子写入
Helm 与应用打包——从 YAML 到可复用制品
Helm 与应用打包——从 YAML 到可复用制品
Ingress 与 Gateway API：七层流量的入口演进
Ingress 与 Gateway API：七层流量的入口演进
Kafka Connect：标准化的数据管道
Kafka Connect：标准化的数据管道
Kafka Streams：在日志之上构建流处理
Kafka Streams：在日志之上构建流处理
Kafka 与 RocketMQ：两种消息系统的设计选择
Kafka 与 RocketMQ：两种消息系统的设计选择
Offset 管理：提交、重置与消费语义
Offset 管理：提交、重置与消费语义
OpenAI Beneficial RL 论文解读：对齐的本质是人格而非规则
OpenAI Beneficial RL 论文解读：对齐的本质是人格而非规则
Pod 生命周期：从 Pending 到 Running 的完整路径
Pod 生命周期：从 Pending 到 Running 的完整路径
Producer 内部机制：攒批、分区与 acks
Producer 内部机制：攒批、分区与 acks
RBAC 与安全模型：认证、授权与准入控制
RBAC 与安全模型：认证、授权与准入控制
Schema Registry 与数据治理：给消息加上契约
Schema Registry 与数据治理：给消息加上契约
Service 与 kube-proxy：虚拟 IP、iptables 与 IPVS
Service 与 kube-proxy：虚拟 IP、iptables 与 IPVS
etcd 与持久化：集群状态的唯一事实来源
etcd 与持久化：集群状态的唯一事实来源
kubelet 与容器运行时：节点上到底发生了什么
kubelet 与容器运行时：节点上到底发生了什么
从零配置 GitHub Actions 自动部署 Hexo 博客
从零配置 GitHub Actions 自动部署 Hexo 博客
副本与 ISR：高可用的代价和折中
副本与 ISR：高可用的代价和折中
可观测性——Metrics、Logging、Tracing 的集群实践
可观测性——Metrics、Logging、Tracing 的集群实践
存储体系：PV、PVC、StorageClass 与 CSI
存储体系：PV、PVC、StorageClass 与 CSI
安全体系：认证、授权与加密
安全体系：认证、授权与加密
导读：为什么 Kafka 的核心是一根日志
导读：为什么 Kafka 的核心是一根日志
幂等 Producer 与序列号：消息不重不丢的第一层
幂等 Producer 与序列号：消息不重不丢的第一层
性能模型：吞吐、延迟与调优思路
性能模型：吞吐、延迟与调优思路
控制器模式与 Informer 机制：调谐循环的工程实现
控制器模式与 Informer 机制：调谐循环的工程实现
自己写一个解释器：大步语义与递归求值
自己写一个解释器：大步语义与递归求值
日志压缩：把 topic 当 KV 表用
日志压缩：把 topic 当 KV 表用
日志存储：Segment、Index 与零拷贝
日志存储：Segment、Index 与零拷贝
架构总览：Broker、Controller 与元数据管理
架构总览：Broker、Controller 与元数据管理
生产运维：集群扩缩、监控指标与故障排查
生产运维：集群扩缩、监控指标与故障排查
生产集群运维——升级、备份、故障排查与容量规划
生产集群运维——升级、备份、故障排查与容量规划
英语语法的骨架：时态、从句和修饰语怎么连起来
英语语法的骨架：时态、从句和修饰语怎么连起来
调度器深入：打分、抢占与拓扑约束
调度器深入：打分、抢占与拓扑约束
网络模型与 CNI：每个 Pod 一个 IP 背后的实现
网络模型与 CNI：每个 Pod 一个 IP 背后的实现
配置与密钥管理：ConfigMap、Secret 与外部集成
配置与密钥管理：ConfigMap、Secret 与外部集成
NRW 仲裁参数——分布式副本读写的数值问题
NRW 仲裁参数——分布式副本读写的数值问题
共识算法推导——从鸽巢原理到 Paxos、ZAB 与 Raft
共识算法推导——从鸽巢原理到 Paxos、ZAB 与 Raft
资源管理与自动伸缩：requests、limits、HPA 与 VPA
资源管理与自动伸缩：requests、limits、HPA 与 VPA
上下文管理全景：Agentic Coding 工具操纵 Messages 数组的六种策略
上下文管理全景：Agentic Coding 工具操纵 Messages 数组的六种策略
深入 Elasticsearch（09）：搜索之上的实时分析
深入 Elasticsearch（09）：搜索之上的实时分析
深入 Elasticsearch（04）：从原始文本到可搜索词项
深入 Elasticsearch（04）：从原始文本到可搜索词项
深入 Elasticsearch（17）：两种搜索引擎的设计选择
深入 Elasticsearch（17）：两种搜索引擎的设计选择
深入 Elasticsearch（02）：Segment、倒排索引与 Doc Values
深入 Elasticsearch（02）：Segment、倒排索引与 Doc Values
深入 Elasticsearch（03）：Mapping 与字段类型
深入 Elasticsearch（03）：Mapping 与字段类型
深入 Elasticsearch（08）：从 match 到 bool 的查询体系
深入 Elasticsearch（08）：从 match 到 bool 的查询体系
深入 Elasticsearch（13）：Segment Merge 与 Index Lifecycle Management
深入 Elasticsearch（13）：Segment Merge 与 Index Lifecycle Management
深入 Elasticsearch（05）：近实时、Translog 与 Refresh/Flush
深入 Elasticsearch（05）：近实时、Translog 与 Refresh/Flush
深入 Elasticsearch（10）：数据分布的核心机制
深入 Elasticsearch（10）：数据分布的核心机制
深入 Elasticsearch（11）：故障恢复与读写模型
深入 Elasticsearch（11）：故障恢复与读写模型
深入 Elasticsearch（15）：认证、授权与加密
深入 Elasticsearch（15）：认证、授权与加密
深入 Elasticsearch（00）：为什么 Elasticsearch 的核心是一张倒排索引
深入 Elasticsearch（00）：为什么 Elasticsearch 的核心是一张倒排索引
深入 Elasticsearch（14）：搜索延迟、写入吞吐与调优思路
深入 Elasticsearch（14）：搜索延迟、写入吞吐与调优思路
深入 Elasticsearch（06）：Query-Then-Fetch 的两阶段流程
深入 Elasticsearch（06）：Query-Then-Fetch 的两阶段流程
深入 Elasticsearch（01）：Node、Cluster 与集群状态
深入 Elasticsearch（01）：Node、Cluster 与集群状态
深入 Elasticsearch（07）：BM25 与打分机制
深入 Elasticsearch（07）：BM25 与打分机制
深入 Elasticsearch（16）：集群扩缩、监控指标与故障排查
深入 Elasticsearch（16）：集群扩缩、监控指标与故障排查
Elasticsearch 经典架构模式：从时序索引到跨集群检索
Elasticsearch 经典架构模式：从时序索引到跨集群检索
MySQL 经典架构模式：从主从复制到分库分表
MySQL 经典架构模式：从主从复制到分库分表
深入 Elasticsearch（12）：Master 选举与集群状态同步
深入 Elasticsearch（12）：Master 选举与集群状态同步
线程安全与锁优化
线程安全与锁优化
Java 线程池笔记
Java 线程池笔记
avatar
magicliang
关于技术以及人生
Articles
512
Tags
572
Categories
9
Github
Announcement
人生只是，守株待兔
Recent Posts
MySQL 经典架构模式：从主从复制到分库分表
MySQL 经典架构模式：从主从复制到分库分表
Elasticsearch 经典架构模式：从时序索引到跨集群检索
Elasticsearch 经典架构模式：从时序索引到跨集群检索
深入 Elasticsearch（17）：两种搜索引擎的设计选择
深入 Elasticsearch（17）：两种搜索引擎的设计选择
深入 Elasticsearch（16）：集群扩缩、监控指标与故障排查
深入 Elasticsearch（16）：集群扩缩、监控指标与故障排查
深入 Elasticsearch（15）：认证、授权与加密
深入 Elasticsearch（15）：认证、授权与加密
Categories
Tags
影评杨幂诺兰JVMJava异常处理区块链HyperledgerCorda私有链联盟链共识算法javacJIT字节码性能优化科幻DockerSocketJavaScriptKOA数据库MySQLMariaDBLinux虚拟化hypervisorgithubhexo互联网金融FinTechPython面向对象编程语言编程范式tag操作系统Govim大数据
Archives
Website Info
Article Count :
512
Total Word Count :
2809.6k
Unique Visitors :
Page Views :
Last Update :