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
2018
Merkle Tree
Merkle Tree
2017
CoffeeScript2 简明教程
CoffeeScript2 简明教程
2018
Scala 语言核心特性深度解析:类型系统、隐式机制与表达式求值
Scala 语言核心特性深度解析:类型系统、隐式机制与表达式求值
比特币小细节
比特币小细节
DAG 执行框架优于 MapReduce 的地方在哪里?
DAG 执行框架优于 MapReduce 的地方在哪里?
布隆(Bloom)过滤器
布隆(Bloom)过滤器
风险问题
风险问题
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
正则表达式速记
正则表达式速记
2018
同比环比问题
同比环比问题
2019
所谓解耦
所谓解耦
Differences between Proxy and Decorator Pattern
Differences between Proxy and Decorator Pattern
如何进行域划分
如何进行域划分
《高可用恢复思路》笔记
《高可用恢复思路》笔记
《流水型 FO》笔记
《流水型 FO》笔记
Java 服务 OOM 排查全链路(Linux 内核 + JVM 工具链 + 问题分析)
Java 服务 OOM 排查全链路(Linux 内核 + JVM 工具链 + 问题分析)
《结构化的思考、做事、成长》笔记
《结构化的思考、做事、成长》笔记
技术发展分期
技术发展分期
《应用架构之道》笔记
《应用架构之道》笔记
重述双亲委派模型
重述双亲委派模型
(转)程序员的成长路线
(转)程序员的成长路线
Petroware 的 Unit Testing Guidelines
Petroware 的 Unit Testing Guidelines
架构整洁之道笔记
架构整洁之道笔记
世界上最简单的会计书
世界上最简单的会计书
进程和操作系统的诊断工具
进程和操作系统的诊断工具
复式记账法
复式记账法
常见数学术语中英文对照
常见数学术语中英文对照
保险专业基本功
保险专业基本功
如何做全链路压测
如何做全链路压测
微服务相关文献
微服务相关文献
部署环境
部署环境
亚马逊工作方法
亚马逊工作方法
IPv6 问题
IPv6 问题
彩色 UML 建模
彩色 UML 建模
JUnit4/JUnit5 注解
JUnit4/JUnit5 注解
代码大全
代码大全
2026
git 难点知识汇总
git 难点知识汇总
2020
六顶思考帽
六顶思考帽
泛型拾遗
泛型拾遗
hive 汇总
hive 汇总
计算机数学
计算机数学
余光中:怎样改进英式中文
余光中:怎样改进英式中文
汉语
汉语
Java 平台历代特性
Java 平台历代特性
MySQL 基本功
MySQL 基本功
安全系统设计指南
安全系统设计指南
JMX 深度历险
JMX 深度历险
Java Logging
Java Logging
认证要素
认证要素
5why分析法
5why分析法
Optional 的正确用法
Optional 的正确用法
Java 注解和配置
Java 注解和配置
Mac 使用技巧
Mac 使用技巧
ThreadLocal 的设计模式
ThreadLocal 的设计模式
《枪炮、病菌和钢铁》札记
《枪炮、病菌和钢铁》札记
Spark SQL 原理
Spark SQL 原理
交易系统模型设计
交易系统模型设计
软件方法
软件方法
Spring AOP 笔记
Spring AOP 笔记
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 - 变化的世界格局与宏观周期
2020
Spring IOC
Spring IOC
2021
世界财富与权力大转移背后的规律
世界财富与权力大转移背后的规律
货币、信贷与债务
货币、信贷与债务
分库分表
分库分表
货币价值的变迁
货币价值的变迁
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年上半年互联网财产保险市场研究报告》解读
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]
JDBC 问题
JDBC 问题
领导梯队笔记
领导梯队笔记
日程管理模板
日程管理模板
面向测试编程
面向测试编程
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 全面对比
数据库写入的潜规则——合并树与 MPP 架构深度剖析
数据库写入的潜规则——合并树与 MPP 架构深度剖析
原码·反码·补码——从环形数轴到 CPU 减法器
原码·反码·补码——从环形数轴到 CPU 减法器
经典面试问题的大数据解法——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编程助手的代码理解能力
AI 项目配置文件全景图:md 文件的作用与边界
AI 项目配置文件全景图:md 文件的作用与边界
SDD 与超级个体:AI 时代的人机协作范式
SDD 与超级个体:AI 时代的人机协作范式
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 与特朗普的党内权力
Agent Skills 半年演变:从开放格式到可评测开发循环
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
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 的本质:把随机模型锁进可验证的箱体
AI Coding Agent 的上下文操作系统:组件、生命周期与阅读地图
AI Coding Agent 的上下文操作系统:组件、生命周期与阅读地图
LRU 和 workingset:内核如何近似"最近使用"
LRU 和 workingset:内核如何近似"最近使用"
Self-Improving Agent 的边界:外部记忆能不能 shadow 模型权重?
Self-Improving Agent 的边界:外部记忆能不能 shadow 模型权重?
Folio:为什么内核重新组织 page 抽象
Folio:为什么内核重新组织 page 抽象
Context Paging:Compact、外部化、恢复与 Memory 生命周期
Context Paging:Compact、外部化、恢复与 Memory 生命周期
匿名页和 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 如何改变性能诊断
2022
面向好的架构编程
面向好的架构编程
2026
编译通过为什么就是定理得证:形式化方法系列导引
编译通过为什么就是定理得证:形式化方法系列导引
从一个 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 能力边界与架构方案
ReAct:推理与行动交织的 Agent 循环原型
ReAct:推理与行动交织的 Agent 循环原型
Agentic Flow 不是 Harness:控制流、运行时与全栈研究模型
Agentic Flow 不是 Harness:控制流、运行时与全栈研究模型
持久 Agent:当任务活得比会话长
持久 Agent:当任务活得比会话长
一次 AI Coding Agent Turn 的上下文生命周期:Hook、Tool、Skill、Compact 与 Subagent
一次 AI Coding Agent Turn 的上下文生命周期:Hook、Tool、Skill、Compact 与 Subagent
Agent 互操作协议全景:MCP、A2A、AG-UI、ANP 和 Agent Runtime 的分层地图
Agent 互操作协议全景:MCP、A2A、AG-UI、ANP 和 Agent Runtime 的分层地图
深翻页的本质:从 RDBMS 到 ES 和 Hive
深翻页的本质:从 RDBMS 到 ES 和 Hive
Loop Engineering:从 Boris 的 /loops 到持久 Agent 工程
Loop Engineering:从 Boris 的 /loops 到持久 Agent 工程
Ponytail:把 YAGNI 写进 Coding Agent 的行为层
Ponytail:把 YAGNI 写进 Coding 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 视角下的数据瓶颈、电子果蝇与自主学习
CRD 与 Operator 模式——扩展 Kubernetes 的标准路径
CRD 与 Operator 模式——扩展 Kubernetes 的标准路径
API Server 与声明式 API:一切皆资源
API Server 与声明式 API:一切皆资源
Controller 与 KRaft:从 ZooKeeper 到内置共识
Controller 与 KRaft:从 ZooKeeper 到内置共识
Consumer Group 协议:分配、重平衡与静态成员
Consumer Group 协议:分配、重平衡与静态成员
Exactly-Once 与事务:跨 partition 的原子写入
Exactly-Once 与事务:跨 partition 的原子写入
Helm 与应用打包——从 YAML 到可复用制品
Helm 与应用打包——从 YAML 到可复用制品
Ingress 与 Gateway API:七层流量的入口演进
Ingress 与 Gateway API:七层流量的入口演进
Kafka Connect:标准化的数据管道
Kafka Connect:标准化的数据管道
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
kubelet 与容器运行时:节点上到底发生了什么
kubelet 与容器运行时:节点上到底发生了什么
etcd 与持久化:集群状态的唯一事实来源
etcd 与持久化:集群状态的唯一事实来源
副本与 ISR:高可用的代价和折中
副本与 ISR:高可用的代价和折中
从零配置 GitHub Actions 自动部署 Hexo 博客
从零配置 GitHub Actions 自动部署 Hexo 博客
可观测性——Metrics、Logging、Tracing 的集群实践
可观测性——Metrics、Logging、Tracing 的集群实践
存储体系:PV、PVC、StorageClass 与 CSI
存储体系:PV、PVC、StorageClass 与 CSI
安全体系:认证、授权与加密
安全体系:认证、授权与加密
导读:为什么 Kafka 的核心是一根日志
导读:为什么 Kafka 的核心是一根日志
幂等 Producer 与序列号:消息不重不丢的第一层
幂等 Producer 与序列号:消息不重不丢的第一层
性能模型:吞吐、延迟与调优思路
性能模型:吞吐、延迟与调优思路
控制器模式与 Informer 机制:调谐循环的工程实现
控制器模式与 Informer 机制:调谐循环的工程实现
日志存储:Segment、Index 与零拷贝
日志存储:Segment、Index 与零拷贝
日志压缩:把 topic 当 KV 表用
日志压缩:把 topic 当 KV 表用
架构总览:Broker、Controller 与元数据管理
架构总览:Broker、Controller 与元数据管理
生产运维:集群扩缩、监控指标与故障排查
生产运维:集群扩缩、监控指标与故障排查
生产集群运维——升级、备份、故障排查与容量规划
生产集群运维——升级、备份、故障排查与容量规划
网络模型与 CNI:每个 Pod 一个 IP 背后的实现
网络模型与 CNI:每个 Pod 一个 IP 背后的实现
英语语法的骨架:时态、从句和修饰语怎么连起来
英语语法的骨架:时态、从句和修饰语怎么连起来
调度器深入:打分、抢占与拓扑约束
调度器深入:打分、抢占与拓扑约束
资源管理与自动伸缩:requests、limits、HPA 与 VPA
资源管理与自动伸缩:requests、limits、HPA 与 VPA
配置与密钥管理:ConfigMap、Secret 与外部集成
配置与密钥管理:ConfigMap、Secret 与外部集成
共识算法推导——从鸽巢原理到 Paxos、ZAB 与 Raft
共识算法推导——从鸽巢原理到 Paxos、ZAB 与 Raft
NRW 仲裁参数——分布式副本读写的数值问题
NRW 仲裁参数——分布式副本读写的数值问题
上下文管理全景:Agentic Coding 工具操纵 Messages 数组的六种策略
上下文管理全景:Agentic Coding 工具操纵 Messages 数组的六种策略
深入 Elasticsearch(09):搜索之上的实时分析
深入 Elasticsearch(09):搜索之上的实时分析
深入 Elasticsearch(04):从原始文本到可搜索词项
深入 Elasticsearch(04):从原始文本到可搜索词项
深入 Elasticsearch(02):Segment、倒排索引与 Doc Values
深入 Elasticsearch(02):Segment、倒排索引与 Doc Values
深入 Elasticsearch(17):两种搜索引擎的设计选择
深入 Elasticsearch(17):两种搜索引擎的设计选择
深入 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(16):集群扩缩、监控指标与故障排查
深入 Elasticsearch(16):集群扩缩、监控指标与故障排查
深入 Elasticsearch(07):BM25 与打分机制
深入 Elasticsearch(07):BM25 与打分机制
深入 Elasticsearch(12):Master 选举与集群状态同步
深入 Elasticsearch(12):Master 选举与集群状态同步
Elasticsearch 经典架构模式:从时序索引到跨集群检索
Elasticsearch 经典架构模式:从时序索引到跨集群检索
MySQL 经典架构模式:从主从复制到分库分表
MySQL 经典架构模式:从主从复制到分库分表
CI/CD 方法论的前世今生
CI/CD 方法论的前世今生
AI 是放大器不是方向:读 Adam Bender 谈软件生态学的 10 倍时刻
AI 是放大器不是方向:读 Adam Bender 谈软件生态学的 10 倍时刻
美日开战之前,美国偏袒过日本吗——核查"日本子弹七成靠美国"的说法
美日开战之前,美国偏袒过日本吗——核查"日本子弹七成靠美国"的说法
从规则到统计:人工智能七十年的两条路线之争
从规则到统计:人工智能七十年的两条路线之争
Adaptive Query Execution:运行时改写执行计划
Adaptive Query Execution:运行时改写执行计划
DAG Scheduler 与 Task Scheduler:从逻辑计划到物理执行
DAG Scheduler 与 Task Scheduler:从逻辑计划到物理执行
DataFrame 与 Dataset:类型安全与性能的折中
DataFrame 与 Dataset:类型安全与性能的折中
RDD:弹性分布式数据集的五大属性
RDD:弹性分布式数据集的五大属性
Shuffle 机制:数据跨分区交换的代价与优化
Shuffle 机制:数据跨分区交换的代价与优化
Spark SQL 与 Catalyst:从 SQL 文本到物理算子树
Spark SQL 与 Catalyst:从 SQL 文本到物理算子树
Spark on YARN / K8s:资源管理与部署模式
Spark on YARN / K8s:资源管理与部署模式
Spark 与 Flink:两种计算引擎的设计选择
Spark 与 Flink:两种计算引擎的设计选择
Structured Streaming:把流当成无界表
Structured Streaming:把流当成无界表
内存管理与 Tungsten:堆外内存、序列化与代码生成
内存管理与 Tungsten:堆外内存、序列化与代码生成
动态资源分配与作业调度:多租户集群的资源博弈
动态资源分配与作业调度:多租户集群的资源博弈
存储体系:Block Manager、广播变量与累加器
存储体系:Block Manager、广播变量与累加器
容错机制:Lineage、Checkpoint 与推测执行
容错机制:Lineage、Checkpoint 与推测执行
宽依赖与窄依赖:Stage 是怎样划分出来的
宽依赖与窄依赖:Stage 是怎样划分出来的
导读:为什么 Spark 的核心是一张 DAG
导读:为什么 Spark 的核心是一张 DAG
性能诊断:Spark UI、Event Log 与调优思路
性能诊断:Spark UI、Event Log 与调优思路
数据源 API 与谓词下推:让存储层帮忙过滤
数据源 API 与谓词下推:让存储层帮忙过滤
水位线与状态管理:流处理的时间语义
水位线与状态管理:流处理的时间语义
为什么叫"测试夹具":Fixture 的词源与跨领域漫游
为什么叫"测试夹具":Fixture 的词源与跨领域漫游
2026 Coding Harness 实现图谱:Skill、上下文与扩展系统
2026 Coding Harness 实现图谱:Skill、上下文与扩展系统
AI Coding Agent 的 Skill 加载机制深度解析
AI Coding Agent 的 Skill 加载机制深度解析
AI Coding Agent 的上下文栈:组件边界与装配顺序
AI Coding Agent 的上下文栈:组件边界与装配顺序
从 Rules 到 Agent Skills:能力加载机制的演变
从 Rules 到 Agent Skills:能力加载机制的演变
Agent 会话边界设计:Session、Context Window 与工作状态转移
Agent 会话边界设计:Session、Context Window 与工作状态转移
导读:React 不是模板引擎,是一个渲染调度系统
导读:React 不是模板引擎,是一个渲染调度系统
导读:TypeScript 不是给 JavaScript 加注解,是给 JavaScript 加类型系统
导读:TypeScript 不是给 JavaScript 加注解,是给 JavaScript 加类型系统
各种各样的 Case:一份工程术语家谱
各种各样的 Case:一份工程术语家谱
从模型评测到系统评测:OpenAI 与 Anthropic 怎么搭能力评测体系
从模型评测到系统评测:OpenAI 与 Anthropic 怎么搭能力评测体系
深入 Hadoop 00 - 导读:节点总会失败
深入 Hadoop 00 - 导读:节点总会失败
深入 Hadoop 01 - HDFS 架构与三层切分
深入 Hadoop 01 - HDFS 架构与三层切分
深入 Hadoop 02 - 文件写入路径与流水线
深入 Hadoop 02 - 文件写入路径与流水线
深入 Hadoop 03 - 文件读取路径与副本选择
深入 Hadoop 03 - 文件读取路径与副本选择
深入 Hadoop 04 - NameNode 内存模型与启动恢复
深入 Hadoop 04 - NameNode 内存模型与启动恢复
深入 Hadoop 05 - HDFS HA 与脑裂防御
深入 Hadoop 05 - HDFS HA 与脑裂防御
深入 Hadoop 07 - YARN 架构与三方契约
深入 Hadoop 07 - YARN 架构与三方契约
深入 Hadoop 06 - HDFS 3.x 演进与纠删码
深入 Hadoop 06 - HDFS 3.x 演进与纠删码
深入 Hadoop 08 - YARN 资源模型、Container 与 NodeLabel
深入 Hadoop 08 - YARN 资源模型、Container 与 NodeLabel
深入 Hadoop 09 - YARN 调度器对比:FIFO、Capacity、Fair
深入 Hadoop 09 - YARN 调度器对比:FIFO、Capacity、Fair
深入 Hadoop 10 - YARN 应用程序生命周期
深入 Hadoop 10 - YARN 应用程序生命周期
深入 Hadoop 11 - YARN HA 与 Federation
深入 Hadoop 11 - YARN HA 与 Federation
深入 Hadoop 12 - YARN Timeline Service v2
深入 Hadoop 12 - YARN Timeline Service v2
深入 Hadoop 13 - MapReduce 编程模型与分而治之
深入 Hadoop 13 - MapReduce 编程模型与分而治之
深入 Hadoop 14 - MapReduce Shuffle 全流程
深入 Hadoop 14 - MapReduce Shuffle 全流程
深入 Hadoop 15 - MRv2 on YARN ApplicationMaster 与 Task Attempt
深入 Hadoop 15 - MRv2 on YARN ApplicationMaster 与 Task Attempt
深入 Hadoop 16 - Hadoop RPC 协议栈
深入 Hadoop 16 - Hadoop RPC 协议栈
深入 Hadoop 17 - 序列化与压缩
深入 Hadoop 17 - 序列化与压缩
深入 Hadoop 18 - Hadoop 安全 Kerberos Token ProxyUser
深入 Hadoop 18 - Hadoop 安全 Kerberos Token ProxyUser
深入 Hadoop 19 - 监控与运维 Metrics JMX 日志聚合
深入 Hadoop 19 - 监控与运维 Metrics JMX 日志聚合
深入 Hadoop 20 - Hadoop 生态 Hive HBase Pig
深入 Hadoop 20 - Hadoop 生态 Hive HBase Pig
深入 Hadoop 21 - Hadoop 与对象存储 Kubernetes 演进对比
深入 Hadoop 21 - Hadoop 与对象存储 Kubernetes 演进对比
深入 Hadoop 22 - Hadoop 设计遗产从 GFS MapReduce 到云原生
深入 Hadoop 22 - Hadoop 设计遗产从 GFS MapReduce 到云原生
OpenAI 与 Anthropic 知识库研究进展深度对比
OpenAI 与 Anthropic 知识库研究进展深度对比
深入 Kibana 00 - 导读:Kibana 的状态存在 Elasticsearch 里
深入 Kibana 00 - 导读:Kibana 的状态存在 Elasticsearch 里
深入 Logstash 00 - 导读:核心对象是 event,骨架是三段管道
深入 Logstash 00 - 导读:核心对象是 event,骨架是三段管道
深入 Kibana 01 - 架构:浏览器、Node.js server 与 platform
深入 Kibana 01 - 架构:浏览器、Node.js server 与 platform
深入 Kibana 02 - Saved Object:一切状态的统一模型
深入 Kibana 02 - Saved Object:一切状态的统一模型
深入 Kibana 03 - Data View:查询之前的字段抽象
深入 Kibana 03 - Data View:查询之前的字段抽象
深入 Kibana 04 - Search Source 与查询翻译:KQL、Lucene 与 Query DSL
深入 Kibana 04 - Search Source 与查询翻译:KQL、Lucene 与 Query DSL
深入 Kibana 05 - Discover:交互式检索的执行模型
深入 Kibana 05 - Discover:交互式检索的执行模型
深入 Kibana 06 - 聚合式可视化的老路:Visualize 与 bucket/metric
深入 Kibana 06 - 聚合式可视化的老路:Visualize 与 bucket/metric
深入 Kibana 07 - Lens:拖拽背后的自动聚合推断
深入 Kibana 07 - Lens:拖拽背后的自动聚合推断
深入 Kibana 08 - TSVB、Timelion 与 Vega:时序与自定义可视化
深入 Kibana 08 - TSVB、Timelion 与 Vega:时序与自定义可视化
深入 Kibana 09 - Dashboard 与 Embeddable:面板的组合与依赖
深入 Kibana 09 - Dashboard 与 Embeddable:面板的组合与依赖
深入 Kibana(十):Alerting 框架——Rule、Connector 与 Action 的三段契约
深入 Kibana(十):Alerting 框架——Rule、Connector 与 Action 的三段契约
深入 Kibana(十一):Reporting——从 Dashboard 到 PDF/PNG 的生成链路
深入 Kibana(十一):Reporting——从 Dashboard 到 PDF/PNG 的生成链路
深入 Kibana(十二):Task Manager——Kibana 内部的分布式任务调度
深入 Kibana(十二):Task Manager——Kibana 内部的分布式任务调度
深入 Kibana 13 - Spaces 与安全:RBAC、Feature Controls 与多租户
深入 Kibana 13 - Spaces 与安全:RBAC、Feature Controls 与多租户
深入 Kibana 14 - 插件体系:platform 的 setup/start 生命周期
深入 Kibana 14 - 插件体系:platform 的 setup/start 生命周期
深入 Kibana 16 - Kibana vs Grafana:两种可视化平台的设计取舍
深入 Kibana 16 - Kibana vs Grafana:两种可视化平台的设计取舍
深入 Kibana 15 - 性能模型:bundle、bootstrap 与异步搜索会话
深入 Kibana 15 - 性能模型:bundle、bootstrap 与异步搜索会话
深入 Kibana 17 - 演进:从纯前端到 platform 再到 Serverless
深入 Kibana 17 - 演进:从纯前端到 platform 再到 Serverless
深入 Logstash 01 - 架构:JRuby、JVM 与 pipeline 的运行形态
深入 Logstash 01 - 架构:JRuby、JVM 与 pipeline 的运行形态
深入 Logstash 02 - event 模型:@timestamp、@metadata 与字段引用
深入 Logstash 02 - event 模型:@timestamp、@metadata 与字段引用
深入 Logstash 03 - codec:字节流与 event 的边界转换
深入 Logstash 03 - codec:字节流与 event 的边界转换
深入 Logstash 04 - input 插件:拉取、监听与 Beats 接入
深入 Logstash 04 - input 插件:拉取、监听与 Beats 接入
深入 Logstash 05 - Grok 的本质:命名正则加预定义 pattern
深入 Logstash 05 - Grok 的本质:命名正则加预定义 pattern
深入 Logstash 06 - dissect 与结构化 filter:放弃回溯换吞吐
深入 Logstash 06 - dissect 与结构化 filter:放弃回溯换吞吐
深入 Logstash 07 - 常用 filter 组合:mutate、date、geoip 与条件
深入 Logstash 07 - 常用 filter 组合:mutate、date、geoip 与条件
深入 Logstash 08 - output 插件:Elasticsearch output 与批量写入
深入 Logstash 08 - output 插件:Elasticsearch output 与批量写入
深入 Logstash 09 - pipeline 执行模型:worker、batch 与背压
深入 Logstash 09 - pipeline 执行模型:worker、batch 与背压
深入 Logstash 10 - 内存队列 vs 持久队列:可靠性的分界线
深入 Logstash 10 - 内存队列 vs 持久队列:可靠性的分界线
深入 Logstash 11 - 死信队列(DLQ):无法处理的 event 去哪
深入 Logstash 11 - 死信队列(DLQ):无法处理的 event 去哪
深入 Logstash 12 - Multiple Pipelines 与 pipeline-to-pipeline
深入 Logstash 12 - Multiple Pipelines 与 pipeline-to-pipeline
深入 Logstash 13 - 监控:Node Stats API、hot threads 与瓶颈定位
深入 Logstash 13 - 监控:Node Stats API、hot threads 与瓶颈定位
深入 Logstash 14 - 性能调优:JVM heap、批处理与持久队列磁盘
深入 Logstash 14 - 性能调优:JVM heap、批处理与持久队列磁盘
深入 Logstash 15 - Logstash vs Beats vs Ingest Pipeline:该用谁
深入 Logstash 15 - Logstash vs Beats vs Ingest Pipeline:该用谁
深入 Logstash 16 - Logstash vs Fluentd vs Vector:日志管道的三种取舍
深入 Logstash 16 - Logstash vs Fluentd vs Vector:日志管道的三种取舍
深入 Logstash 17 - Logstash 的演进与 Elastic Agent 的冲击
深入 Logstash 17 - Logstash 的演进与 Elastic Agent 的冲击
Unix 常用命令
Unix 常用命令
Coding Agent 领域的 Graph Engineering——当图工程遇上智能体编排
Coding Agent 领域的 Graph Engineering——当图工程遇上智能体编排
图工程综述——大规模图计算引擎与框架全览
图工程综述——大规模图计算引擎与框架全览
深入 Coq 02:目标窗口与 tactic 交互模型
深入 Coq 02:目标窗口与 tactic 交互模型
深入 Coq 03:Gallina 核心语法速查
深入 Coq 03:Gallina 核心语法速查
深入 Coq 04:基础 tactic 全景
深入 Coq 04:基础 tactic 全景
深入 Coq 05:搜索与自动化
深入 Coq 05:搜索与自动化
深入 Coq 06:SSReflect 风格
深入 Coq 06:SSReflect 风格
深入 Coq 07:Ltac 编程
深入 Coq 07:Ltac 编程
深入 Coq 08:Ltac2 与现代 tactic 编程
深入 Coq 08:Ltac2 与现代 tactic 编程
深入 Coq 09:归纳证明:自然数、列表、树
深入 Coq 09:归纳证明:自然数、列表、树
深入 Coq 10:等式推理与重写策略
深入 Coq 10:等式推理与重写策略
深入 Coq 12:类型类与 Canonical Structures
深入 Coq 12:类型类与 Canonical Structures
深入 Coq 11:存在性证明与构造见证
深入 Coq 11:存在性证明与构造见证
深入 Coq 13:证明红绿灯:常见卡住模式与诊断
深入 Coq 13:证明红绿灯:常见卡住模式与诊断
深入 Coq 14:程序提取
深入 Coq 14:程序提取
深入 Coq 16:读 CompCert 源码
深入 Coq 16:读 CompCert 源码
深入 Coq 15:验证一个小型解释器
深入 Coq 15:验证一个小型解释器
深入 Coq 17:项目组织与持续集成
深入 Coq 17:项目组织与持续集成
深入 Coq 18:Coq 证明工程总结与路线图
深入 Coq 18:Coq 证明工程总结与路线图
深入 Lean 01:Lake 项目结构与依赖管理
深入 Lean 01:Lake 项目结构与依赖管理
深入 Lean 02:Term-mode 与 Tactic-mode 切换心法
深入 Lean 02:Term-mode 与 Tactic-mode 切换心法
深入 Lean 03:Universe 与类型层级实战
深入 Lean 03:Universe 与类型层级实战
深入 Lean 04:核心 tactic 精讲
深入 Lean 04:核心 tactic 精讲
深入 Lean 05:simp 与 norm_num
深入 Lean 05:simp 与 norm_num
深入 Lean 06:omega/linarith/positivity/polyrith:算术自动化
深入 Lean 06:omega/linarith/positivity/polyrith:算术自动化
深入 Lean 07:conv 与 calc
深入 Lean 07:conv 与 calc
深入 Lean 08:自定义 tactic 与宏
深入 Lean 08:自定义 tactic 与宏
深入 Lean 10:类型类层次:从 Monoid 到 Field
深入 Lean 10:类型类层次:从 Monoid 到 Field
深入 Lean 09:Mathlib 搜索技巧
深入 Lean 09:Mathlib 搜索技巧
深入 Lean 11:在 Mathlib 上证一个小定理
深入 Lean 11:在 Mathlib 上证一个小定理
深入 Lean 12:拓扑与分析基础结构导览
深入 Lean 12:拓扑与分析基础结构导览
深入 Lean 13:有限组合与数论片段
深入 Lean 13:有限组合与数论片段
深入 Lean 14:元编程模型:Expr/MVarId/MetaM
深入 Lean 14:元编程模型:Expr/MVarId/MetaM
深入 Lean 15:编写 elaborator 与 command
深入 Lean 15:编写 elaborator 与 command
深入 Coq 01:开发环境与项目结构
深入 Coq 01:开发环境与项目结构
深入 Lean 16:用 Aesop 写声明式自动化
深入 Lean 16:用 Aesop 写声明式自动化
深入 Lean 17:可执行代码与 FFI
深入 Lean 17:可执行代码与 FFI
深入 Lean 18:Lean 4 证明工程总结与路线图
深入 Lean 18:Lean 4 证明工程总结与路线图
深入图工程
深入图工程
oh-my-claudecode vs oh-my-openagent:两大 Agent 编排框架深度对比与实用教程
oh-my-claudecode vs oh-my-openagent:两大 Agent 编排框架深度对比与实用教程
DeepSeek Harness:为什么插件机制比流程编排更像运行时
DeepSeek Harness:为什么插件机制比流程编排更像运行时
OpenAI Codex Harness 源码解剖:它与 Codex CLI 到底是什么关系
OpenAI Codex Harness 源码解剖:它与 Codex CLI 到底是什么关系
深入 HBase 01 - 数据模型:Cell、Column Family 与版本
深入 HBase 01 - 数据模型:Cell、Column Family 与版本
深入 HBase 00 - 导读:row key 决定数据位置
深入 HBase 00 - 导读:row key 决定数据位置
深入 HBase 02 - 集群架构:HMaster、RegionServer、ZooKeeper 与 hbase:meta
深入 HBase 02 - 集群架构:HMaster、RegionServer、ZooKeeper 与 hbase:meta
深入 HBase 03 - Schema 与 row key 设计
深入 HBase 03 - Schema 与 row key 设计
深入 HBase 04 - 写入路径:WAL、MVCC、MemStore 与 flush
深入 HBase 04 - 写入路径:WAL、MVCC、MemStore 与 flush
深入 HBase 05 - 读取路径:BlockCache、Bloom Filter 与 HFile block
深入 HBase 05 - 读取路径:BlockCache、Bloom Filter 与 HFile block
深入 HBase 06 - HFile 内部结构
深入 HBase 06 - HFile 内部结构
深入 HBase 07 - Compaction、TTL、版本与 Delete
深入 HBase 07 - Compaction、TTL、版本与 Delete
深入 HBase 08 - Region 生命周期:split、merge 与 assignment
深入 HBase 08 - Region 生命周期:split、merge 与 assignment
深入 HBase 09 - Client 路由与重试
深入 HBase 09 - Client 路由与重试
深入 HBase 10 - 行级原子性与一致性边界
深入 HBase 10 - 行级原子性与一致性边界
深入 HBase 11 - RegionServer 崩溃与 WAL 恢复
深入 HBase 11 - RegionServer 崩溃与 WAL 恢复
深入 HBase 12 - 跨集群 Replication
深入 HBase 12 - 跨集群 Replication
深入 HBase 13 - Snapshot、Backup 与恢复
深入 HBase 13 - Snapshot、Backup 与恢复
深入 HBase 14 - Get、Scan、Filter 与分页
深入 HBase 14 - Get、Scan、Filter 与分页
深入 HBase 16 - Coprocessor、Endpoint 与 Phoenix 边界
深入 HBase 16 - Coprocessor、Endpoint 与 Phoenix 边界
深入 HBase 15 - BufferedMutator 与 Bulk Load
深入 HBase 15 - BufferedMutator 与 Bulk Load
深入 HBase 17 - Kerberos、RPC 保护与 ACL
深入 HBase 17 - Kerberos、RPC 保护与 ACL
深入 HBase 18 - Metrics、hbtop、Compaction 与性能调优
深入 HBase 18 - Metrics、hbtop、Compaction 与性能调优
深入 HBase 19 - HBase 3.0 与设计边界
深入 HBase 19 - HBase 3.0 与设计边界
tmux 教程:把一次 SSH 登录变成可恢复的终端工作台
tmux 教程:把一次 SSH 登录变成可恢复的终端工作台
分布式 ID 系统设计:从需求约束推导架构
分布式 ID 系统设计:从需求约束推导架构
从零编写操作系统 00 - 从启动扇区到窗口:这套操作系统准备实现什么
从零编写操作系统 00 - 从启动扇区到窗口:这套操作系统准备实现什么
从零编写操作系统 01 - 准备工具链:源代码怎样变成磁盘里的字节
从零编写操作系统 01 - 准备工具链:源代码怎样变成磁盘里的字节
从零编写操作系统 03 - 两阶段引导:加载比一个扇区更大的程序
从零编写操作系统 03 - 两阶段引导:加载比一个扇区更大的程序
从零编写操作系统 02 - 第一个启动扇区:让 BIOS 执行自己的指令
从零编写操作系统 02 - 第一个启动扇区:让 BIOS 执行自己的指令
从零编写操作系统 04 - 进入保护模式:建立第一份运行环境
从零编写操作系统 04 - 进入保护模式:建立第一份运行环境
从零编写操作系统 06 - 输出与故障现场:建立串口、控制台和 panic
从零编写操作系统 06 - 输出与故障现场:建立串口、控制台和 panic
从零编写操作系统 05 - 跳进 C:入口、链接脚本与内存布局
从零编写操作系统 05 - 跳进 C:入口、链接脚本与内存布局
从零编写操作系统 07 - 异常入口:CPU 出错后把哪些信息交给内核
从零编写操作系统 07 - 异常入口:CPU 出错后把哪些信息交给内核
从零编写操作系统 08 - 时钟中断:让外部事件打断当前执行
从零编写操作系统 08 - 时钟中断:让外部事件打断当前执行
从零编写操作系统 09 - 键盘与事件队列:把中断接收和字符处理分开
从零编写操作系统 09 - 键盘与事件队列:把中断接收和字符处理分开
从零编写操作系统 10 - 物理页分配:哪些内存真正可以交出去
从零编写操作系统 10 - 物理页分配:哪些内存真正可以交出去
从零编写操作系统 11 - 分页与页故障:修改映射后重试同一条指令
从零编写操作系统 11 - 分页与页故障:修改映射后重试同一条指令
从零编写操作系统 12 - 内核堆:在物理页内分配、分裂与合并
从零编写操作系统 12 - 内核堆:在物理页内分配、分裂与合并
从零编写现代编译器 00 - 这门语言准备编译什么
从零编写现代编译器 00 - 这门语言准备编译什么
从零编写现代编译器 01 - return 42:从源码到可执行文件
从零编写现代编译器 01 - return 42:从源码到可执行文件
从零编写现代编译器 02 - 词法分析器:把文本切成 Token
从零编写现代编译器 02 - 词法分析器:把文本切成 Token
从零编写现代编译器 03 - 语句解析:let、赋值和分号
从零编写现代编译器 03 - 语句解析:let、赋值和分号
从零编写现代编译器 05 - 名字、作用域与可变变量
从零编写现代编译器 05 - 名字、作用域与可变变量
从零编写现代编译器 04 - 表达式解析与错误恢复
从零编写现代编译器 04 - 表达式解析与错误恢复
从零编写现代编译器 06 - 类型检查与 Typed HIR
从零编写现代编译器 06 - 类型检查与 Typed HIR
从零编写现代编译器 07 - 用参考解释器固定语言语义
从零编写现代编译器 07 - 用参考解释器固定语言语义
从零编写现代编译器 08 - 函数调用、递归和返回值
从零编写现代编译器 08 - 函数调用、递归和返回值
从零编写现代编译器 09 - 条件、循环和可执行程序
从零编写现代编译器 09 - 条件、循环和可执行程序
从零编写现代编译器 10 - 基本块、跳转与 CFG
从零编写现代编译器 10 - 基本块、跳转与 CFG
从零编写现代编译器 11 - 支配关系、活跃变量与数据流
从零编写现代编译器 11 - 支配关系、活跃变量与数据流
从零编写现代编译器 12 - SSA 构造与 phi 节点
从零编写现代编译器 12 - SSA 构造与 phi 节点
从零编写现代编译器 13 - 常量传播与无用代码删除
从零编写现代编译器 13 - 常量传播与无用代码删除
从零编写现代编译器 14 - 接入 LLVM 优化与后端
从零编写现代编译器 14 - 接入 LLVM 优化与后端
从零编写现代编译器 15 - 数据布局与受检数组
从零编写现代编译器 15 - 数据布局与受检数组
从零编写现代编译器 16 - 字符串和引用计数
从零编写现代编译器 16 - 字符串和引用计数
从零编写现代编译器 17 - 结构体、枚举与模式匹配
从零编写现代编译器 17 - 结构体、枚举与模式匹配
从零编写现代编译器 18 - 泛型如何变成具体代码
从零编写现代编译器 18 - 泛型如何变成具体代码
从零编写现代编译器 19 - 多文件模块、ABI 与链接
从零编写现代编译器 19 - 多文件模块、ABI 与链接
从零编写现代编译器 20 - 让错误回到源程序
从零编写现代编译器 20 - 让错误回到源程序
从零编写现代编译器 21 - 差分、属性与模糊测试
从零编写现代编译器 21 - 差分、属性与模糊测试
从零编写现代编译器 22 - 测量编译与运行性能
从零编写现代编译器 22 - 测量编译与运行性能
从零编写现代编译器 23 - 不完整代码与增量分析
从零编写现代编译器 23 - 不完整代码与增量分析
从零编写现代编译器 24 - 接入语言服务器协议
从零编写现代编译器 24 - 接入语言服务器协议
从零编写现代编译器 25 - 从空目录构建并运行完整应用
从零编写现代编译器 25 - 从空目录构建并运行完整应用
从零编写现代编译器 26 - 用 Cranelift 实现 JIT 编译
从零编写现代编译器 26 - 用 Cranelift 实现 JIT 编译
从零编写现代编译器 27 - 编译到 WebAssembly
从零编写现代编译器 27 - 编译到 WebAssembly
从零编写现代编译器 28 - 用 WIT 封装组件接口
从零编写现代编译器 28 - 用 WIT 封装组件接口
从零编写现代编译器 29 - MLIR 入门:定义 Sprout 方言
从零编写现代编译器 29 - MLIR 入门:定义 Sprout 方言
从零编写现代编译器 30 - 张量方言与 Lowering 到 LLVM
从零编写现代编译器 30 - 张量方言与 Lowering 到 LLVM
现代编译器写作计划:从 Rust 到 LLVM、Wasm 和 MLIR
现代编译器写作计划:从 Rust 到 LLVM、Wasm 和 MLIR
从零构建现代搜索引擎(00):最终要做出怎样的搜索引擎
从零构建现代搜索引擎(00):最终要做出怎样的搜索引擎
从零构建现代搜索引擎(01):建立可重复运行的项目
从零构建现代搜索引擎(01):建立可重复运行的项目
从零构建现代搜索引擎(02):文档对象与统一导入
从零构建现代搜索引擎(02):文档对象与统一导入
从零构建现代搜索引擎(03):在改进排序前建立评测基线
从零构建现代搜索引擎(03):在改进排序前建立评测基线
从零构建现代搜索引擎(05):正文提取、URL 规范化与去重
从零构建现代搜索引擎(05):正文提取、URL 规范化与去重
从零构建现代搜索引擎(04):实现有边界的网页爬虫
从零构建现代搜索引擎(04):实现有边界的网页爬虫
从零构建现代搜索引擎(07):第一张倒排索引
从零构建现代搜索引擎(07):第一张倒排索引
从零构建现代搜索引擎(06):中文、英文和代码怎样变成词项
从零构建现代搜索引擎(06):中文、英文和代码怎样变成词项
从零构建现代搜索引擎(08):短语、布尔查询与过滤
从零构建现代搜索引擎(08):短语、布尔查询与过滤
从零构建现代搜索引擎(09):从词频到 BM25
从零构建现代搜索引擎(09):从词频到 BM25
从零构建现代搜索引擎(10):内存装不下时怎样建立索引
从零构建现代搜索引擎(10):内存装不下时怎样建立索引
从零构建现代搜索引擎(11):查询为什么不必扫描全部候选
从零构建现代搜索引擎(11):查询为什么不必扫描全部候选
从零构建现代搜索引擎(12):更新、删除与崩溃恢复
从零构建现代搜索引擎(12):更新、删除与崩溃恢复
从零构建现代搜索引擎(13):给搜索结果补齐用户需要的信息
从零构建现代搜索引擎(13):给搜索结果补齐用户需要的信息
从零构建现代搜索引擎(14):搜索 API 与第一个网页界面
从零构建现代搜索引擎(14):搜索 API 与第一个网页界面
从零构建现代搜索引擎(15):将自制内核接到 Lucene
从零构建现代搜索引擎(15):将自制内核接到 Lucene
从零构建现代搜索引擎(16):在自己的查询集上优化相关性
从零构建现代搜索引擎(16):在自己的查询集上优化相关性
从零构建现代搜索引擎(17):查询理解与链接质量信号
从零构建现代搜索引擎(17):查询理解与链接质量信号
从零构建现代搜索引擎(19):用 HNSW 加速近邻搜索
从零构建现代搜索引擎(19):用 HNSW 加速近邻搜索
从零构建现代搜索引擎(18):将文档编码成可检索向量
从零构建现代搜索引擎(18):将文档编码成可检索向量
从零构建现代搜索引擎(20):将关键词与向量结果合并
从零构建现代搜索引擎(20):将关键词与向量结果合并
从零构建现代搜索引擎(21):让重排序模型检查候选
从零构建现代搜索引擎(21):让重排序模型检查候选
从零构建现代搜索引擎(22):压缩向量与控制推理成本
从零构建现代搜索引擎(22):压缩向量与控制推理成本
从零构建现代搜索引擎(23):模型升级时怎样重建索引
从零构建现代搜索引擎(23):模型升级时怎样重建索引
从零构建现代搜索引擎(24):建立搜索的性能画像
从零构建现代搜索引擎(24):建立搜索的性能画像
从零构建现代搜索引擎(25):新鲜度与持续采集
从零构建现代搜索引擎(25):新鲜度与持续采集
从零构建现代搜索引擎(26):把查询分发到多个分片
从零构建现代搜索引擎(26):把查询分发到多个分片
从零构建现代搜索引擎(27):节点故障、备份与恢复
从零构建现代搜索引擎(27):节点故障、备份与恢复
从零构建现代搜索引擎(28):搜索质量与访问边界
从零构建现代搜索引擎(28):搜索质量与访问边界
从零构建现代搜索引擎(29):形成可重复的相关性迭代流程
从零构建现代搜索引擎(29):形成可重复的相关性迭代流程
从零构建现代搜索引擎(30):从空目录完成最终演示
从零构建现代搜索引擎(30):从空目录完成最终演示
从零构建现代搜索引擎(E01):学习稀疏检索
从零构建现代搜索引擎(E01):学习稀疏检索
从零构建现代搜索引擎(E02):多向量与 Late Interaction
从零构建现代搜索引擎(E02):多向量与 Late Interaction
从零构建现代搜索引擎(E04):有界多步搜索与引用答案
从零构建现代搜索引擎(E04):有界多步搜索与引用答案
从零构建现代搜索引擎(E03):多模态文档搜索
从零构建现代搜索引擎(E03):多模态文档搜索
从零编写操作系统 13 - 保存与恢复执行现场:先实现协作式任务
从零编写操作系统 13 - 保存与恢复执行现场:先实现协作式任务
从零构建现代搜索引擎(E05):磁盘 ANN 与引擎工程对照
从零构建现代搜索引擎(E05):磁盘 ANN 与引擎工程对照
从零编写操作系统 14 - 抢占调度:时间片结束后怎样换一个任务
从零编写操作系统 14 - 抢占调度:时间片结束后怎样换一个任务
从零编写操作系统 15 - 等待与唤醒:任务为什么不能一直轮询
从零编写操作系统 15 - 等待与唤醒:任务为什么不能一直轮询
从零编写操作系统 16 - 进入用户态:让错误程序无法直接改内核
从零编写操作系统 16 - 进入用户态:让错误程序无法直接改内核
总统制、内阁制与半总统制:历史沿革、权力分立与各国实践
总统制、内阁制与半总统制:历史沿革、权力分立与各国实践
2018
正交性
正交性
2026
Kafka Streams:在日志之上构建流处理
Kafka Streams:在日志之上构建流处理
情绪提示词:用心理学手段提升 LLM 性能的研究综述
情绪提示词:用心理学手段提升 LLM 性能的研究综述
Java 线程池笔记
Java 线程池笔记