Testing & QA

The fixed point: a compiler written in its own language just reproduced itself, byte for byte

Verbose is a small experimental language I'm building — its compiler proves properties about your code (termination, sound types) and emits tiny x86-6…

Galfus Script MVP is complete

Galfus Script has reached its first MVP milestone. Galfus is an experimental programming language written in Rust, designed around a typed VM-first ex…

V.E.L.O.C.I.T.Y.-OS: The Synaptic Canvas GUI & V-NCE GPU (Part 10)

After writing drivers for NVMe storage, my bare-metal kernel could load files and run JIT code. However, I was still typing commands into a text-only …

V.E.L.O.C.I.T.Y.-OS: Reclaiming Ring 0 – UEFI Bootloader & GDT/IDT (Part 8)

Up until this point, I had built an incredible JIT compiler, but it was still running on top of Windows. If I wanted true zero-allocation, microsecond…

V.E.L.O.C.I.T.Y.-OS: Classic Compiler Optimization Passes in JIT (Part 7)

Now that the JIT compiler could output raw x86-64 machine instructions, the next step was to optimize the AST tree before emitting code bytes. If the …

A compiler written in its own language just emitted a standalone Linux executable

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

The APLR(1) Algorithm for Generating Compact LR(1) Parsers is Simpler and More Capable than IELR(1)

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 …

Semantic Reification: A new paradigm for random program generation

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…