Web

A program is a tree — building a Verbose compiler in Verbose

Verbose is a small experimental language I'm building. Its compiler proves properties about your code — like termination — and emits tiny, readable x8…

Meet Rux

There's no shortage of new programming languages these days, but every so often one comes along that's worth paying attention to early. Rux is a fast,…

LLVM #6 — Compiling to Object Code.

This is a short chapter but with a very tangible and "objective" payoff. Basically, every function we typed into the REPL got compiled and ran inside …

Gloria JIT v4.4.0 — Bare-Metal Control, Memory Primitives, and Structured Flow

What is Gloria JIT? Gloria JIT is a low-level programming language and compiler that is part of the ForgeZero ecosystem. It is written in Go and compi…

Leaving performance on the table

A new register allocator for ZJIT

Gobee: write eBPF programs in Go, transpiled via clang

AsmX с движком Raptor: Архитектура абсолютного контроля

Raptor Engine: Как 30 000 строк кода на TypeScript вдохнули жизнь в компилятор AsmX Можно ли объединить абсолютный контроль низкоуровневого ассемблера…

The Compiler: Heart and Tools of All Software

The Compiler: Heart and Tools of All Software Every program you have ever run — your operating system, your browser, the app that woke you up this mor…

LLVM #5 — Mutable Variables

So far, Kaleidoscope has been a functional language with immutable variables and no reassignment. But to write anything resembling real code (loops th…

Flux: The New Programming Language Built for Tomorrow’s CPUs

As we enter an era of massive hardware innovation, the design of programming languages must evolve to keep pace with modern advancements. Flux is more…

Dart Live, a compiler, VM, analyzer and hot reload on the web via Wasm

I managed to get the Dart VM to compile to WebAssembly so that I can compile Dart programs in the browser. Dart ships with a basic ARM interpreter and…

LLVM #3 — Control Flow

After all we've done (building a lexer, parser, code-generator, optimiser, and the JIT), we give Kaleidoscope decision-making abilities. What I built:…