Loading...
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
如何进行域划分
如何进行域划分
《高可用恢复思路》笔记
《高可用恢复思路》笔记
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 汇总
计算机数学
计算机数学
余光中:怎样改进英式中文
余光中:怎样改进英式中文
汉语
汉语
Java 平台历代特性
Java 平台历代特性
安全系统设计指南
安全系统设计指南
JMX 深度历险
JMX 深度历险
Java Logging
Java Logging
认证要素
认证要素
5why分析法
5why分析法
Optional 的正确用法
Optional 的正确用法
Java 注解和配置
Java 注解和配置
Mac 使用技巧
Mac 使用技巧
ThreadLocal 的设计模式
ThreadLocal 的设计模式
Spring AOP 笔记
Spring AOP 笔记
Unix 常用命令
Unix 常用命令
《枪炮、病菌和钢铁》札记
《枪炮、病菌和钢铁》札记
Spark SQL 原理
Spark SQL 原理
交易系统模型设计
交易系统模型设计
软件方法
软件方法
Spring IOC
Spring IOC
Spring 与数据库
Spring 与数据库
高性能 MySQL
高性能 MySQL
常见的服务器调用堆栈
常见的服务器调用堆栈
压力测试需要关注的注意事项
压力测试需要关注的注意事项
异地多活与单元化
异地多活与单元化
现代垃圾收集器
现代垃圾收集器
数据密集型应用系统设计 - Designing Data Intensive Applications
数据密集型应用系统设计 - Designing Data Intensive Applications
《人类群星闪烁时》
《人类群星闪烁时》
《今日简史》
《今日简史》
《未来简史》
《未来简史》
《罪與罰》出場人物筆記
《罪與罰》出場人物筆記
服务治理组件笔记
服务治理组件笔记
活动保障性体系建设和实践的总结
活动保障性体系建设和实践的总结
云原生应用
云原生应用
2021
EBS 分布式块存储技术解析
EBS 分布式块存储技术解析
《恰如其分的软件架构》
《恰如其分的软件架构》
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-谷歌运维揭秘
JDK 的广泛分支
JDK 的广泛分支
《2021年上半年互联网财产保险市场研究报告》解读
《2021年上半年互联网财产保险市场研究报告》解读
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 的小技巧
如何写业务代码
如何写业务代码
领域驱动设计汇总
领域驱动设计汇总
基于 Play 框架进行开发
基于 Play 框架进行开发
Lombok 拾遗
Lombok 拾遗
一个隐藏了17年的 JDK Bug
一个隐藏了17年的 JDK Bug
重写 ELK 相关信息
重写 ELK 相关信息
Dapper 论文
Dapper 论文
可观测性问题
可观测性问题
你的答案在你的宇宙里
你的答案在你的宇宙里
分手的决心
分手的决心
一秒钟
一秒钟
生活的意义
生活的意义
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 语言学习
Kubernetes 架构演进:从容器到云原生应用平台的故事
Kubernetes 架构演进:从容器到云原生应用平台的故事
Unix/Linux 系统的常见目录
Unix/Linux 系统的常见目录
Web 会话与身份认证全景
Web 会话与身份认证全景
aws 的分布式系统相关挑战
aws 的分布式系统相关挑战
系统的弹性
系统的弹性
Redis 经典用例全解:从数据结构到系统设计
Redis 经典用例全解:从数据结构到系统设计
HTTP 请求体只读一次之谜——Go 与 Java 的应对之道
HTTP 请求体只读一次之谜——Go 与 Java 的应对之道
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 兼容性设计
Docker 完全指南
Docker 完全指南
G1/ZGC/Shenandoah 垃圾收集器对比
G1/ZGC/Shenandoah 垃圾收集器对比
Guava 解析
Guava 解析
HTTP/1.1 到 HTTP/3 的演进
HTTP/1.1 到 HTTP/3 的演进
JVM 的内存模型与线程
JVM 的内存模型与线程
Java 结构化并发
Java 结构化并发
Kubernetes 核心概念
Kubernetes 核心概念
Maven 完全指南
Maven 完全指南
TLS 握手与加密通信
TLS 握手与加密通信
一致性哈希与数据分片
一致性哈希与数据分片
变更日志(Changelog)规范
变更日志(Changelog)规范
重读 Eric Evans 的 DDD 蓝皮书
重读 Eric Evans 的 DDD 蓝皮书
当智能体变成一份 Markdown 文档
当智能体变成一份 Markdown 文档
Gradle 完全指南
Gradle 完全指南
AI 读书笔记
AI 读书笔记
LSP:语言服务协议与AI编程助手的代码理解能力
LSP:语言服务协议与AI编程助手的代码理解能力
SDD 与超级个体:AI 时代的人机协作范式
SDD 与超级个体:AI 时代的人机协作范式
AI 项目配置文件全景图:md 文件的作用与边界
AI 项目配置文件全景图:md 文件的作用与边界
JSONC - 带注释的 JSON
JSONC - 带注释的 JSON
QMD:本地智能文档搜索引擎完全指南
QMD:本地智能文档搜索引擎完全指南
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 三角,范畴论第三条腿
联合国官方如何判断台湾地位:从 2758 号决议到发言人答问
联合国官方如何判断台湾地位:从 2758 号决议到发言人答问
复刻多 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 能力边界与架构方案
线程安全与锁优化
线程安全与锁优化
Java 线程池笔记
Java 线程池笔记