compiler-design

本文认为汇编语言实际上是有类型的，并介绍了Odin的内联汇编器作为最佳实现，因为它与语言的类型系统和语义诊断深度集成。

This paper presents CAKE, a compiler-agent co-design framework that lets AI agents author a hardware-explicit IR for GPU kernels, achieving significant speedups over baselines across various workload families.

这份1994年的技术说明描述了在Forth中构建确定性和非确定性有限状态自动机的方法，强调定义与状态表之间的一一对应，以避免缓慢的嵌套IF语句。

讨论两种并行化编译的方法：多进程（单线程编译器与构建系统生成多个实例）和进程内多线程（Rust和Zig使用）。比较了语言设计的权衡。

一次技术深度剖析，解释内存编译器是什么、如何使用位单元生成SRAM布局，以及从交叉耦合反相器到GDS拼接所涉及的设计概念。

Typst 通过约束记忆化（comemo）和纯函数设计，使语言和编译器协同工作，实现高效的增量编译和实时预览。文章详细介绍了布局缓存、模块评估记忆化、函数纯度以及内省系统的设计思路。

本文提出了一种有原则性的方法来重新思考 APL 等数组语言，通过将变量建模为输入维度的函数，旨在相较于传统方法提高可读性和错误检查能力。

一位开发者分享了可嵌入类型化语言 Ekto 的最新进展，该语言受 Lua、Koka 和 Erlang 启发，并讨论了为 Casper VM 实现引用计数、内存管理及有界续体时面临的挑战。

一篇技术博客文章批评了基于查询的编译器，认为其有效性受限于源语言的依赖结构，尤其是雪崩效应——变更可能广泛传播，使得增量更新往往和完全重建一样昂贵。