Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

The GDB JIT interface

Load and store forwarding in the Toy Optimizer

Introduction to Software Development Tooling (2024)

Abstract Interpretation in the Toy Optimizer

A catalog of side effects

Walking around the compiler

Linear scan register allocation on SSA

Linear Scan with Lifetime Holes

Compiling a Lisp: Lambda lifting

Liveness analysis with Datalog

How to Use Snprintf

What I talk about when I talk about IRs

A simple search engine from scratch

Zero-overhead checks with fake stack overflows

Writing that changed how I think about programming languages

You can use C-Reduce for any language

Nix Derivations, Without Guessing

Vectorizing ML models for fun

Representing Type Lattices Compactly

Prospero challenge, now with more garbage collection

Ways to generate SSA

A compiler IR for Scrapscript

Interprocedural Sparse Conditional Type Propagation

Weak references and garbage collectors

Into CPS, Never to Return

You can use C-Reduce for any language

A multi-emulator Gameboy tracer

Adding row polymorphism to Damas-Hindley-Milner

Damas-Hindley-Milner inference two ways

The Universal Relation

More →