Mirror-Bridge：利用 C++ 反射自动生成 Python/JS/Lua 绑定
借助 C++26 静态反射，Mirror-Bridge 实现无需手动封装的 Python/JS/Lua 绑定生成管道，提供高性能多语言互操作的关键工程参数与实践。
2025-12-04compiler-design2025-12
Category
compiler-design
共 663 篇文章。
在 CDC 6600 模拟器上复现欧拉幂和猜想反例：Fortran I/O、汇编分派与向量指令模拟
通过 CDC 6600 模拟器复现 1966 年欧拉猜想 k=5 反例，详述 Fortran I/O 处理、汇编分派逻辑及向量指令模拟的关键参数与工程要点。
2025-12-04compiler-design2025-12
Mirror-Bridge：利用C++26反射一键生成Python绑定
基于C++26静态反射元数据，自动发现C++类、方法与字段，生成高效Python绑定。提供Docker搭建、命令参数、性能优化清单。
2025-12-04compiler-design2025-12
LLVM后端融合鲁棒的窥孔优化规则设计：情境分析与多遍匹配
针对LLVM后端指令融合（如add+mov→lea+shl），通过情境分析和多遍模式匹配，设计鲁棒窥孔优化规则，提升优化管道稳定性。
2025-12-04compiler-design2025-12
Schubfach 算法：1KB 内实现精准双精度浮点转字符串
通过基数分组与预计算表实现最小化、高精度的 double-to-decimal 转换，核心逻辑压缩至 1KB 以内。
2025-12-04compiler-design2025-12
构建轻量Common Lisp运行时：WASM交叉编译中的尾调用与GC集成
通过WasmGC提案与尾调用优化技术，实现Common Lisp到WebAssembly的高效交叉编译，解决栈帧管理与内存碎片问题。
2025-12-04compiler-design2025-12
构建最小 Common Lisp WebAssembly 运行时：尾调用优化与 GC 集成
面向 Common Lisp 到 WebAssembly 交叉编译，给出最小运行时设计、尾调用优化参数与垃圾回收集成要点。
2025-12-04compiler-design2025-12
C静态数组参数：边界检查与向量化优化
C99引入函数参数数组[static N]语法，指定预期元素数，实现编译器自动边界验证、别名分析和向量化优化，无需手动传递大小。
2025-12-03compiler-design2025-12
GHC 链接器链接时瘦身：死代码消除与常量折叠实践
GHC 在链接阶段集成死代码消除与常量折叠，实现二进制动态瘦身，提供工程参数、阈值与监控要点。
2025-12-03compiler-design2025-12
C++编译器优化实践：窥孔替换、内联决策、逃逸分析与自动向量化
剖析C++编译器核心优化技术，包括窥孔模式匹配、内联阈值决策、逃逸分析栈分配及自动向量化条件，提供GCC/Clang工程参数与代码清单。
2025-12-03compiler-design2025-12
C++26 Executors 自定义调度实践：高效异步任务图与协程基准
实践 C++26 sender/receiver 模型，集成自定义调度器构建高效异步任务图，并与协程基准对比，提供落地参数与监控要点。
2025-12-03compiler-design2025-12
C++编译器实用优化实战：窥孔、内联、逃逸分析与向量化
通过代码示例和基准测试，探索C++编译器中的窥孔优化、内联、逃逸分析与向量化实战应用、性能收益及工程权衡。
2025-12-03compiler-design2025-12
Xania 优化器防愚弄窥孔机制：情境感知规则集的自适应重写
剖析 LLVM 后端窥孔优化器如何通过情境感知规则集，防御 add/mov-to-lea/shl 等模式的愚弄，实现自适应指令重写与性能保障。
2025-12-03compiler-design2025-12
Xania LLVM后端工程化不可欺骗优化器窥孔：顽固ADD/MOV序列转LEA/SHL与阈值调优
Xania LLVM后端通过窥孔优化匹配顽固多ADD/MOV序列，替换为LEA/SHL高效指令，并调优匹配阈值防止模式逃逸，提供工程参数与监控要点。
2025-12-03compiler-design2025-12
Xania LLVM 后端中的“添加情境”窥孔优化：多指令序列匹配与强度降低
针对自定义 LLVM 后端 '添加情境' 模式，给出窥孔优化的多指令匹配规则、强度降低参数及工程落地清单。
2025-12-03compiler-design2025-12
MiniZinc约束建模Partridge Packing Problem：高效2D正方形完美装箱策略
详解MiniZinc下Partridge Packing Problem的约束建模，包括diffn非重叠、精确填充与边缘放置限制、对称性打破技巧，提供OR-Tools CP-SAT求解参数与性能优化清单。
2025-12-02compiler-design2025-12
Zig 新异步运行时计划：单线程事件循环与协程调度实践
Zig 新 async 计划聚焦单线程事件循环协程调度、挂起 poll 优化，提供低延迟网络服务工程参数与监控要点。
2025-12-02compiler-design2025-12
TypeScript 7 优化进展：增量分析与并行构建加速
TypeScript 7 原生预览版通过增量分析重构和共享内存并行，实现编译速度10倍提升，详解落地参数、监控要点与迁移清单。
2025-12-02compiler-design2025-12
Lowtype：Ruby优雅渐进式类型系统：静态推断、运行时契约与最低性能开销
通过lowtype为Ruby引入渐进式类型：静态类型推断、运行时契约检查，实现动态代码安全化，同时性能开销最小化，提供集成参数与监控要点。
2025-12-02compiler-design2025-12
Zig 无线程异步运行时：事件循环协程设计
Zig 重设计异步运行时，采用单线程事件循环协程，避免线程开销，实现低延迟网络服务。通过 await 挂起与 poll 调度，提供高效参数与监控要点。
2025-12-02compiler-design2025-12
Elixir 中 Lazy BDD 用于集合类型论类型的紧凑共享表示与按需评估
针对 Elixir 渐进式类型系统，介绍 Lazy Binary Decision Diagrams 在表示 set-theoretic types 时的共享子图优化、惰性构建参数与工程监控要点。
2025-12-02compiler-design2025-12
GHC 链接器死代码消除与 COMDAT 重复符号折叠：多遍链接缩小 Haskell 二进制
GHC 链接器引入死代码消除与 COMDAT 重复符号折叠，通过多遍链接显著缩小 Haskell 二进制体积，提供具体参数配置、基准测试与工程权衡。
2025-12-02compiler-design2025-12
Rust/LLVM后端：连续add指令的Peephole优化融合lea/mul
针对连续add指令'adding situation'，应用peephole优化融合为lea/mul序列，优化uop数与寄存器分配，提供实现规则与参数。
2025-12-02compiler-design2025-12
FreeBASIC 运行时性能优化：剖析 2019 YouTube 优化 Passes 与受限环境 JIT 调整
基于 2019 YouTube 技巧，剖析 FreeBASIC 通过 opt passes 和编译 flags 提升解释/编译速度，针对现代低资源环境给出参数清单与监控要点。
2025-12-02compiler-design2025-12
Xania编译器优化圣诞季2025：增量编译解决Advent of Code
借鉴Xania项目，用增量编译器从lexer/parser到optimizer/codegen生成x86汇编，高效攻克Advent of Code谜题，提供关键工程参数与清单。
2025-12-02compiler-design2025-12
GHC链接器死代码剔除与重复符号折叠：Haskell可执行文件优化实践
GHC链接阶段实时剔除死代码并折叠重复符号，提供瘦身参数、阈值监控与回滚策略，实现Haskell程序加载加速。
2025-12-02compiler-design2025-12
Durin：OCaml DWARF 发射器构建复杂 DIE 树、CU 头、重定位与序列化
基于 Durin 库的 OCaml DWARF 写入器，详解复杂 DIE 树构造、编译单元头处理、重定位机制及序列化工程参数与最佳实践。
2025-12-02compiler-design2025-12
GHC链接器实时shrink：剥离未用代码优化二进制大小与加载速度
GHC编译Haskell程序时，可执行文件往往体积庞大。通过-split-sections与链接器--gc-sections结合，实现链接阶段动态剥离未用代码与数据，实时缩小二进制大小，同时优化编译内存峰值与程序加载速度。
2025-12-02compiler-design2025-12
OCaml Durin：DWARF 调试格式完整写入器——DIE 树构建与 relocations 序列化
解析 Durin 在 OCaml 中实现 DWARF 5 写入的核心机制，包括复杂 DIE 树构建、CU header 参数、relocations 序列化及 relocatable object emission 实践。
2025-12-02compiler-design2025-12
x86 XOR 清零习语向量化：AVX/SSE 实现 Lane-Independent Zeroing
将经典 x86 XOR 清零扩展到 SSE/AVX 向量寄存器，实现每个 lane 独立清零，打破跨 lane 依赖，提升超标量 ILP 与向量吞吐性能。
2025-12-02compiler-design2025-12
x86中XOR reg,reg 与 MOV reg,0 清零：uop数量、依赖中断与功耗性能权衡
现代x86微架构下剖析XOR零化习惯用法优于MOV reg,0的uop节省、依赖链中断机制及功耗性能参数选择。
2025-12-01compiler-design2025-12
Langjam自举最小解释器：游戏DSL解析执行循环
面向Langjam 7天挑战，给出自举最小解释器架构，支持parser/eval loop运行简单2D游戏DSL的关键参数与实现清单。
2025-12-01compiler-design2025-12
x86 解码器效率：热循环中 XOR 清零优于 MOV 0
剖析 x86 XOR reg,reg 清零技巧在热循环解码吞吐、I-cache 和 uops 上的优势，附历史背景与现代工程参数。
2025-12-01compiler-design2025-12
LLVM-MOS：6502 Clang 后端的 IR 降低与内联展开优化
针对 MOS 6502 的 LLVM fork 后端，详解 IR 降低策略、内联/展开参数，以及复古嵌入式 C/Rust 编译清单。
2025-12-01compiler-design2025-12
LLVM-MOS：为6502八位系统带来现代C/C++工具链
llvm-mos 是 LLVM/Clang 分支，针对 MOS 6502 优化，支持 C99/C++11 在 Commodore 64、NES 等复古平台上的开发，提供安装指南、优化参数和多平台清单。
2025-12-01compiler-design2025-12
Langjam 自举最小解释器：玩具语言到游戏逻辑
Langjam 7 天游戏 Jam 下，自举最小树遍历解释器实现玩具语言解析与游戏逻辑求值，聚焦词法语法评估器工程参数、GameJam 时间约束优化与简单 Roguelike 示例。
2025-11-30compiler-design2025-12
LangJam 自举最小解释器：直接用生成语言实现游戏引擎
7天LangJam挑战中，自举栈机解释器，用自定义语言编写游戏循环与Canvas图形原语，提供工程参数与监控要点。
2025-11-30compiler-design2025-12
LLVM-MOS：为6502指令集带来现代Clang后端与内联/循环展开优化
llvm-mos fork Clang/LLVM针对6502 ISA，提供retargetable codegen，支持inlining/loop unrolling等现代优化，适用于复古嵌入式系统，给出工程参数与落地清单。
2025-11-30compiler-design2025-12
简单规则的let多态类型检查器：递归多态与subsumption实现
用简单规则实现支持递归、多态的lambda演算类型检查器，通过bidirectional infer/check与subsumption，避免复杂unification算法。
2025-11-30compiler-design2025-12
let多态λ演算的基于规则类型检查器实现
使用双向类型检查结合递归下降解析和替换推理引擎，实现λ演算核心类型规则，支持let多态、函数应用与原语操作，提供落地参数与监控要点。
2025-11-30compiler-design2025-11
使用统一变量、子类化规则与约束传播实现双向类型推断
详述无需解析器耦合的可扩展类型检查器实现，包括规则、算法参数与工程清单。
2025-11-30compiler-design2025-11
Zigbook 涉嫌抄袭 Zigtools Playground：AST 树比对与 MinHash LSH 语义取证
针对 Zigbook 与 Zigtools Playground 代码库，使用 AST tree-diff 和分块 MinHash LSH 进行语义抄袭量化，提供规范化参数、相似阈值与检测清单。
2025-11-30compiler-design2025-11
Zig在线游乐场中的基于AST的代码抄袭检测
在Zig Playground集成AST指纹生成与语义相似度匹配，实现在线沙箱抄袭检测。给出Zig中AST解析、哈希指纹、阈值参数与日志监控清单。
2025-11-30compiler-design2025-11
1964模拟器N64 RDP动态重编译管线：指令获取解码与x86 JIT优化
基于2001文档，详解1964 RDP引擎动态重编译流程，包括指令fetch/decode、x86代码生成、寄存器分配等工程实践与参数配置。
2025-11-30compiler-design2025-11
ABC守护命令如何影响Scala并发与Python控制流
剖析ABC解释器过程块与守护命令的设计，探讨其对Scala并发模型及Python控制流的工程化启发，提供可落地参数与监控清单。
2025-11-29compiler-design2025-11
Pandoc Word 模板表格样式覆盖：reference-docx、stylemap 与自定义 XML
在 Markdown-to-DOCX 管道中，通过 reference-docx 创建 Table 样式、YAML stylemap 映射及 OpenXML 自定义强制模板表格格式化，提供完整工程参数。
2025-11-29compiler-design2025-11
ABC解释器的过程块、守卫命令与动态作用域：塑造Python控制流的遗产
剖析ABC语言解释器中的过程块、守卫命令及动态作用域，如何奠基Python的控制流、异常机制与模块系统，并给出工程参数与重构清单。
2025-11-28compiler-design2025-11
C语言中printf的泛化格式化：自定义谓词与类型安全实现
探讨扩展printf支持自定义格式谓词、运行时类型推断和安全解析的工程方案，避免va_list宏滥用，提供可落地参数与监控要点。
2025-11-28compiler-design2025-11
TigerStyle 编码哲学：安全、高性能与开发者体验的系统工程实践
TigerStyle 作为一种编码哲学，强调以安全为基础的高性能系统开发，通过固定限制、静态分配、napkin math 等实践，实现零技术债的可靠代码。
2025-11-28compiler-design2025-11
Coq形式化宏汇编器IR：定义、展开算法与语义等价证明
介绍Coq中宏汇编器IR的形式化定义、宏展开算法及语义等价性证明，支持复杂汇编宏的正确性验证。
2025-11-27compiler-design2025-11
V语言被低估的系统编程特性：热重载、内置ORM、无GC内存安全与简化并发
V语言在系统编程中提供热代码重载、内置ORM/SQLite支持、无GC内存安全及Go式并发，助力高效、安全开发。
2025-11-27compiler-design2025-11
Rust 多态移动表达式：条件移动零成本实现与借用检查器扩展
Rust 新提案引入多态移动表达式，支持条件分支下的所有权转移，无需临时分配或 pinning，提供工程化参数与落地清单。
2025-11-27compiler-design2025-11
Coq：世界上最好的宏汇编器——宏汇编IR形式化与验证
形式化宏汇编器中间表示（IR）语义，实现扩展/收缩过程验证，证明双向等价，并提取OCaml检查器，提供卫生宏处理的工程参数。
2025-11-27compiler-design2025-11
高阶逻辑证明器中的血管计算形式化：验证宏展开与计算模型
面向血管计算原则的形式化，给出HOL证明器中宏展开验证与计算模型的类型定义、重写规则与证明策略清单。
2025-11-27compiler-design2025-11
Lambda 归约器：应用序与正规序策略
客户端 JS λ-归约引擎：可视化应用序 vs 正规序，栈深度追踪，非终止循环阈值检测。
2025-11-27compiler-design2025-11
浏览器端交互式 λ 归约：Normal Order 与 Applicative Order 的可视化解析
基于 client-side JS 引擎，实现 lambda 项解析、beta-归约（normal/applicative order）、动画图可视化及步进替换追踪，提供策略参数、阈值与监控清单。
2025-11-27compiler-design2025-11
Coq证明助手中实现宏组装器：汇编IR定义与宏展开验证
在Coq中形式化宏组装器，定义汇编级IR、验证指令解码与宏展开正确性、确保类型安全代码生成，提供工程参数与证明清单。
2025-11-27compiler-design2025-11
Zig编译器monorepo从GitHub迁移到Codeberg：保留git历史与LFS的无缝工程实践
Zig项目monorepo迁移工程实践：完整保留git历史/LFS、issues/PRs双轨管理、Forgejo Actions CI/CD适配参数，实现零中断切换。
2025-11-27compiler-design2025-11
Claude 辅助 JOPA C++ 后端 Java 6 泛型注解移植
Claude 辅助增量 AST 重写，实现 Java 6 泛型与注解在 C++ 编译器中的等价支持，覆盖嵌套通配符与 @Override 验证测试。
2025-11-27compiler-design2025-11
Claude 重构 Jikes：C++ 版 Java 6 泛型与注解解析优化
基于 JOPA 项目，探讨用 Claude AI 重写 Jikes 编译器至 C++ 的核心技术：针对 Java 6 泛型与注解的解析树优化、后端代码生成差异，以及 C++ 内存模型带来的性能提升与工程落地参数。
2025-11-27compiler-design2025-11
Claude 提示驱动的 Jikes Java 编译器 C++ 重写：Java 6 泛型与注解
LLM 辅助重构历史 Jikes 编译器至现代 C++，聚焦 Java 6 泛型类型擦除、注解字节码注入与 CMake 构建参数，提供落地工程清单。
2025-11-26compiler-design2025-11
Claude 驱动的 Jikes Java 编译器 C++ 重写：Java 6 泛型与注解支持
利用 Claude LLM 重构历史 Jikes 编译器至 C++，聚焦 Java 6 泛型类型擦除、注解解析与现代 CMake 构建参数，提供工程化落地清单。
2025-11-26compiler-design2025-11
Qiskit SDK：工程化转译、调度、错误缓解与混合量子流水线
Qiskit 通过预设 PassManager 构建转译流水线，支持 transpilation 的六个阶段、调度优化与错误缓解，结合 Runtime primitives 实现 scalable 混合量子-经典工作流，提供关键参数配置与监控清单。
2025-11-26compiler-design2025-11
用 Claude AI 提示重写 Jikes：C++ 实现的 Java 6 编译器
基于 Claude AI 提示工程，将历史 Jikes 编译器现代化移植到 C++17，支持 Java 5/6 特性如泛型与注解，提供构建参数、测试清单与优化策略。
2025-11-26compiler-design2025-11
AI辅助的Jikes C++移植：完整Java 6支持与优化实践
JOPA项目利用AI重构IBM遗留Jikes编译器至C++，全栈支持Java 6特性，包括常量折叠、数据流分析与多轮优化，适用于引导式编译场景。
2025-11-26compiler-design2025-11
工程化 Java 字节码反编译：混淆绕过与变量重命名实践
基于 JD-Core/CFR 等工具，详解 obfuscated bytecode 的 CFG 重构、类型推断策略，实现语义恢复与精确变量重命名工程参数。
2025-11-26compiler-design2025-11
Qiskit 开源 SDK 中的量子电路转译、脉冲调度、错误缓解与混合执行管道工程化
聚焦 Qiskit SDK 工程实践，给出转译优化参数、脉冲调度阈值、错误缓解清单及混合管道监控要点，实现 NISQ 设备高效执行。
2025-11-26compiler-design2025-11
Qiskit 量子电路转译：从抽象电路到硬件 ISA 的优化流水线
详解 Qiskit transpiler 的 PassManager 阶段与参数配置，提供可落地代码示例，实现量子电路的高效硬件映射与噪声优化。
2025-11-26compiler-design2025-11
LLVM 恒定时间 IR 属性：后端加密代码生成防止时序泄漏
LLVM 通过 IR 属性标记与分析 Pass 保障后端代码生成恒定时间执行，防范加密算法时序侧信道攻击，提供属性用法、Pass 参数与验证清单。
2025-11-26compiler-design2025-11
将常时 IR 属性集成到 LLVM 后端 Pass 以实现无时序泄漏的加密代码生成管道
面向加密代码生成，给出 LLVM IR 中常时属性的后端 Pass 集成方案、参数调优与监控清单，确保时序泄漏免费的代码生成管道。
2025-11-26compiler-design2025-11
LLVM IR 常量时间属性：后端 Pass 实现时序泄漏检测与加密代码生成缓解
LLVM 通过 IR 常量时间属性标记加密代码路径，后端 Pass 负责属性传播、泄漏检测、代码生成缓解及流水线验证，给出工程参数与监控清单。
2025-11-26compiler-design2025-11
LLVM后端常时分析Pass：阈值监控分支与内存模式防时序泄漏
集成LLVM IR常时属性与后端Pass阈值分析，监控分支/内存模式，确保crypto代码生成无时序泄漏，支持优化不破坏constant-time语义。
2025-11-26compiler-design2025-11
LLVM后端集成恒定时间IR属性：无时序泄漏的加密代码生成
面向crypto codegen，给出constant-time IR属性后端集成、优化pass参数与代码生成策略，确保timing leak-free。
2025-11-26compiler-design2025-11
LLVM 后端集成常时 IR 属性：消除加密代码生成中的时序侧信道
面向加密代码生成，给出常时 IR 属性在 LLVM 后端的集成方案、无分支降低参数与泄漏防护优化要点。
2025-11-26compiler-design2025-11
构建 Java 字节码反编译器：控制流图、类型推断与混淆处理
面向精确逆向工程，给出 Java 字节码反编译器的控制流图构建、类型推断算法及混淆绕过策略的工程实现参数与监控要点。
2025-11-26compiler-design2025-11
Unison 1.0 中基于哈希的命名空间：实现分布式代码共享与零停机演化
Unison 1.0 通过 hash-addressed namespaces 支持 peer-to-peer 代码更新传播，实现无缝分布式协作与代码库零停机演化，提供工程化参数与监控要点。
2025-11-26compiler-design2025-11
Unison 1.0 中基于哈希的分布式命名空间工程实践：推送拉取更新与无碰撞版本控制
Unison 1.0 通过 hash-addressed namespaces 实现跨团队分布式代码共享，给出 push-pull 更新机制、依赖解析参数与无碰撞版本管理的工程要点。
2025-11-26compiler-design2025-11
Unison 语言的哈希寻址代码存储：可重现构建与依赖提升实践
Unison 通过哈希寻址的代码存储，实现内容寻址数据库、无版本冲突的依赖提升和命名空间共享，支持分布式可重现构建。
2025-11-25compiler-design2025-11
通过5项目递进构建函数式编译器：词法器、解析器、优化器、代码生成器、虚拟机
基于Racket函数式编程，通过5个递进项目构建完整编译pipeline，从lexer解析token到栈式VM执行bytecode，实现工程化编译器教学。
2025-11-25compiler-design2025-11
功能式编译器第五项目：字节码VM构建 - 栈机、分派、GC集成与解释器优化
实现栈基字节码虚拟机，支持函数式语言特征，包括高效分派循环、垃圾回收集成，以及针对可执行字节码输出的解释器性能调优参数。
2025-11-25compiler-design2025-11