从零实现 Git 对象模型：Blob、Tree 与 Commit 的设计与工程实践
深入剖析自定义 Git 实现中的核心对象模型设计，涵盖 Blob 存储机制、Tree 结构映射与 Commit 图构建，提供可落地的工程参数与实现要点。
阅读全文 →
←所有分类
compilers
技术与实践
Rust std 在 GPU 上的设备抽象层：hostcall 机制与异构 API 映射
解析 Rust 标准库在 GPU 运行时下的设备抽象层设计：hostcall 机制如何实现 GPU 到主机的结构化请求、异构内存映射与渐进式功能分派。
阅读全文 →
Rust 编译器如何通过类型系统和借用检查实现内存安全
深入解析 Rust 编译器如何通过所有权模型、借用检查和生命周期分析，在编译期捕获悬垂指针、释放后使用等内存安全问题，实现零成本抽象。
阅读全文 →
纯浮点乘加实现双精度位转换：IEEE 754 位操作的算术化绕过与数值稳定性工程实践
探讨在仅有浮点乘加的环境下如何实现 IEEE 754 双精度数的位级转换，剖析逻辑运算的算术化重构、指数位二分提取与特殊值的工程处理边界。
阅读全文 →
词法分析器性能翻倍却遭遇 IO 瓶颈：一次 syscall 开销的深度复盘
通过实际案例揭示 syscalls 如何主导小文件处理性能，对比独立文件与 tar.gz 归档的 42 倍 IO 效率差异。
阅读全文 →
ASIC流片前两周工程检查清单：时序收敛、DRC/LVS物理验证与sign-off流程的关键节点把控
面向ASIC流片前两周的关键工程阶段，给出时序收敛、DRC/LVS物理验证与sign-off签核的完整检查清单与可操作参数。
阅读全文 →
Rocq C++ 提取中的运行时检查插入策略
分析 Bloomberg Crane 在将 Rocq 验证代码提取为 C++ 时，如何通过 sigma 类型到 assert 的转换策略填补依赖类型先验条件的验证空白。
阅读全文 →
Coi 语言：面向 WebAssembly 的类型安全前端编译器设计
深入分析 Coi 语言如何通过严格静态类型、引用参数传递与显式移动语义实现 WebAssembly 前端编译的编译期安全保障，对比 AssemblyScript 与 Rust 的差异化设计策略。
阅读全文 →
WebCC 二进制命令缓冲区：WASM-JS 边界的批量优化策略
解析 WebCC 如何通过二进制命令缓冲区批量处理 API 调用，将 WASM 与 JavaScript 之间的通信开销从函数级别降为批量级别。
阅读全文 →
Coi 语言：面向 WebAssembly 的类型安全组件式编程
深入解析 Coi 语言的编译器设计、细粒度响应式机制与性能优化策略，探讨其如何通过共享内存架构实现比 React/Vue 更优的渲染性能。
阅读全文 →
Coi 语言：面向 WebAssembly 的 O(1) 响应式前端语言设计
剖析 Coi 语言如何通过共享内存架构与编译时静态分析实现无虚拟 DOM 的 O(1) 响应式渲染，对比其与传统前端框架在 JS/WASM 交互上的架构差异及性能基准。
阅读全文 →
从 Rocq 定理证明器提取经过数学证明的 C++ 代码
解析 Bloomberg 的 Crane 提取系统如何将经过形式化验证的 Rocq 程序转换为符合生产标准的 C++ 代码，涉及类型映射、函数式惯用法转换与软件事务内存等核心技术。
阅读全文 →
Bloomberg Rocq 编译器工具链：Crane 提取系统的设计与工程实践
剖析 Bloomberg 开发的 Rocq 到 C++ 提取系统 Crane 的编译器工具链设计，聚焦类型映射、单子接口与可配置化策略的工程落地要点。
阅读全文 →
Bloomberg Crane：从 Rocq 定理证明器提取形式化验证的 C++ 代码
深入解析 Bloomberg Crane 提取系统，探讨如何从 Rocq 定理证明器直接生成符合工程规范的形式化验证 C++ 代码，及其内存安全与并发安全的工程参数配置。
阅读全文 →
从硅晶到逻辑：Intel 8086 处理器 ALU 微架构逆向解析
通过芯片die照片逆向工程，深入剖析 Intel 8086 处理器的算术逻辑单元实现细节，揭示曼彻斯特进位链、可配置多路复用器与动态锁存器的精妙设计。
阅读全文 →
Tree-sitter 与 LSP 解析引擎架构与性能工程对比
深入对比 Tree-sitter 增量解析引擎与 LSP 语义分析系统的架构差异，解析编辑器场景下的性能边界与混合架构工程实践。
阅读全文 →
Scheme函数式特性向WASM GC虚拟机的运行时映射
解析Scheme函数式特性向WASM GC虚拟机映射的工程挑战：闭包heap对象化、尾调用栈布局、引用类型字段存储与分代GC参数配置。
阅读全文 →
Scheme 到 WebAssembly 编译器工程实践：类型映射与运行时设计
基于 Eli Bendersky 的 Bob 项目，分析 Scheme 表达式向 WebAssembly 字节码转译时的类型映射策略、GC 接口设计及运行时函数实现。
阅读全文 →
Tree-sitter增量解析引擎的工程实现
深入解析Tree-sitter增量解析的核心机制：edit node定位算法、最小重算范围判定与concrete syntax tree的工程实践。
阅读全文 →
Tree-sitter 与 LSP 协议设计哲学的架构差异
深入解析本地增量解析器与分布式协议框架在同步模型、错误恢复、状态同步上的根本设计哲学差异，帮助工程师在延迟敏感场景与功能扩展性之间做出合理权衡。
阅读全文 →
WASM模块段级并行解析策略：利用type、import、function、code段独立性实现并发处理
深入分析WebAssembly模块的段结构，探讨如何利用type、import、function、code等段的天然独立性设计并行解析策略，提升WASM解析器性能。
阅读全文 →
WebAssembly WAT解析器性能优化350%的技术实现与工程实践
深入分析WebAssembly文本格式解析器性能提升350%的具体技术实现，包括手写解析器替代组合库、内存访问模式优化与零分配策略。
阅读全文 →
E80 8位CPU的VHDL结构设计：面向LLM代码生成的硬件描述语言优化与形式验证策略
分析E80 8位CPU的VHDL教育实现，探讨面向LLM代码生成的硬件描述语言优化策略与形式验证方法，提出改进VHDL代码生成质量的技术路径。
阅读全文 →
CUE语言的Literate Programming引擎架构：从声明式配置到可执行文档的工程实现
深入分析CUE配置语言如何通过tool/file和tool/exec模块构建literate programming引擎，实现代码与文档的双向验证与同步生成。
阅读全文 →
Prolog回溯搜索空间优化：约束传播与智能剪枝的工程实践
深入分析Prolog回溯算法的搜索空间优化策略，探讨约束传播的剪枝机制、CLP(FD)参数配置、记忆化技术实现，以及工程实践中的监控与调优要点。
阅读全文 →
3D几何语言的跨运行表达式缓存：从编译器优化到实时编程体验
深入解析Geoscript语言中独特的跨运行表达式缓存优化技术，探讨如何通过AST结构哈希和持久化缓存大幅提升3D几何编程的迭代速度。
阅读全文 →
Go到TypeScript转译的AST转换策略与类型系统映射工程挑战
深入分析GoScript转译器的AST级转换机制、类型系统映射挑战、goroutine到async/await的并发模型转换，以及运行时兼容性工程实现。
阅读全文 →
Crafting Interpreters中的解释器实现模式：构建可扩展的教学框架与字节码优化策略
深入分析Crafting Interpreters的双重实现模式，探讨树遍历解释器与字节码虚拟机的教学框架设计，构建可扩展的字节码优化策略体系。
阅读全文 →
Tsonic：TypeScript到C#编译器的架构设计与类型系统实现
深入分析Tsonic编译器的两阶段架构、CLR类型系统集成与NativeAOT运行时实现，探讨这一创新编译器的工程挑战与设计哲学。
阅读全文 →
Gleam类型系统与编译器架构：双目标编译的工程实现
深入分析Gleam的Hindley-Milner类型系统实现、Rust编译器架构，以及Erlang/JavaScript双目标编译的技术细节与工程实践。
阅读全文 →
Zirgen DSL编译器的中间表示设计：基于MLIR的算术电路IR架构
深入分析RISC Zero Zirgen DSL编译器的中间表示设计，探讨如何基于MLIR构建面向算术电路的特定领域IR，实现语义保留与跨后端优化的平衡策略。
阅读全文 →
LLVM IR抽象泄漏与Pass依赖图管理：构建可维护的编译器基础设施
分析LLVM IR去类型化导致的抽象泄漏问题，设计基于新Pass管理器的依赖图静态分析与动态调度机制，构建可维护的编译器基础设施。
阅读全文 →
从PHP JIT作者npopov视角看LLVM架构缺陷：编译器设计哲学的深度对比
作为LLVM项目lead maintainer和PHP JIT编译器主要开发者，npopov从双重身份出发系统批判LLVM架构缺陷，对比PHP JIT IR框架设计哲学，探讨编译器基础设施的替代实现路径。
阅读全文 →
LLVM IR设计缺陷与优化器架构改进：模块化IR与解耦优化pass的工程方案
深入分析LLVM IR设计缺陷如何制约优化器架构，提出模块化IR设计与解耦优化pass的工程方案，解决顺序依赖与语义表达限制问题。
阅读全文 →
LLVM设计缺陷深度剖析：从架构瓶颈到改进路径
深入分析LLVM编译器基础设施的设计缺陷、工程陷阱与性能瓶颈，探讨审查流程、API稳定性、IR设计等核心问题，并提出具体改进方案与替代架构思路。
阅读全文 →
Elo 语言类型系统统一与跨后端语义一致性分析
深入分析 Elo 数据表达式语言如何通过统一的类型系统和 AST→IR 转换机制，确保 JavaScript、Ruby、SQL 三端语义一致性，为 No-Code 工具提供跨层数据操作保证。
阅读全文 →
LLM优化编程语言的多后端编译架构与符号语法统一
深入分析LLM优化编程语言的多后端编译架构设计，探讨如何通过统一符号语法抽象实现JavaScript/Ruby/SQL等多目标编译的工程实现方案。
阅读全文 →
Scratch到Python的浏览器端编译：AST转换与WebAssembly运行时
分析EktuPy项目如何通过AST转换器将Scratch-like同步API转换为异步Python代码，在浏览器中实现完整的Python编程环境，包括PyScript运行时、WebAssembly工具链与教育编程迁移策略。
阅读全文 →
Elo 多目标编译：为 No-Code 工具设计的数据表达式语言
深入解析 Elo 语言如何通过统一类型系统和 AST→IR 转换，实现 JavaScript、Ruby、SQL 三端语义一致的表达式编译。
阅读全文 →
C++值类别系统的编译器实现：从std::move到完美转发的底层机制
深入分析C++值类别系统的编译器实现机制，揭示std::move仅作为类型转换的本质，探讨引用折叠规则和完美转发的底层实现原理。
阅读全文 →
第 3 / 3 页 · 共 230 篇