在线书架 / 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计算机图形学入门》的目录篇仍为草稿。
Next.js App Router 用一份 TypeScript 同时描述服务端与客户端两种运行环境。本节讲清 params/searchParams 的异步化、Route Handlers 的入参校验、Server Actions 的 use server 约束与序列化红线、useActionState 与 revalidate 的类型，以及 middleware 的盲区。
Vue 3 的类型体验与 Vue 2 截然不同：ref 与 reactive 的自动解包、编译宏、defineProps 的双轨声明，常在 vue-tsc 下报错。本节从类型管线讲起，拆解 ref/reactive 解包规则、props/emits/model 声明、computed 与 watch 推导，以及泛型 composable 与 provide/inject 类型化。
从 AopProxy 接口与 DefaultAopProxyFactory.createAopProxy 的判定分支出发，讲清 Spring 何时用 JDK 动态代理、何时用 CGLIB，proxyTargetClass 与 spring.aop.proxy-target-class 如何改变选择，以及 CGLIB 内联进 spring-core 后两种代理的字节码差异与各自硬限制。
HikariCP 是 Spring Boot 的默认连接池，但默认值从不为生产负载而设。本节从数据库连接上限倒推 maximum-pool-size，讲清 minimum-idle、max-lifetime 与数据库 wait_timeout 的关系，给出连接泄漏检测与超时配套，并用 Actuator 的 hikaricp.connections.* 指标判断该调池还是查慢 SQL。
派生查询只能表达简单条件，复杂查询要靠 @Query。本节讲 JPQL 的语法要点与两种参数写法、@Modifying 批量更新、接口投影与类投影的取舍、nativeQuery 的适用场景与代价，以及 EntityManager、JdbcTemplate、查询超时与 JPQL 的能力边界。
先实测本机 3.14.6 是否启用 JIT（sys._jit.is_available() 为 False），再拆开 CPython 的三层执行体系：自适应专门化字节码、Tier 2 微操作 IR 与 copy-and-patch 机器码，并梳理 3.13 引入、3.14 进入官方二进制的 JIT 演进与 tail-call 解释器。
实测运行时代码改写的三条路径：直接改 co_code / co_consts 与 CodeType.replace、用 bytecode 0.19.1 在指令层注入调用计数器，以及 3.12+ 的 sys.monitoring。含栈平衡校验边界与三条路径的开销对照（settrace 5.7 倍 vs monitoring 1.7 倍）。
深入 CPython 执行内核：栈式虚拟机的求值栈与指令编码、dis 的栈效应计算、类与推导式的代码生成、异常表机制，以及 3.11+ 自适应专门化如何在运行时把 LOAD_ATTR 改写为 LOAD_ATTR_INSTANCE_VALUE，附 3.14 字节码变化实测对照。
把抽取-转换-加载拼成一条可重跑、有依赖的数据管道：讲透幂等的三种落地手段，用标准库手写一个带拓扑排序与幂等状态的 DAG 调度器并真跑，再用 Polars 原生 Parquet 做分区落盘，最后收束成一份数据质量校验、水位线监控与可观测清单。
用同一份 50 万行真实数据实测 Polars 2.0：LazyFrame 惰性求值与查询计划、投影与谓词下推、多线程并行与流式引擎、表达式 API 与 pandas 的对照迁移，并给出同一任务的耗时对比，最后讲清什么时候该换、什么时候别换。
用 50 万行真实数据集实测 pandas 3.0 的性能陷阱：Copy-on-Write 成为默认后链式赋值的真实行为、SettingWithCopyWarning 的现状、dtype 与内存占用、apply 与向量化的耗时差距、groupby 与 merge 的坑，以及分块读取的取舍。
讲清自动配置的退让（back off）机制：用户 Bean 如何通过 @ConditionalOnMissingBean 让自动配置让位，spring.autoconfigure.exclude 与 @SpringBootApplication(exclude=...) 的差别，以及覆盖自动配置 Bean 的几种做法各自的风险。
把消息投递做可靠：讲清生产者 acks 与幂等、事务性发送的真实边界，消费者手动 ack 与「先落库再提交位点」的先后顺序、业务唯一键去重、重试与死信主题的落地写法，并用一张表对比至少一次、至多一次、恰好一次在借阅通知场景下的真实含义与取舍。
从 Condition 接口、ConditionContext 到 @Conditional 的评估时机，拆解 OnClassCondition、OnBeanCondition、OnWebApplicationCondition 三者的实现思路：批量过滤、REGISTER_BEAN 阶段判断，以及评估结果如何被缓存并汇总进 --debug 报告。
以 Spring Kafka 为主、RabbitMQ 为对照，讲清借阅事件通知的生产端与消费端落地：starter 与模块化依赖、序列化选型、@KafkaListener 容器工厂与并发度、消费位点提交模式、批量消费，以及生产端发送回调与分区顺序保证。
本节给出一套把又慢又深又难读的泛型改小的可操作手法：先用三个信号判断「该不该重构」，再逐一演示具名化中间结果、用 interface 承载形状、把校验挪到约束上、用映射表替代条件链、关闭意外分发、把计算下沉到代码生成、以及用类型测试锁定行为七种改法。每种手法都给出改前改后对照与实例化代价的变化，最后用一份评审清单把重构收成可复用的流程。
本节拆解编译器为递归类型设下的三道闸门：单次实例化深度、总实例化次数与尾递归预算，说明 2589 报错在「太深」与「太多」两种情形下的不同成因与排查手法。重点讲透尾位置、终止条件和预算的区别，用累加器把反转式递归改写成可消除形态，并通过实测说明互递归也可能被优化。读完你能在撞上深度上限时判断该改写、该加计数器，还是该改用代码生成。
本节把「类型算得多贵」变成可测量的数字：讲清编译器内部的一次类型实例化究竟是什么、泛型与映射类型何时被真正求值，再逐个拆解 tsc 的 extendedDiagnostics 与 generateTrace 输出，教你读懂 Instantiations、Types 与 Check time 三者的关系。最后给出实例化爆炸的四类来源与 CI 基线回归脚本，读完你能定位并量化真实项目的类型性能热点。
本节解决状态离开单个组件之后的类型问题：Context 的默认值该放什么、为什么假默认值比 null 更危险、如何用自定义 Hook 把判空收窄一次。再进入 Zustand 与 Redux Toolkit，讲清 create 的柯里化签名、selector 与重渲染的关系、slices 与中间件的类型标注，以及 RTK 三件套的由来。
本节沿着 useState、useReducer、useRef、useEffect 逐个拆解 React Hooks 的类型推导边界：状态为何被 widen 成 string、ref 的三种形态与 React 19 的变化、effect 回调的返回类型限制。后半部分讲自定义 Hook 的返回值形状与泛型 Hook 的运行时校验，读完能写出类型可推导、对调用方友好的 Hook。