量化交易
从市场微结构入手，建立量化工程全栈视角
覆盖从因子研究、回测方法论到执行算法与高频架构的整条链路，适合策略研究员与工程师系统切入。
从这里开始
第一次访问时先按主题切入，比直接沿着时间线翻文章更快。
大模型基础设施
从 GPU 心智模型到推理服务化
把训练、推理、量化与服务化串成一条工程主线；先建立 GPU 心智模型，再进入引擎与量化落地。
密码学
从 PQC 起步，快速进入密码学热点
先看密码学系列总目录，再顺着 PQC、FHE 与迁移工程深入。
排序算法
先看排序专题，再决定从哪篇切入
把 TimSort、pdqsort、radix sort、external sort、parallel sort 串成一条工程化阅读路径。
热门专题
把已经形成系列阅读闭环的主题集中在首页，减少在 400 多篇文章里盲找的成本。
最新文章
按最近更新时间排序；如果你想系统性阅读一个主题，优先回到上面的专题入口。
【系统架构设计】架构的不变量：穿越技术周期的设计原则
单体、微服务、边缘、AI 原生换的是部署形态与运行时组件，失败、尾延迟、一致性权衡、爆炸半径、反馈控制、组织同构与可观测性前提在二十年间并未消失。本文把 Part XIV 前沿篇收束为可核对的不变量清单，逐条链回本系列已写篇章与经典文献，并给出开放问题与自检用法。
【系统架构设计】连接池设计：被忽视的性能杀手
每一次网络请求的背后，都隐藏着建立连接的成本。当应用服务器需要与数据库通信时，一次完整的连接建立过程可能消耗数十毫秒；在高并发场景下，频繁创建和销毁连接会迅速耗尽系统资源，成为整个架构中最容易被忽视的性能瓶颈。连接池（Connection Pool）技术通过预先创建并复用连接，将单次连接获取的时间从毫秒级压缩到微秒级，…
【系统架构设计】弹性伸缩：自动扩缩容的设计与实现
自动扩缩容不是加机器，而是一个存在观测延迟、决策延迟和执行延迟的反馈控制环。本文从 Kubernetes HPA/VPA 官方算法、KEDA 事件驱动模型出发，拆解指标选择、冷启动、缩容保护与下游配额约束如何共同决定扩缩容能不能真正兜住流量。
【系统架构设计】高可用设计模式：冗余、故障转移与仲裁
Active-Passive、Active-Active、N+1 冗余——不同模式的故障检测与切换机制有何差异？本文拆解高可用的度量体系、冗余模型、故障转移机制、脑裂问题与 Fencing 策略，结合 VIP 漂移与 DNS 切换的工程实现，讨论主备切换中的数据一致性，最后以某支付系统数据库高可用架构为例，给出模式选型的完整对比。
【系统架构设计】弹性设计模式：熔断器、舱壁与超时
重试为何反而让系统雪崩？熔断器的状态机如何设计才不会误判？本文从一次重试风暴引发的雪崩事故出发，系统拆解熔断器（Circuit Breaker）状态机设计与参数调优、舱壁（Bulkhead）资源隔离策略、级联超时预算分配、指数退避与抖动的数学原理，深入分析 Resilience4j 与 Sentinel 的架构差异，讨论装饰器组合顺序的陷阱，最后给出工程案例复盘和弹性模式选型对比。
【系统架构设计】限流与过载保护：保命的最后一道防线
健康的下游也能被合法流量打垮。本文从一次缓存击穿引发的过载场景出发，梳理令牌桶、漏桶、固定/滑动窗口限流算法的公式与权衡，拆解客户端到网关到服务端的多层限流部署、自适应过载控制的分歧，以及分布式限流一致性、重试放大等失败模式。
【系统架构设计】优雅降级：如何体面地\"坏掉\"
系统过载时，被动失效和主动降级看起来结果相似，工程含义却完全不同。本文从 Google SRE 的负载脱落与优雅降级实践出发，给出可执行的降级目录、触发信号、开关编排与恢复顺序，讨论一致性边界、用户提示与常见反模式，并说明它如何与熔断、限流协同工作。
【系统架构设计】SLO 工程：可靠性的量化管理
SLI、SLO、SLA 不只是运维指标——它们是架构决策的定量依据。本文从 Google SRE 的 Error Budget 策略出发，拆解多窗口燃烧率告警的数学原理，讲清楚 SLO 如何在产品与工程的冲突中充当仲裁者，并给出基于 Prometheus 和 Grafana 的落地方案。
【系统架构设计】容量规划：从拍脑袋到数据驱动
容量规划不是'加机器'。本文从排队论基础讲起，用 Little 定律和 M/M/c 模型建立容量预测框架，再拆解全链路压测的设计方法和容量基线与水位线管理的工程实践，用一个电商大促案例走完从历史数据分析到资源供给的全过程。
【系统架构设计】Slack 架构：实时协作的工程挑战
Slack 每天为超过一千万活跃用户提供实时消息服务，峰值时段同时维持数百万条 WebSocket（全双工通信协议）长连接。一条消息从发送到被同一频道所有成员看到，端到端延迟通常控制在 200 毫秒以内。这套系统并非一蹴而就：它从一个 PHP 单体应用起步，历经数次关键重构，逐步演变为以 Hack、Go、Java 为核…
【系统架构设计】Shopify 架构：Rails 单体的极限突破
Shopify 在 Ruby on Rails 单体上承载数百万商户的多租户电商。本文沿官方工程博客与 InfoQ 演讲脉络，梳理 2015 分片触顶、Pod 完全隔离、Sorting Hat 路由、模块化单体与 Packwerk 边界、Checkout/Storefront 分叉，以及 BFCM 生产压测策略，并区分运行时 Pod 与代码 Component 两套正交维度。
【系统架构设计】Discord 架构：从 Go 到 Rust 的性能进化
Discord 用 Elixir 扛住 Gateway WebSocket、用 SFU 承载 WebRTC 语音、用 ScyllaDB 存万亿级消息，却在 Read States 热路径上被 Go 的 GC 逼到 Rust。本文按官方工程博客梳理其多语言栈、存储迁移、边缘语音与 2026 年 voice syncers 事故，并给出 Elixir/Go/Rust 选型矩阵与仍开放的架构问题。
【系统架构设计】Cloudflare 架构：全球边缘网络的设计哲学
Cloudflare 用同一组 IP、同一套软件栈、同一种隔离技术覆盖全球数百个数据中心。本文从 Anycast 路由、同构边缘栈、内核里的 BPF 处理流水线，到 Workers 的 V8 Isolate 与 Spectre 缓解，拆解这套架构背后的隔离经济学，并用 Discord 把有状态语音负载搬上 Cloudflare 边缘的真实经历，呈现这套哲学的边界。
【系统架构设计】AI 原生架构：LLM 时代的系统设计
当 LLM 从离线批处理变成在线运行时组件，超时预算、按 token 计费、非确定性输出与多轮 Agent 编排必须进入架构的一等公民。本文从依赖语义差异出发，衔接弹性与过载保护，讨论网关成本治理、结构化输出与人审闸门、checkpoint 恢复与隐私友好的可观测，并划定与 RAG、向量引擎及训练基础设施的分工边界。
【系统架构设计】边缘计算架构：算力下沉的设计挑战
把计算推到离用户更近的 PoP 上，CDN 的缓存假设不再够用：边缘节点如何在最终一致与强一致之间取舍，控制面如何把配置安全送达数千节点，回源与写路径如何不拖垮源站，本地状态与会话亲和又在 Anycast 下如何失效。本文以 ETSI MEC 定义与 Dynamo 谱系为锚，对照 Cloudflare/Discord 公开案例，梳理边缘架构的四条硬约束与仍未闭合的开放问题。