量化交易
从市场微结构入手，建立量化工程全栈视角
覆盖从因子研究、回测方法论到执行算法与高频架构的整条链路，适合策略研究员与工程师系统切入。
从这里开始
第一次访问时先按主题切入，比直接沿着时间线翻文章更快。
大模型基础设施
从 GPU 心智模型到推理服务化
把训练、推理、量化与服务化串成一条工程主线；先建立 GPU 心智模型，再进入引擎与量化落地。
密码学
从 PQC 起步，快速进入密码学热点
先看密码学系列总目录，再顺着 PQC、FHE 与迁移工程深入。
排序算法
先看排序专题，再决定从哪篇切入
把 TimSort、pdqsort、radix sort、external sort、parallel sort 串成一条工程化阅读路径。
热门专题
把已经形成系列阅读闭环的主题集中在首页，减少在 400 多篇文章里盲找的成本。
最新文章
按最近更新时间排序；如果你想系统性阅读一个主题，优先回到上面的专题入口。
【系统架构设计】架构的不变量：穿越技术周期的设计原则
单体、微服务、边缘、AI 原生换的是部署形态与运行时组件，失败、尾延迟、一致性权衡、爆炸半径、反馈控制、组织同构与可观测性前提在二十年间并未消失。本文把 Part XIV 前沿篇收束为可核对的不变量清单，逐条链回本系列已写篇章与经典文献，并给出开放问题与自检用法。
【系统架构设计】防御性架构：用系统设计约束 AI 犯错
当 AI 默认参与写代码与改系统，架构的任务从「选对模式」扩展为「把破坏半径钉死」。本文从失败场景出发，梳理类型、契约、策略引擎与沙箱组成的约束谱系，对照弹性工程里「失败必发生」的假设，并讨论过度约束与交付速度的争论边界。
【系统架构设计】AI 时代的工程基础设施：让 pipeline 替你兜底
人审吞吐跟不上 AI 变更速率时，质量只能前移到流水线。本文建立变更威胁模型，拆解 lint、类型、契约、策略、eval 与 canary 的门禁分层与失败语义，对照 Continuous Delivery 与 SRE 变更管理，并讨论 eval 能否替代代码评审的争论与开放问题。
【系统架构设计】架构即 AI 上下文：让 AI 读懂你的系统
聊天窗口里的临时粘贴不是架构。本文分析上下文失败模式，给出 ADR、C4、OpenAPI 与运行时拓扑等可版本化工件如何成为 Agent 的权威上下文，讨论新鲜度与单一真相源，并划定与 RAG/向量引擎的分工及「文档即上下文」是否制造新单点的争论。
【系统架构设计】AI 原生开发流程：人机协同的架构实践
收束 Part XV：把防御性约束、流水线门禁与架构上下文编成可审计的人机开发流程。本文划分角色与责任面，给出 PR/变更门禁状态机，衔接 HITL 与 agent-identity，并讨论责任归属争论与开放问题。
【系统架构设计】AI 原生架构：LLM 时代的系统设计
当 LLM 从离线批处理变成在线运行时组件，超时预算、按 token 计费、非确定性输出与多轮 Agent 编排必须进入架构的一等公民。本文从依赖语义差异出发，衔接弹性与过载保护，讨论网关成本治理、结构化输出与人审闸门、checkpoint 恢复与隐私友好的可观测，并划定与 RAG、向量引擎及训练基础设施的分工边界。
架构系列补洞写作规划
> 本文是写作规划，不是可发布正文。目标：补齐 [index.md](./index.md) 中 15 篇「待写」空洞。Batch 1 交付正文；Batch 2–4 仅锁定大纲与证据边界。
系统架构设计
中文互联网上最系统、最深入的系统架构设计技术博客系列。不做面试八股文搬运，不做最佳实践清单——每一篇文章都回答真实的工程问题、呈现关键的 trade-off、拆解生产环境中的真实案例。
全部系列索引
本站所有系列专题的总目录。按大模型基础设施、Transformer、量化交易与金融科技、数据与数据库、分布式与存储、密码学与安全、操作系统与底层、网络与 I/O、算法与可观测等方向分类整理，每个系列均给出简介与入口链接。
【向量检索引擎】向量引擎全景：算法、RAG 与专用引擎之间的一层
定位专用向量检索引擎相对 ANN 算法、RAG 应用与湖仓格式的分工；以 Milvus 2.6.x 四层架构与 insert/search 最小故事建立坐标系，并交代从 SIGMOD 2021 到 Streaming 演进的谱系与常见误解。
【存储工程】向量存储与 ANN 索引
存储工程视角的向量检索入门：L2/余弦/内积的几何意义与归一化等价、暴力基线、LSH/HNSW/量化直觉与 FAISS 选型；算法深度与生产引擎内核外链到 db-frontier 与 vector-engine。
【系统架构设计】连接池设计：被忽视的性能杀手
每一次网络请求的背后，都隐藏着建立连接的成本。当应用服务器需要与数据库通信时，一次完整的连接建立过程可能消耗数十毫秒；在高并发场景下，频繁创建和销毁连接会迅速耗尽系统资源，成为整个架构中最容易被忽视的性能瓶颈。连接池（Connection Pool）技术通过预先创建并复用连接，将单次连接获取的时间从毫秒级压缩到微秒级，…
【系统架构设计】弹性伸缩：自动扩缩容的设计与实现
自动扩缩容不是加机器，而是一个存在观测延迟、决策延迟和执行延迟的反馈控制环。本文从 Kubernetes HPA/VPA 官方算法、KEDA 事件驱动模型出发，拆解指标选择、冷启动、缩容保护与下游配额约束如何共同决定扩缩容能不能真正兜住流量。
【系统架构设计】高可用设计模式：冗余、故障转移与仲裁
Active-Passive、Active-Active、N+1 冗余——不同模式的故障检测与切换机制有何差异？本文拆解高可用的度量体系、冗余模型、故障转移机制、脑裂问题与 Fencing 策略，结合 VIP 漂移与 DNS 切换的工程实现，讨论主备切换中的数据一致性，最后以某支付系统数据库高可用架构为例，给出模式选型的完整对比。
【系统架构设计】弹性设计模式：熔断器、舱壁与超时
重试为何反而让系统雪崩？熔断器的状态机如何设计才不会误判？本文从一次重试风暴引发的雪崩事故出发，系统拆解熔断器（Circuit Breaker）状态机设计与参数调优、舱壁（Bulkhead）资源隔离策略、级联超时预算分配、指数退避与抖动的数学原理，深入分析 Resilience4j 与 Sentinel 的架构差异，讨论装饰器组合顺序的陷阱，最后给出工程案例复盘和弹性模式选型对比。