posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
Zend 引擎内部机制与 OPcache/JIT 实战：源码到字节码的编译流水线（词法/语法/AST/编译器）、zval 结构与引用计数、操作码（opcode）与 Zend VM 执行模型、OPcache 共享内存与驻留字符串、时间戳校验与预加载、JIT 的 tracing/function 两种模式与热循环判定、用 opcache_get_status 与 VLD 观测、性能决策清单。
FrankenPHP 与 RoadRunner 现代运行时实战：PHP-FPM 阻塞模型的瓶颈与常驻内存动机、FrankenPHP 内嵌 Caddy 的架构与 worker 模式（Caddyfile、自动 HTTPS、HTTP/2/3）、RoadRunner 的 Go 主进程与 PHP worker 通信协议、请求生命周期与内存泄漏防治、平滑重启与优雅停机、Docker 多阶段构建与迁移清单。
系统讲解 HTTP 缓存机制：浏览器/代理/CDN 三层缓存、Cache-Control 各指令（max-age/s-maxage/no-store/no-cache/private/immutable）、强缓存与协商缓存的区别、ETag 与 Last-Modified 的生成与比较、条件请求与 304、Vary 与内容协商陷阱、stale-while-revalidate 与资源指纹化策略。
系统梳理 CSV/TSV 解析的坑：RFC 4180 的引号与转义规则、分隔符与方言（dialect）检测、BOM 与编码、多行字段与换行符、引号内的逗号与换行、类型推断陷阱（科学计数法/前导零/日期/空值与 NULL 的歧义）、TSV 的额外约束、流式解析与内存、Excel 与公式注入安全，以及按场景的解析器选型建议。
从编译原理视角讲透模板引擎：词法切分与占位符解析、编译型（Jinja2/Go template）与解释型（Mustache/Handlebars）的实现差异、Mustache/Jinja2/ERB/Go template 四大语法家族对比、自动转义与 XSS 防御、模板继承与宏的复用机制、沙箱与安全边界、渲染性能与缓存策略，以及按场景（Web 服务端/静态站点/邮件/配置生成）的选型建议。
从 RFC 3986 出发讲透 URL：五段式结构（scheme/authority/path/query/fragment）、百分号编码的保留字符与 unreserved 集合、query 与 form 编码的差异、加号与空格的歧义、IDN 与 UTF-8 编码、相对引用与点段移除、各语言解析 API 的行为差异，以及开放重定向、SSRF、路径穿越等安全陷阱与规范化防御。
深入对比三种主流配置格式：INI 的极简与方言混乱、TOML 的强类型规范与表数组设计、HCL 的可编程块与表达式求值，并对照 JSON/YAML 作为配置的优劣。覆盖语法细节、类型系统、嵌套与数组表达、注释与多行字符串、解析陷阱、Schema 校验、环境变量插值、以及按场景（应用配置/基础设施/CI）的选型与迁移策略。
系统梳理位运算（bitwise operation）的底层表示与工程用法：二进制补码与符号扩展、与或异或取反移位的真值语义、掩码与位标志（bit flag）、lowbit/popcount/位反转等经典技巧、有符号右移与移位越界的未定义行为、跨语言（C/Java/Go/Python/JS）差异、位图与集合压缩、无分支优化的适用边界与可读性权衡。
Nix 是动态类型、惰性求值的语言，写错一个属性名往往要等到求值才报错。语言服务器把补全、跳转、诊断搬进编辑器，格式化器统一风格，statix 与 deadnix 提前拦下反模式与死代码。本文对比 nil 与 nixd 的取舍、给出各编辑器的接入配置、讲清 nixd 的选项补全原理，并用 treefmt 与 pre-commit 把检查固化到 CI。
内容寻址意味着 store 从不覆盖旧路径，一次重建就多出一份闭包，磁盘很快被历代产物吃满。回收的唯一依据是 gc root，而不是「看起来没人用」。本文讲清 gc root 的六种来源、手动与自动回收参数、硬链接去重的原理与代价、占用分析方法、结构性瘦身手段，以及误删与存储损坏后的恢复路径。
Nix 的构建沙箱不是可选装饰，而是「输入确定」得以成立的前提：它给构建脚本一个干净的挂载视图、清空的环境变量、独立的构建用户与默认断开的网络。本文拆开沙箱的三种模式与内部结构，讲清环境变量如何被清洗、网络隔离与固定输出例外、如何检测构建是否纯净，以及容器与 CI 里沙箱失效的原因与修法。
云主机与托管裸机通常只给一个 root SSH，没有控制台、没有 ISO 挂载权限。nixos-anywhere 用 kexec 把目标机直接引导进 NixOS 安装环境，在内存中执行 disko 分区与 nixos-install，一次命令完成从空盘到可复现系统。本文讲清三段式原理、关键参数、密钥注入、批量流程、CI 自动化与常见失败排查。
分区、文件系统与挂载点通常只活在安装那一刻的几条命令里，换台机器就得凭记忆重来。disko 把 GPT 分区表、LUKS 加密、LVM、Btrfs 子卷与 ZFS 池写成一份 Nix 表达式，由它生成分区动作与 fileSystems 配置，安装、重建与虚拟机测试共用同一份定义。本文给出完整配置、执行模式、密钥注入与常见坑。
在 nixpkgs 这类四万文件级仓库上，每次改一行都要先下载整棵源码树，求值因此被网络与解包拖垮。惰性树（lazy-trees）把「取整棵树」改成「用到哪个文件才取哪个」，同时保持 narHash 与旧行为一致。本文讲清其机制、开启方式、与 flake 输入的交互、eval-cache 复用，以及大规模仓库的提速实践与常见坑。
高斯过程是非参数贝叶斯模型，用核函数刻画函数先验，不仅能给出预测值，还天然给出预测的不确定性。本文从贝叶斯线性回归引出高斯过程、讲清均值函数与 RBF/Matern/周期核、后验预测的均值与方差、用边际似然优化超参数、GP 分类的拉普拉斯近似、O(n³) 复杂度与稀疏/诱导点近似，并给出 scikit-learn 实战及其与贝叶斯优化的联系。
把模型从 Notebook 推到生产并持续可靠运行，需要一整套工程与流程体系。本文讲清 MLOps 的成熟度分级、全生命周期七大阶段（数据、实验、训练、注册、部署、监控、重训）、数据与代码版本化、CI/CD/CT 流水线设计、Airflow/Kubeflow/Metaflow 编排选型、批/在线/流式部署模式与影子、金丝雀、A/B 策略、监控告警与回滚，以及模型卡与合规治理的组织落地。
模型会放大数据里的历史偏见，在信贷、招聘、医疗等场景造成真实伤害。本文讲清偏差的来源分类（历史/表示/测量/聚合/评估）、人口均等与机会均等等公平性定义及不可能定理、差异影响率与均等化几率等度量、Fairlearn 与 AIF360 的检测方法，以及预处理重加权、处理中正则与对抗去偏、后处理阈值调整三类缓解手段，并覆盖代理变量、法规合规与治理闭环。
模型效果的天花板由数据质量决定，而标注是数据质量的第一道关口。本文讲清标注任务设计与规范编写、分类/检测/序列标注/关系抽取等类型与工具选型、Cohen's Kappa 与 Krippendorff alpha 等一致性度量、黄金标准与多人仲裁等质控机制、主动学习与半监督降低标注成本、Snorkel 式弱监督、标注偏差与 RLHF 偏好标注，以及数据清洗与版本化治理的完整方法。
贝叶斯推断把参数视为随机变量，由先验与似然共同决定后验分布。本文讲清共轭先验（Beta-Binomial、Normal-Normal、Dirichlet）、MLE 与 MAP 的关系、后验预测分布、MCMC 采样（Metropolis-Hastings、Gibbs、NUTS）与 PyMC 实战，并覆盖贝叶斯网络、条件独立与 d-分离、朴素贝叶斯、变分推断 ELBO 及贝叶斯 A/B 测试落地。
支持向量机用最大间隔把分类问题写成凸二次规划，再借核技巧把线性不可分数据映射到高维求解。本文讲清硬间隔与软间隔、铰链损失与 C 参数、对偶问题与支持向量的含义、线性/多项式/RBF 核的差异与 gamma 调参、SVR 回归与多分类策略、核近似与大规模线性 SVM，并给出 scikit-learn 的完整实战流程与调参清单。