Architecture

MLIR-to-RTL Simulation Flow: From linalg.matmul to a Systolic Array

Introduction Hi! I'd like to share the MVP of my hw-mlir-lab project, where I use MLIR to lower matrix multiplication ( matmul ) to a systolic array…

Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989)

Dynamically-typed object-oriented languages please programmers, but their lack of static type information penalizes performance. Our new implementat…

Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures

Chuks v0.1.1, The Correctness Release

Chuks has two execution modes: a bytecode VM you develop against, and a native binary you ship. v0.1.1 is about making them agree everywhere, down t…

What Is an Instruction?

Did you ever think about how your CPU executes the code that you wrote? The compiler takes your code and turns it into an executable binary. This bi…

GPU Offload in Rust: Portable, Safe, and Fast

High-performance GPU programming has traditionally forced a compromise between execution efficiency and memory safety. While Rust guarantees compile…

Building a Compiler from First Principles

The moment I wrote my first program, I knew I wanted to build a programming language. But how are languages made? How did these carefully arranged m…

I compile C to a 468-byte ROM that runs identically on x86 and ARM

I run a mesh of agents on old phones. They check invariants — is a watchdog's lease longer than twice its producer's cadence? Is the battery in its…

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…

V.E.L.O.C.I.T.Y.-OS: The Self-Healing Kernel & LLM Terminal Handover (Part 12)

I had arrived at the final frontier. My bare-metal kernel was booting in QEMU, driving NVMe block storage, running multi-agent swarms, and rendering…

V.E.L.O.C.I.T.Y.-OS: Swarms, Headless Streaming & RCU Hot-Patching (Part 11)

With the Synaptic Canvas GUI rendering, my bare-metal kernel was fully functional. However, as I expanded the OS features, I ran into multitasking b…

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-onl…

V.E.L.O.C.I.T.Y.-OS: The JIT Compiler Core – From AST to Native Closures (Part 4)

With the standalone IDE running, I had a sandboxed environment to write and execute Neural Document Architecture (NDA) programs. However, executing…

V.E.L.O.C.I.T.Y.-OS: Ditching the Web Stack & The 30MB Standalone IDE (Part 3)

With the Neural Document Architecture (NDA) binary format defined, the next logical bottleneck was the environment it ran in. I was building this as…

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 fas…

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 insid…

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 m…

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 mo…