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