Practical Formal Verification for MLIR Programs

I built a Custom Language, Compiler, Assembler, and RISC-V VM, all running in real in your browser, using Rust and EGUI.

Antlr is very very very slow

Zero: An exercise on creating a programming language.

A Compilers Blog That's All About Details and Deep Dives

Against Query Based Compilers

krabby: making a fast Rust compiler

RealNeGate/Cuik: A Modern C11 compiler (STILL EARLY)

Stress testing register allocator

Online course: Build your own javac compiler

A new register allocator for ZJIT

Advice before getting started

Building an external query planner: E-Graphs, measure-aware rewriting, and cross-dialect SQL

Phi to block parameters

C extensions, portability, and alternative compilers

Finding miscompiles for fun, not profit

Looking for resources to learn more about making my own compiler

Verifying EDA and compiler optimizations once and for all

Tess Language: A minimal set of practical additions to C

Lime, a parser generator that can merge grammars at runtime

What's the interview process like for ML/AI compiler intern roles?

A Friendly Tour of Substructural, Uniqueness, Ownership, and Capabilities Types — and more!

Hypervisor role vs ML compiler startup

A brief note about slot access cost in Common Lisp

I built a lightweight VM/runtime for AI-generated scripts from scratch

Tiny-Lua-Compiler: Possibly the smallest Lua compiler ever

Experienced compiler devs, help me out!

Standard Optimizations using SSA form

When does a language & compiler go from “toy” to “industry grade”

10,000 Lines Later: When a Tool Became a Compiler

More →