在线书架 / BOOKS
从第一章开始，把知识读成体系。
按领域与学习阶段整理的在线电子书与创作手记。覆盖 Rust、Lua、TypeScript、Python、Java（Spring Boot）与游戏开发、文学创作，从阅读指南进入，或按全书目录查找章节。
了解阅读方式4 部书稿
从所有权与借用，到工程实战与系统编程。
3 部书稿
从脚本基础，到语言机制与游戏业务。
2 部书稿
从客户端引擎，到服务端架构与完整项目。
3 部书稿
按入门、实战、高级三步，建立类型与工程能力。
从基本类型、函数与泛型，到类型建模、模块和工程配置，以全栈项目收尾。
面向项目交付，覆盖测试、服务端与数据层、前端类型实践、API 契约及部署运维。
面向库与工具链作者，深入类型级编程、编译器 API、声明发布和运行时边界。
3 部书稿
从语言基础与工程交付，深入 CPython 与性能优化。
面向零基础读者，从数据结构与函数，到类型注解、并发异步、测试打包与应用项目。
从工程脚手架出发，实践 Web 服务、数据访问、后台任务、自动化与生产部署。
深入 CPython 对象模型、字节码、GC 与并发运行时，理解扩展机制和性能工程。
3 部书稿
从 Spring Boot 入门与工程实战，到框架内部机制与版本迁移。
面向零基础读者，从环境搭建与第一个接口，到 Web、数据访问、测试与完整项目。
从工程脚手架出发，实践 Web 服务、数据访问、缓存、消息与生产部署交付。
深入容器、自动配置、AOP、请求管线与事务机制，理解框架内部与 3.x 到 4.x 迁移。
1 部书稿
一部长篇科幻小说的创作过程与长期写作经验。
这些电子书以网页章节形式在线阅读。每个系列围绕一个完整主题编排，技术书稿与创作手记按领域分别收录。
《Spring Boot 入门 / 实战 / 高级》三部曲已全部上线（入门 61 篇 / 实战 55 篇 / 高级 34 篇，共 150 篇）。《Python计算机图形学入门》的目录篇仍为草稿。
本节讲运行时校验的第一道防线：类型守卫与验证库。先说清 is 守卫的声明本质与它并不能真正校验的事实，再拆解手写守卫在嵌套对象、数组、穷尽性检查上的漏判与误判，然后从零实现一个以 schema 为唯一事实来源的验证器，讲透 parse 与 safeParse 的分工和 InferOutput 类型推导的原理。读完你能为项目选对守卫写法，并看懂主流验证库的类型推导机制。
本节把「部署完成」之后的那段时间当成发布本身的一部分：先给出冒烟、合成监控、真实用户指标、业务指标四层验证的具体做法，讲清指标为什么必须带版本标签才能对比新旧；再把回滚拆成镜像、流量、开关、配置、数据五类对象，给出各自的耗时与代价，并说明数据库不可回滚时该向前修复还是恢复备份；最后落到自动回退门禁与无责复盘。读完后你能给发布配上一套可验证、可止损的收尾流程。
本节讲清「代码能随时回滚、数据库不能」这个不对称性带来的全部约束：先用 expand-contract 把破坏性结构变更拆成向前兼容的多步，再给出大表回填的分批限速写法与迁移在流水线中的正确位置，最后系统对比蓝绿、金丝雀、滚动与功能开关四种灰度形态，并给出灰度期的指标判定与契约兼容要求。读完后你能设计一条可灰度、可回滚的发布路径。
本节把 TypeScript 服务从「本地能跑」推进到「可重复交付」：先用多阶段 Dockerfile 拆开依赖层、构建层与运行层，讲清镜像为何能从 1.2GB 降到 180MB；再给出分层清晰的 CI/CD 流水线，覆盖类型检查、测试、镜像构建、签名与制品晋级；最后落到缓存、非 root 运行、健康检查与供应链加固这些易踩的坑。读完后你能独立写出从提交到上线的自动化流水线。
拆开 process-aot 构建期的 AOT 处理：从 ProcessAotMojo 到 SpringApplicationAotProcessor、ApplicationContextAotGenerator 的调用链，讲清 target/spring-aot 下生成的源码与 native-image 配置，以及 AotDetector 如何让启动跳过反射，并给出可核实的扩展点清单。
性能优化最大的浪费是优化了不是瓶颈的地方。本节建立「先测量再优化」的方法论：如何采集吞吐、P95/P99、错误率、GC 与 CPU 基线，用 JFR、async-profiler、jstack 与 EXPLAIN ANALYZE 定位瓶颈，并给出一份症状到下一步的排查表。
本节讲透 Flyway 脚本本身：V{版本}__{描述}.sql 命名规范里那个常被写错的双下划线、整数与时间戳两类版本号怎么选、版本化迁移与 R__ 可重复迁移的适用场景，以及「脚本一旦执行就不能改」背后的 checksum 校验机制与真实报错。针对社区版没有 undo 的现实，给出前滚修复与备份的应对方式，并完整演示 V1 建表、V2 加字段、R__ 建视图。
讲清 PyO3 0.29.3 用 Rust 写扩展模块的架构：声明式模块、Bound<'py, T> 如何把 GIL 生命周期编进类型、detach 释放 GIL、abi3 与 maturin 分发，并用一个实测的 cffi 最小扩展做对照取舍。
实测 Cython 3.3.0 把 .pyx 编译成 C 的完整过程：cdef 类型声明的真实加速比、cython -a 的 C-API 调用密度注释、clang -O2 把循环闭式化的反直觉现象，以及 NumPy 内存视图与 nogil 实测。
从 CPython 用 dlopen 加载符号的机制讲起，实测 ctypes 的 errno 传递、内存所有权与 Structure 布局，再对比 cffi 的 ABI/API 两种模式，并给出 ctypes.CDLL、PyDLL 与 cffi 四条调用路径的 GIL 释放与单次调用开销实测数据。
新版本不该一次性推给所有用户。本节讲灰度发布的三种流量切分（按比例/按用户/按头）并用纯 Python 实测稳定哈希分流与自动准入判定，讲不可变镜像 tag 回滚与数据库前向兼容（expand-contract）约束，最后给出一份可执行的故障演练清单与复盘模板。
单机日志文件在多实例部署下形同虚设。本节用 structlog 26.1.0 真跑「采集→存储→查询→告警」链路，把标准库与第三方库日志也统一成 JSON，用级别与采样控制成本，让日志带上 trace_id 可一键跳转追踪，并写出可降噪的告警规则。
日志知道发生了什么、指标知道系统健不健康，追踪回答「一次请求慢在哪一段」。本节用 opentelemetry-api/sdk 1.45.1 真跑 TracerProvider、嵌套 span 的父子关系与耗时、手动埋点与装饰器、W3C traceparent 跨服务传播，并贴出 FastAPI 0.143.0 内建埋点导出的真实 SERVER span。
@EnableMethodSecurity 如何借 AOP 织入方法安全、@PreAuthorize 的表达式求值上下文、与 @Transactional 同时存在时的拦截器顺序，以及 SecurityContext 在 @Async 与虚拟线程里为何丢失，并给出两种补回上下文的方案。
从 Spring Boot 3.4 起支持的结构化日志讲起，核实 logging.structured.format.console/file 的 ecs、gelf、logstash 取值，讲运行时改日志级别的 /actuator/loggers、日志切分与保留、敏感信息脱敏，并论证告警应基于指标而非日志关键字，最后给出日志、指标、追踪的分工表与一条真实排障路径。
沿一次表单登录拆开认证链：ProviderManager 如何按 supports() 挑选 AuthenticationProvider、DaoAuthenticationProvider 的模板方法、SecurityContextHolder 的存储策略、上下文在请求间的保存，以及 AuthorizationManager 取代 AccessDecisionManager 后的授权决策。
讲清 Spring Boot 4.x 的链路追踪栈：为什么 Sleuth 已被 Micrometer Tracing 取代，OTel 与 Brave 桥接包怎么选，management.tracing 的采样率与传播格式如何配置，traceId 如何进入日志 MDC，@Observed 与 Observation API 的用法，以及 HTTP 客户端与 Kafka 的上下文传播。
本节解决工程中最隐蔽的一类问题：循环依赖与类型导入。先对比 ESM 与 CJS 下循环依赖的不同表现，解释暂时性死区与部分导出为何会让值在初始化阶段变成 undefined，再说明 import type 为什么能从产物中彻底消失、从而在结构上切断循环，随后对照三种类型导入写法的差异，最后给出检测工具与抽取共享类型的重构套路。
本节深入 package.json 的 exports 字段：先讲它如何取代 main 与 module 实现真正的封装，再拆解子路径映射、条件对象与数组回退三种形态，重点讲清条件键的顺序语义为何决定成败，然后对照 bundler 与 Node 在条件集合上的差异，最后给出一个可直接复制的双包库配置。读完你能自己写出既被 Node 认识、又让 TypeScript 找到类型的导出表。
本节把 TypeScript 的模块解析讲成一张对照表：先说明编译器为何要自己实现解析规则，再拆解 classic、node10、node16、nodenext、bundler 五种模式在扩展名与条件导出上的差异，再给出 module 与 moduleResolution 的合法组合，最后用三种典型工程配置收束。读完你能为任意项目选对模式，并看懂 Cannot find module 报错。