在线书架 / 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计算机图形学入门》的目录篇仍为草稿。
从 Tracer/Span 门面为什么存在讲起，用本机 jar 核实的签名拆解一次 span 的生命周期，说明 ObservationHandler 链如何让一次观察同时产出指标与 span，对比 Brave 与 OpenTelemetry 两种桥接、MDC 日志关联、概率与限速采样的组合，以及 W3C traceparent 与 B3 的报文差异。
把 18.1 的架构决策落成代码：分层骨架与关键接口、跨模块契约与统一错误码、借阅上限的乐观锁加唯一约束兜底、借书事件的可靠投递，并把单元、切片、Testcontainers 集成与契约测试串成四层测试，最后给出本地起依赖到联调前端的可复现步骤。
本节把类型从「事后补的注解」提升为架构约束：用品牌类型表达不可互换的标识、用可辨识联合表达状态机、用 schema 作为契约的单一事实来源，把「谁能调用谁」写进编译期。再给出团队落地方法，包括 tsconfig 基线继承、项目引用、CI 类型门禁与类型债务台账。读完你能设计出新人自动写出合规代码的仓库结构。
本节给出从 JavaScript 或宽松 TypeScript 迁移到严格模式的路径：先用 allowJs 与 checkJs 按目录纳管边界，再按 noImplicitAny、strictNullChecks、strictFunctionTypes 的依赖顺序分批开启，配合 ts-expect-error 台账与错误计数棘轮把债务变成可度量指标。读完你能把十万行项目拆成不停机、可回滚的批次。
本节梳理 TypeScript 从 1.x 到 5.x 的演进主线，把 breaking change 归为检查收紧、默认值变更、lib.d.ts 更新与废弃项移除四类，并逐类给出可复现的报错示例与回退边界。你会掌握一套「基线快照 + 目标版本双跑 + 增量 diff」的升级流程，能在升级前量化影响面、判断某个报错是版本所致还是代码本身的问题。读完你能为团队定下可回滚的升级节奏。
从 MeterRegistry 注册表与 Meter.Id 的身份语义讲起，对比 Counter、Gauge、Timer、DistributionSummary 的取值差异，拆解 Observation 用低/高基数键值统一指标与追踪，说明 MeterFilter 改名、加标签、限基数的介入点，并落到 Prometheus 导出与 percentiles-histogram 对 P99 的影响。
把生产级图书借阅服务的功能性需求与非功能性需求翻译成一组可评审的架构决策记录（ADR）：模块拆分、数据模型、同步与异步边界、缓存策略、多租户隔离方式与技术选型，逐条给出理由、代价与被否决方案，并附模块依赖图、需求追溯表、风险清单与容量预算粗算，作为后两节实现与上线的地基。
本节把结构迁移与数据初始化拆开：Flyway 管表结构，data.sql 管开发数据，并讲清 spring.sql.init.* 与 defer-datasource-initialization 的配合。随后按「公共脚本 + 方言脚本 + profile 覆盖 locations」组织多环境迁移，并说明生产不自动插测试数据、测试环境的迁移取舍，以及迁移该在应用启动时还是流水线独立步骤执行。
用 dis(adaptive=True) 实测同一函数冷启动与预热后的字节码差异（LOAD_ATTR → LOAD_ATTR_INSTANCE_VALUE），拆开 opcode._specializations 的 17 个专门化族与 84 条专门化指令，并读 CACHE 槽里缓存的 counter/version。最后实测本机 3.14.6 的 JIT 状态并讲清 3.13/3.14 的边界。
用本机实测把「省内存」量化到底：sys.getsizeof 与 tracemalloc 两种口径、list/array/bytes/memoryview/numpy 装 100 万个整数的真实字节数、sys.intern 字符串驻留、生成器把峰值从 39.5MB 压到 0.5KB，以及 objgraph 3.6.2 定位引用增长与泄漏。
从 CPython 内部拆解三种剖析钩子：sys.settrace 的逐行回调、sys.setprofile 的调用级回调、3.12+ sys.monitoring 的事件模型，并用同一负载实测三者开销倍率。结论是剖析开销正比于函数调用次数，而非循环次数——这解释了 cProfile 为何用 C 回调、pyinstrument 为何也是混合采样器。
收束全书：用一份可执行的上线检查清单把配置、密钥、依赖、迁移、健康检查与日志逐项落地，真跑 Alembic 前滚与回滚，复盘 TaskFlow 开发过程中真实踩到的四个坑并附可复用的复盘模板，最后给出拆服务、加缓存、上可观测性的后续演进路线。
把 TaskFlow 真的写出来：SQLAlchemy 2.1.4 模型、scrypt 加 JWT 认证、带缓存的 FastAPI 路由、后台任务队列，并用 pytest 跑出 11 例通过、86% 覆盖率，起 uvicorn 用 httpx 联调、自写压测器压出真实 QPS 与延迟分位。
全书收尾章从一个贯穿三节的真实项目 TaskFlow 出发：把模糊需求拆成用户故事与用例、画出领域模型与状态机、用 OpenAPI 固化 API 契约，再落到技术选型表、架构图、目录结构、pyproject.toml，并用 Alembic 真跑通第一版数据库迁移。
对比原生镜像的收益与代价：启动时间、常驻内存、镜像体积的量级与测量方法，构建慢、构建期内存高与无 JIT 导致的吞吐损失，说明哪类服务值得上、哪类不该上，理清与 CDS、AppCDS、Project Leyden 的关系，并给出从 JVM 模式迁移的检查清单与回滚策略。
JVM 参数不是越多越好，生产上真正该调的只有一小撮。本节用本机 JDK 21 实测默认值讲清 -Xms/-Xmx、容器里的 MaxRAMPercentage、OOM 现场转储、G1 的取舍与何时上 ZGC、-Xlog:gc* 统一日志写法、直接内存与线程栈，并给出可复现的查默认值方法。
讲清原生镜像封闭世界假设下反射、资源与动态代理为何失败，逐一核实 RuntimeHints 的五个子 hint、RuntimeHintsRegistrar 与 @RegisterReflectionForBinding 的声明方式，并对照 reflect-config.json 与新版 reachability-metadata.json，附排查命令。
压测做错比不做更危险：它会给出一个被信任的错误容量结论。本节讲清压测目标、场景与数据设计、工具选型、压测机与被测机分离、预热与稳定期、指标采集口径，拆解「连接池与并发不匹配」等假瓶颈，并给出用实测 QPS 乘安全系数倒推实例数的完整方法与示例。
本节把不可信输入单独拎出来讲。先定义信任边界划在哪里，再讲透「解析而非校验」这条原则与品牌类型如何把 unknown 变成领域类型，然后逐一过 HTTP 请求、环境变量、第三方 API、数据库四条真实边界，最后深入原型污染与深合并的攻击面、禁止 as 跨边界的 lint 配置。读完你能为自己的服务画出信任边界图，并在每条边界上写出可测试、可穷尽的解析代码。
本节讲数据写出再读回这条边界上类型如何失真。先说清 JSON.stringify 与 JSON.parse 在类型上的不对称，再列出 Date、BigInt、undefined、NaN、Map、循环引用的失真清单与报错，然后用编解码器 Codec 把线上格式与内存类型显式分开，讲透版本迁移、replacer/reviver 的用法与二进制格式取舍。读完你能为持久化与消息协议设计出类型安全的边界。