Latest News

Declarative WASM GC Types

2026 is an exciting year for the Rust compiler (and me)

Static Analysis for the Uninitialized

Efficient Extraction for Effectful E-graphs

A New Way to Think About Borrow Checking (In Reverse)

MLIR-to-RTL Simulation Flow: From linalg.matmul to a Systolic Array

Introduction Hi! I'd like to share the MVP of my hw-mlir-lab project, where I use MLIR to lower matrix multiplication ( matmul ) to a systolic array…

Gleam case exhaustiveness, as a fan

Compiler bootstrapping depends on more than you might think

Chasing a -O2 pessimization in antcc

The next-gen borrow checker, a drop-in replacement for Rust borrow checking

Valen's Memory Safety: A New Kind of Borrow Checking

Branches in branch-free code

Equality Saturation: An “Incomplete” Project

rat's minimal register allocator

Zeroization, part 1: Wiping can make things worse

Inside the Mojo compiler

Two arm64-specific miscompiles induce vulnerabilities in curl

Gleam doesn't compile to Erlang source anymore

Refinement E-Graphs

Hacking the Go compiler to efficiently map IPv4 to IPv6

Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989)

Dynamically-typed object-oriented languages please programmers, but their lack of static type information penalizes performance. Our new implementat…

Upstream Rust maintenance report

Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures

The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary

How to speed up the Rust compiler in September 2026

Re: Suggestions on implementing an efficient instruction set simulator in LuaJIT2 (2011)

Quarkdown: Turing-complete Markdown typesetting system

Benchmarking Wild vs Mold

Why building a Rust LSP is hard

How GCC Eliminates Unnecessary Integer Division