Damas-Hindley-Milner inference two ways

The Universal Relation

What’s in an e-graph?

Microui+fenster=Small GUI

Beaker Browser and the Dat Protocol

Precedence-aware pretty printing

Abstract Interpretation in the Toy Optimizer

Some Tricks from the Scrapscript Compiler

Programming languages resources

TCC does support attribute(section(…)), actually

A Baseline Scrapscript Compiler

Compilers for free with weval

Type information for faster Python C extensions

Waking My Computer from Afar

How to mess with your roommate (2018)

Neat Parallel Output in Python

Git Aliases and Addons

Compiling a Lisp (2020)

Type information for faster Python C extensions

scrapscript.py

A quick look at destination-driven code generation

Ninja is enough build system

Building a Small REPL in Python

Compiling ML models to C for fun

Compiling typed Python: types are very broad hints and they are sometimes lies.

Compiling Typed Python

Writing a symbolizer for the Cinder JIT

Inline caches in the Skybison Python runtime

How we use binary search to find compiler bugs

Driving student programs

More →