从黑胶唱片引导 IBM PC:物理槽轨编码与 BIOS 引导流程的工程剖析
剖析通过卡带接口从黑胶唱片读取 64KB DOS 镜像的工程实现,涵盖 Kansas City Standard FSK 编码、RIAA 均衡补偿与 INT 15h 解调流程。
Latest Essays
继续沿着时间线阅读近期的工程实践与技术观察。
近期的思考与工程笔记。
剖析通过卡带接口从黑胶唱片读取 64KB DOS 镜像的工程实现,涵盖 Kansas City Standard FSK 编码、RIAA 均衡补偿与 INT 15h 解调流程。
面向实时交通数据可视化场景,详解 LED 矩阵驱动的嵌入式系统架构与工程参数。
解析 AI 代理工具执行反馈如何驱动路由决策优化,涵盖权重更新算法、失败回退策略与重试机制的工程实现参数。
深入分析 Microsoft VibeVoice-Realtime 的流式架构设计,聚焦端到端延迟控制机制、交织窗口编码策略与抗网络抖动的工程实践。
基于 mDNS、SSDP 与 ARP 缓存触发的用户空间网络发现架构,Go 并发模型与无 root 权限约束下的工程实践。
深入分析 BatchZK 的 GPU 加速流水线设计,探讨 ZK 证明系统在 AI 推理验证场景下的工程化参数配置与吞吐优化策略。
深入分析 DeepSeek 开源的 FlashMLA CUDA kernel,聚焦共享内存分块策略与 TMA 预取流水线在 NVIDIA Hopper 与 Blackwell 架构上的工程化调优参数。
解析 Dynamo 的事件驱动调度器与 KV 感知路由如何突破静态分区的瓶颈,提供实时的 GPU 资源弹性伸缩与 KV 缓存复用策略。
深入分析全球最大数字图书馆的存储系统设计,涵盖 PetaBox 硬件演进、双副本跨数据中心镜像策略、以及利用旧金山海洋性气候实现零空调的节能架构。
基于硅层逆向与显微照片,复原 Intel 8086 ALU 的微操作序列与控制信号时序,揭示加减法与逻辑运算的微码级实现差异。
聚焦现代 C 项目中的类型别名、长度+数据字符串与 Result 类型模式,给出具体的工程实现参数与代码结构。
当预生成代码膨胀到 77.5 万行时,Tim Bray 选择了一条相反的路:运行时按需计算并缓存。工程代价如何?性能曲线说明了什么?
深入解析 Steve Yegge 的 Gas Town 多代理系统,探讨大规模代理编排的设计瓶颈、角色分工模式与 vibecoding 工程的权衡策略。
深入解析 Bloomberg Crane 提取系统,探讨如何从 Rocq 定理证明器直接生成符合工程规范的形式化验证 C++ 代码,及其内存安全与并发安全的工程参数配置。
深入解析 Dynamo 分布式推理框架下 CUDA kernel 的 shared memory tiling 优化策略,提供 GPU 内存布局与带宽利用率的工程实践参数。
深入探讨 C23 引入的静态断言、空指针常量与编译期计算特性,结合解析而非验证的错误处理哲学,为系统级代码提供可落地的防御策略。
深入分析微软向FBI提供BitLocker恢复密钥的技术机制:云端密钥备份架构、执法配合流程、企业级加密产品的信任边界设计,以及与端到端加密理念的根本冲突。
从 Merklemap 的工程实践出发,解析百亿级证书透明度日志的 PostgreSQL 索引策略、存储层设计与运维参数阈值。
深入解析 Chromium 项目为提升安全性而禁用特定 C++ 特性的工程决策,涵盖禁用列表、替代方案与遗留代码迁移策略。
解析 FastRender 如何用 Planner-Worker 协调模式替代传统事件循环,承载数百并行 Agent 完成三百万行 Rust 代码的浏览器引擎实现。