Bloomberg Rocq 编译器工具链：Crane 提取系统的设计与工程实践
剖析 Bloomberg 开发的 Rocq 到 C++ 提取系统 Crane 的编译器工具链设计，聚焦类型映射、单子接口与可配置化策略的工程落地要点。
2026-01-24compilers2026-01
Latest Essays
最新见解 · 第 450 页
继续沿着时间线阅读近期的工程实践与技术观察。
最新见解
近期的思考与工程笔记。
80386 乘除法单元：Radix-4 Booth 编码与硬件实现权衡
解析 80386 如何用 Radix-4 Booth 重编码将 32 位乘法从微码循环改为硬件流水线，将迭代次数减半并实现 9-41 周期的可变延迟，同时分析除法单元仍需 38-43 周期的架构原因。
2026-01-24systems2026-01
从黑胶唱片引导 IBM PC：物理槽轨编码与 BIOS 引导流程的工程剖析
剖析通过卡带接口从黑胶唱片读取 64KB DOS 镜像的工程实现，涵盖 Kansas City Standard FSK 编码、RIAA 均衡补偿与 INT 15h 解调流程。
2026-01-24systems2026-01
用 LED 矩阵打造实时列车到站显示屏：嵌入式工程实践
面向实时交通数据可视化场景，详解 LED 矩阵驱动的嵌入式系统架构与工程参数。
2026-01-24systems2026-01
goose 代理工具路由反馈机制：基于执行结果的动态调整策略
解析 AI 代理工具执行反馈如何驱动路由决策优化，涵盖权重更新算法、失败回退策略与重试机制的工程实现参数。
2026-01-24ai-systems2026-01
VibeVoice 实时流式 TTS 架构剖析：延迟控制与流水线设计
深入分析 Microsoft VibeVoice-Realtime 的流式架构设计，聚焦端到端延迟控制机制、交织窗口编码策略与抗网络抖动的工程实践。
2026-01-24ai-systems2026-01
无特权 LAN 发现：mDNS/SSDP/ARP 缓存触发的 Go 并发架构
基于 mDNS、SSDP 与 ARP 缓存触发的用户空间网络发现架构，Go 并发模型与无 root 权限约束下的工程实践。
2026-01-24systems2026-01
用 BatchZK 流水线架构加速 GPU 零知识证明：AI 推理验证的工程参数与吞吐优化
深入分析 BatchZK 的 GPU 加速流水线设计，探讨 ZK 证明系统在 AI 推理验证场景下的工程化参数配置与吞吐优化策略。
2026-01-24ai-systems2026-01
DeepSeek FlashMLA 共享内存分块与 NVIDIA Hopper/Blackwell 架构优化实践
深入分析 DeepSeek 开源的 FlashMLA CUDA kernel，聚焦共享内存分块策略与 TMA 预取流水线在 NVIDIA Hopper 与 Blackwell 架构上的工程化调优参数。
2026-01-24ai-systems2026-01
NVIDIA Dynamo 动态调度与 KV 感知路由：分布式推理的资源利用率优化
解析 Dynamo 的事件驱动调度器与 KV 感知路由如何突破静态分区的瓶颈，提供实时的 GPU 资源弹性伸缩与 KV 缓存复用策略。
2026-01-24ai-systems2026-01
Internet Archive 的 PetaBox 分布式存储架构解析
深入分析全球最大数字图书馆的存储系统设计，涵盖 PetaBox 硬件演进、双副本跨数据中心镜像策略、以及利用旧金山海洋性气候实现零空调的节能架构。
2026-01-24systems2026-01
Intel 8086 ALU 控制信号时序与微操作复原
基于硅层逆向与显微照片，复原 Intel 8086 ALU 的微操作序列与控制信号时序，揭示加减法与逻辑运算的微码级实现差异。
2026-01-24systems2026-01
现代 C 工程实践中的三个核心编程模式
聚焦现代 C 项目中的类型别名、长度+数据字符串与 Result 类型模式，给出具体的工程实现参数与代码结构。
2026-01-24systems2026-01
用运行时缓存避免百万行 Go 代码生成：Quamina 的 Unicode 属性匹配实践
当预生成代码膨胀到 77.5 万行时，Tim Bray 选择了一条相反的路：运行时按需计算并缓存。工程代价如何？性能曲线说明了什么？
2026-01-24systems2026-01
Gas Town 的代理编排模式与规模化工程瓶颈
深入解析 Steve Yegge 的 Gas Town 多代理系统，探讨大规模代理编排的设计瓶颈、角色分工模式与 vibecoding 工程的权衡策略。
2026-01-24ai-systems2026-01
Bloomberg Crane：从 Rocq 定理证明器提取形式化验证的 C++ 代码
深入解析 Bloomberg Crane 提取系统，探讨如何从 Rocq 定理证明器直接生成符合工程规范的形式化验证 C++ 代码，及其内存安全与并发安全的工程参数配置。
2026-01-24compilers2026-01
Dynamo 分布式推理中的 CUDA Shared Memory 分块优化实践
深入解析 Dynamo 分布式推理框架下 CUDA kernel 的 shared memory tiling 优化策略，提供 GPU 内存布局与带宽利用率的工程实践参数。
2026-01-24ai-systems2026-01
现代 C 语言防御性编程实践：利用 C23 特性构建安全代码
深入探讨 C23 引入的静态断言、空指针常量与编译期计算特性，结合解析而非验证的错误处理哲学，为系统级代码提供可落地的防御策略。
2026-01-24systems2026-01
微软向FBI提供BitLocker恢复密钥的技术剖析：密钥托管架构与执法披露机制
深入分析微软向FBI提供BitLocker恢复密钥的技术机制：云端密钥备份架构、执法配合流程、企业级加密产品的信任边界设计，以及与端到端加密理念的根本冲突。
2026-01-24security2026-01
证书透明度日志的百亿级查询索引架构解析
从 Merklemap 的工程实践出发，解析百亿级证书透明度日志的 PostgreSQL 索引策略、存储层设计与运维参数阈值。
2026-01-24systems2026-01