posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
nix-darwin 实战：macOS 上的声明式系统配置——安装与 flake 集成、darwin 模块与系统配置、Homebrew 集成（casks/brews/taps）、defaults 系统偏好即代码、launchd 服务与定时任务、与 Home Manager 协同管理 dotfiles、用户与字体与 shell 配置、常见坑与升级流程、与 NixOS 的差异对比。
从 Mint 的底层连接模型讲到 Finch 的连接池策略与调优，再到 Req 的高层 API 与重试退避：系统覆盖 Elixir 调用外部 HTTP 服务的完整技术栈，包含超时分层、熔断降级、流式响应、HTTP/2 复用与 Telemetry 可观测。
系统讲解有限状态机设计：状态/事件/转移/动作四要素、状态转移表与状态图、Mealy 与 Moore 的取舍、分层状态机与 Harel 状态图、状态爆炸与正交区域、switch/表驱动/State 模式三种实现、工作流与协议解析落地，以及测试与可视化。
讲透浏览器端媒体采集：getUserMedia 的约束模型（ideal/exact/min/max）、enumerateDevices 与 devicechange 热插拔、getDisplayMedia 屏幕共享、applyConstraints 动态调参、轨道启停与权限安全，并给出采集质量与性能权衡的工程实践与常见坑。
Zig 标准库自带 HTTP 客户端：std.http.Client 支持 HTTPS、连接池、重定向与流式响应。本文讲解 fetch 高层 API 与 open 低层 API 的区别、请求构建与头部管理、TLS 证书包初始化、JSON 收发与 std.json 集成、超时与重试策略、并发请求的线程模型，以及一个可复用的客户端封装设计。
Serverless PHP 与 Bref 实战：Lambda 运行时与层（php-82 / php-82-fpm / php-82-console）、serverless.yml 部署配置、HTTP 事件与 API Gateway、SQS/S3/Cron 事件驱动、冷启动与预热优化、Laravel Octane on Lambda、DynamoDB 会话与 S3 存储、成本模型与可观测性。
RedisJSON 文档模型实战：JSON.SET/JSON.GET/JSON.DEL 基础操作、JSONPath 语法（$ 根、.. 递归、[*] 通配、[start:end] 切片、?() 过滤、@ 当前节点）、JSON.TYPE/JSON.OBJKEYS/JSON.OBJLEN 探测、JSON.ARRAPPEND/ARRINSERT/ARRPOP/ARRTRIM 数组操作、JSON.NUMINCRBY/NUMBERS 数值与 JSON.STRAPPEND/STRLEN 字符串、JSON.TOGGLE、原子多路径更新与内存语义、与 RediSearch 二级索引配合、文档建模范式与反规范化权衡、性能与容量规划
Nix 远程构建实战：为什么要分布式构建、builder 协议与 ssh-ng 原理、/etc/nix/machines 与 buildMachines 配置、distributedBuilds 与调度策略、max-jobs/cores/system-features 的作用、x86 上编 aarch64 的跨架构构建、信任模型与签名、故障排查与性能调优、CI 中的远程构建编排。
系统讲解 BEAM 生态的 gRPC 技术栈：Protobuf 二进制编码原理与 .proto 语法、gpb 代码生成与 Erlang 集成、grpcbox 服务端与客户端实现、四种流式 RPC 语义、拦截器与元数据传递，以及超时、状态码与生产实践。
系统讲解随机数工程：真随机与伪随机的分野、LCG/Mersenne Twister/PCG 的取舍、种子与可复现性、CSPRNG 与操作系统熵池、采样洗牌的拒绝采样、分布变换、UUID 与 Token 中的随机，以及常见误用与安全陷阱。
Zig 把内存分配显式化为一个可替换的接口：std.mem.Allocator 的 vtable 设计让 Arena、FixedBuffer、GPA、栈回退与内存池都能自由组合。本文讲解 Allocator 接口的本质与 vtable 结构、标准分配器家族的适用场景、GPA 的元数据与泄漏检测机制、如何从零编写自定义分配器、分配器包装（计数/日志/失败注入）以及真实项目中的场景化选型。
深入 SDP 与 Offer/Answer 模型：逐行解读真实 SDP、拆解 m-line 与 a= 属性、讲清 signalingState 状态机与再协商流程、编解码协商中的 rtpmap 与 fmtp、方向属性与 SDP 改写风险，并给出常见协商失败坑与排障方法。
RediSearch 全文检索实战：FT.CREATE 建索引与 HASH/JSON 数据源、TEXT/TAG/NUMERIC/GEO/VECTOR 字段类型、WEIGHT 与 SORTABLE 选项、中英文分词与自定义词典、FT.SEARCH 查询语法（字段限定、布尔、前缀、模糊、短语、数值与地理过滤）、排序分页与 INKEYS/LIMIT 优化、FT.AGGREGATE 分组统计与 APPLY/REDUCE、HIGHLIGHT 与 SUMMARIZE 摘要、FT.EXPLAIN 执行计划、索引管理与内存调优、与向量检索混合使用
PHP 生成器、Fiber 与协程调度实战：Iterator 接口与 yield 语义、惰性序列与内存优势、send/getReturn/throw 双向通信、大文件与数据库游标流式处理、Fiber 的挂起与恢复、状态机与事件循环协作、与 Swoole/ReactPHP 的对比、手写协作式任务调度器。
Nix Overlays 与包集定制实战：overlay 的本质与 final/prev 签名、惰性互引与叠加顺序、import nixpkgs 注入 overlays 的几种姿势、override/overrideAttrs/overrideScope 三件套的取舍、替换整个包集与 pkgsStatic/pkgsCross、多 overlay 的组织与复用、与 flake 的结合、常见坑（无限递归/不级联/丢属性）与排错。
深入 Elixir 后台任务框架 Oban：Postgres 队列的架构与表结构、Worker 定义与返回值语义、唯一性约束与指数退避重试、Cron 定时插件、队列隔离与并发控制，以及 Telemetry 可观测、Oban Web UI 与 OTP 监督树集成。
生产容器的三件套：非 root 身份、HEALTHCHECK 探针、内存与 CPU 限制。本节实测 64MB 限额下申请 200MB 触发 OOMKilled（退出码 137），CPU 配额减半让同一任务耗时翻倍，并验证 Go 运行时会自动感知 cgroup 的 CPU 配额。
把 TaskHub 的镜像构建从 30.2 秒压到 14.3 秒：把 go.mod 与源码分成两层，改一行代码不再重下全部依赖，实测依赖层命中后构建耗时减半；同时讲清 Go 交叉编译与多架构镜像的差别，以及 buildx 缺失时该如何降级。
把 TaskHub 打成容器镜像：单阶段朴素写法产出 510MB，改用多阶段构建 + CGO_ENABLED=0 静态链接 + distroless 基础镜像后压到 15MB，最终镜像里只剩一个二进制文件，连 shell 都没有，攻击面同步缩小。
系统讲解 IEEE 754 浮点数：符号/阶码/尾数的二进制布局、规格化与非规格化数、NaN 与 Inf 语义、0.1+0.2 精度损失的来源、epsilon 与 ULP 比较、金额与定点数、Kahan 求和与数值稳定性，以及格式化解析与跨语言差异。